TY - GEN
T1 - Acumen
T2 - 2nd International Summit on Internet of Things, IoT 360° 2015
AU - Taha, Walid
AU - Duracz, Adam
AU - Zeng, Yingfu
AU - Atkinson, Kevin
AU - Bartha, Ferenc A.
AU - Brauner, Paul
AU - Duracz, Jan
AU - Xu, Fei
AU - Cartwright, Robert
AU - Konečný, Michal
AU - Moggi, Eugenio
AU - Masood, Jawad
AU - Andreasson, Pererik
AU - Inoue, Jun
AU - Sant’Anna, Anita
AU - Philippsen, Roland
AU - Chapoutot, Alexandre
AU - O’Malley, Marcia
AU - Ames, Aaron
AU - Gaspes, Veronica
AU - Hvatum, Lise
AU - Mehta, Shyam
AU - Eriksson, Henrik
AU - Grante, Christian
N1 - Publisher Copyright:
© ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016.
PY - 2016/1/1
Y1 - 2016/1/1
N2 - 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 rigorousbut- 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. 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.
AB - 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 rigorousbut- 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. 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.
KW - Cyber-physical systems (CPS)
KW - Hybrid systems
KW - Modeling
KW - Open source software
KW - Simulation
KW - Testbed
U2 - 10.1007/978-3-319-47063-4_11
DO - 10.1007/978-3-319-47063-4_11
M3 - Conference contribution
AN - SCOPUS:85000500985
SN - 9783319470627
T3 - Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
SP - 118
EP - 130
BT - Internet of Things
A2 - Campista, Miguel Elias Mitre
A2 - Somov, Andrey
A2 - Mandler, Benny
A2 - Chaouchi, Hakima
A2 - Fazio, Maria
A2 - Caganova, Dagmar
A2 - Giordano, Stefano
A2 - Marquez-Barja, Johann
A2 - Zeadally, Sherali
A2 - Badra, Mohamad
A2 - Vieriu, Radu-Laurentiu
PB - Springer Verlag
Y2 - 27 October 2015 through 29 October 2015
ER -