Acumen: An Open-source Testbed for Cyber-Physical Systems Research
2016 (English)In: Internet of Things. IoT Infrastructures: Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I / [ed] Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu, Heidelberg: Springer, 2016, Vol. 169, 118-130 p.Conference paper (Refereed)
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.
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.
Place, publisher, year, edition, pages
Heidelberg: Springer, 2016. Vol. 169, 118-130 p.
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, ISSN 1867-8211 ; 169
Testbed, Cyber-Physical Systems (CPS), Modeling, Simulation, Hybrid Systems, Open Source Software
IdentifiersURN: urn:nbn:se:hh:diva-29592DOI: 10.1007/978-3-319-47063-4_11ISBN: 978-3-319-47062-7 (print)ISBN: 978-3-319-47063-4 (print)OAI: oai:DiVA.org:hh-29592DiVA: diva2:859762
EAI International Conference on CYber physiCaL systems, iOt and sensors Networks (CYCLONE '15), Rome, Italy, October 26, 2015
FunderKnowledge FoundationVINNOVA, 2011-01819
This work was supported by US NSF award CPS-1136099, the Swedish Knowledge Foundation (KK), The Center for Research on Embedded Systems (CERES), and VINNOVA (Dnr. 2011-01819).2015-10-082015-10-082016-11-30Bibliographically approved