TY - Generic T1 - Modeling Basic Aspects of Cyber-Physical Systems, Part II T2 - The Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'13) Y1 - 2013 A1 - Yingfu Zeng A1 - Rose, Chad G. A1 - Paul Branner A1 - Walid Taha A1 - Jawad Masood A1 - Roland Philippsen A1 - Marcia K. O'Malley A1 - Robert Cartwright AB -
We continue to consider the question of what
language features are needed to effectively model cyber-physical
systems (CPS). In previous work, we proposed using a core
language as a way to study this question, and showed how
several basic aspects of CPS can be modeled clearly in a
language with a small set of constructs. This paper reports
on the result of our analysis of two, more complex, case studies
from the domain of rigid body dynamics. The first one, a
quadcopter, illustrates that previously proposed core language
can support larger, more interesting systems than previously
shown. The second one, a serial robot, provides a concrete
example of why we should add language support for static
partial derivatives, namely that it would significantly improve
the way models of rigid body dynamics can be expressed.
JF - The Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'13) CY - Tokyo, Japan ER -