Acumen : an open-source testbed for cyber-physical systems research

Walid Taha, Adam Duracz*, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konečný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Sant’Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O’Malley, Aaron Ames, Veronica GaspesLise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationInternet of Things: IoT Infrastructures
Subtitle of host publicationsecond International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers
EditorsBenny Mandler, Johann Marquez-Barja, et al
Place of PublicationChem (CH)
PublisherSpringer
Pages118-130
Number of pages13
ISBN (Electronic)978-3-319-47063-4
ISBN (Print)978-3-319-47062-7
DOIs
Publication statusPublished - 18 Nov 2016
Event2nd International Summit on Internet of Things - Rome, Italy
Duration: 27 Oct 201529 Oct 2015

Publication series

NameLecture Notes of the Institute for Computer Sciences
PublisherSpringer
Volume169
ISSN (Print)1867-8211

Conference

Conference2nd International Summit on Internet of Things
Abbreviated titleIoT 360° 2015
CountryItaly
CityRome
Period27/10/1529/10/15

Bibliographical note

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-47063-4_11

Keywords

  • cyber-physical systems
  • hybrid systems
  • modeling
  • open source software
  • simulation
  • testbed
  • CPS

Fingerprint Dive into the research topics of 'Acumen : an open-source testbed for cyber-physical systems research'. Together they form a unique fingerprint.

  • Cite this

    Taha, W., Duracz, A., Zeng, Y., Atkinson, K., Bartha, F. A., Brauner, P., Duracz, J., Xu, F., Cartwright, R., Konečný, M., Moggi, E., Masood, J., Andreasson, P., Inoue, J., Sant’Anna, A., Philippsen, R., Chapoutot, A., O’Malley, M., Ames, A., ... Grante, C. (2016). Acumen : an open-source testbed for cyber-physical systems research. In B. Mandler, J. Marquez-Barja, & et al (Eds.), Internet of Things: IoT Infrastructures: second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers (pp. 118-130). (Lecture Notes of the Institute for Computer Sciences; Vol. 169). Springer. https://doi.org/10.1007/978-3-319-47063-4_11