| Abstract
|
<p>Designing novel cyber-physical sy … <p>Designing novel cyber-physical systems entails significant, costly physical experimentation. Simulation tools can enable the virtualization of experiments. Unfortunately, current tools have shortcomings that limit their utility for virtual experimentation. Language research can be especially helpful in addressing many of these problems. As a first step in this direction, we consider the question of determining what language features are needed to model cyber-physical systems. Using a series of elementary examples of cyber-physical systems, we reflect on the extent to which a small, experimental domain-specific formalism called Acumen suffices for this purpose.</p>cumen suffices for this purpose.</p>
|
| Author
|
Walid Taha +
, Roland Philippsen +
|
| Conference
|
3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR-2012), November 5-8, Tsukuba, Japan
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:565038
|
| HostPublication
|
3rd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-12) +
|
| Projects
|
Swedish KK-Stiftelsen CERES;Swedish KK-Stiftelsen CAISR;Swedish Vinnova FFI NG-Test;USA National Science Foundation +
|
| PublicationType
|
Conference Paper +
|
| Title
|
Modeling Basic Aspects of Cyber-Physical Systems +
|
| Year
|
2012 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:45:13 +
|
