Publications:Modeling Basic Aspects of Cyber-Physical Systems

From ISLAB/CAISR
Revision as of 12:50, 13 March 2014 by SlawekBot (talk | contribs) (Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha, Roland Philippsen |PID=565038 |Name=Taha, Walid [waltah] (Högs...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Do not edit this section

Property "Author" has a restricted application area and cannot be used as annotation property by a user. Property "Author" has a restricted application area and cannot be used as annotation property by a user.

Keep all hand-made modifications below

Title Modeling Basic Aspects of Cyber-Physical Systems
Author
Year 2012
PublicationType Conference Paper
Journal
HostPublication 3rd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-12)
Conference 3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR-2012), Tsukuba, Japan, November 5-8, 2012
DOI
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:565038
Abstract

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.