| Abstract
|
<p>Developing Cyber-Physical Systems … <p>Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously.</p><p>This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the "agile research method" taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design.</p>nd the emerging language design.</p>
|
| Author
|
Walid Taha +
, Adam Duracz +
, Yingfu Zeng +
, Kevin Atkinson +
, Ferenc Ágoston Bartha +
, Paul Brauner +
, Jan Duracz +
, Fei Xu +
, Robert Cartwright +
, Michal Konečný +
, Eugenio Moggi +
, Jawad Masood +
, Björn Pererik Andreasson +
, Jun Inoue +
, Anita Sant'Anna +
, Roland Philippsen +
, Alexandre Chapoutot +
, Marcia O'Malley +
, Aaron Ames +
, Veronica Gaspes +
, Lise Hvatum +
, Shyam Mehta +
, Henrik Eriksson +
, Christian Grante +
|
| Conference
|
EAI International Conference on CYber physiCaL systems, iOt and sensors Networks (CYCLONE '15), Rome, Italy, October 26, 2015
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:859762
|
| HostPublication
|
Proceedings of EAI International Conference on CYber physiCaL systems, iOt and sensors Networks +
|
| PublicationType
|
Conference Paper +
|
| Title
|
Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
|
| Year
|
2015 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
, Publications:Acumen : An Open-source Testbed for Cyber-Physical Systems Research +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
30 September 2016 20:41:18 +
|
