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 Gaspes; Lise Hvatum; Shyam Mehta; Henrik Eriksson; Christian Grante

doi:10.1007/978-3-319-47063-4_11

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 Gaspes

Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante

School of Information Technology
Halmstad University
Rice University
Computer Science Group
Aston University
University of Genoa
ENSTA ParisTech
George Woodruff School of Mechanical Engineering, Georgia Institute of Technology (GT-CNRS UMI 2958)
Schlumberger Corp.
Dependable Systems
SP Technical Research Institute of Sweden
AB Volvo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

19 Citations (Scopus)

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 language	English
Title of host publication	Internet of Things
Subtitle of host publication	IoT Infrastructures - 2nd International Summit, IoT 360° 2015, Revised Selected Papers
Editors	Miguel Elias Mitre Campista, Andrey Somov, Benny Mandler, Hakima Chaouchi, Maria Fazio, Dagmar Caganova, Stefano Giordano, Johann Marquez-Barja, Sherali Zeadally, Mohamad Badra, Radu-Laurentiu Vieriu
Publisher	Springer Verlag
Pages	118-130
Number of pages	13
ISBN (Print)	9783319470627
DOIs	https://doi.org/10.1007/978-3-319-47063-4_11
Publication status	Published - 1 Jan 2016
Externally published	Yes
Event	2nd International Summit on Internet of Things, IoT 360° 2015 - Rome, Italy Duration: 27 Oct 2015 → 29 Oct 2015

Publication series

Name	Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
Volume	169
ISSN (Print)	1867-8211

Conference

Conference	2nd International Summit on Internet of Things, IoT 360° 2015
Country/Territory	Italy
City	Rome
Period	27/10/15 → 29/10/15

Keywords

Cyber-physical systems (CPS)
Hybrid systems
Modeling
Open source software
Simulation
Testbed

Access to Document

10.1007/978-3-319-47063-4_11

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 M. E. M. Campista, A. Somov, B. Mandler, H. Chaouchi, M. Fazio, D. Caganova, S. Giordano, J. Marquez-Barja, S. Zeadally, M. Badra, & R.-L. Vieriu (Eds.), Internet of Things: IoT Infrastructures - 2nd International Summit, IoT 360° 2015, Revised Selected Papers (pp. 118-130). (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; Vol. 169). Springer Verlag. https://doi.org/10.1007/978-3-319-47063-4_11

Taha, Walid ; Duracz, Adam ; Zeng, Yingfu et al. / Acumen : An open-source testbed for cyber-physical systems research. Internet of Things: IoT Infrastructures - 2nd International Summit, IoT 360° 2015, Revised Selected Papers. editor / Miguel Elias Mitre Campista ; Andrey Somov ; Benny Mandler ; Hakima Chaouchi ; Maria Fazio ; Dagmar Caganova ; Stefano Giordano ; Johann Marquez-Barja ; Sherali Zeadally ; Mohamad Badra ; Radu-Laurentiu Vieriu. Springer Verlag, 2016. pp. 118-130 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST).

@inproceedings{c796e8d416144a7d99bec92a1984d80e,

title = "Acumen: An open-source testbed for cyber-physical systems research",

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 {\textquotedblleft}agile research method{\textquotedblright} taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design.",

keywords = "Cyber-physical systems (CPS), Hybrid systems, Modeling, Open source software, Simulation, Testbed",

author = "Walid Taha and Adam Duracz and Yingfu Zeng and Kevin Atkinson and Bartha, \{Ferenc A.\} and Paul Brauner and Jan Duracz and Fei Xu and Robert Cartwright and Michal Kone{\v c}n{\'y} and Eugenio Moggi and Jawad Masood and Pererik Andreasson and Jun Inoue and Anita Sant{\textquoteright}Anna and Roland Philippsen and Alexandre Chapoutot and Marcia O{\textquoteright}Malley and Aaron Ames and Veronica Gaspes and Lise Hvatum and Shyam Mehta and Henrik Eriksson and Christian Grante",

note = "Publisher Copyright: {\textcopyright} ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016.; 2nd International Summit on Internet of Things, IoT 360° 2015 ; Conference date: 27-10-2015 Through 29-10-2015",

year = "2016",

month = jan,

day = "1",

doi = "10.1007/978-3-319-47063-4\_11",

language = "English",

isbn = "9783319470627",

series = "Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST",

publisher = "Springer Verlag",

pages = "118--130",

editor = "Campista, \{Miguel Elias Mitre\} and Andrey Somov and Benny Mandler and Hakima Chaouchi and Maria Fazio and Dagmar Caganova and Stefano Giordano and Johann Marquez-Barja and Sherali Zeadally and Mohamad Badra and Radu-Laurentiu Vieriu",

booktitle = "Internet of Things",

}

Taha, W, Duracz, A, Zeng, Y, Atkinson, K, Bartha, FA, 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, Gaspes, V, Hvatum, L, Mehta, S, Eriksson, H & Grante, C 2016, Acumen: An open-source testbed for cyber-physical systems research. in MEM Campista, A Somov, B Mandler, H Chaouchi, M Fazio, D Caganova, S Giordano, J Marquez-Barja, S Zeadally, M Badra & R-L Vieriu (eds), Internet of Things: IoT Infrastructures - 2nd International Summit, IoT 360° 2015, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, vol. 169, Springer Verlag, pp. 118-130, 2nd International Summit on Internet of Things, IoT 360° 2015, Rome, Italy, 27/10/15. https://doi.org/10.1007/978-3-319-47063-4_11

Acumen: An open-source testbed for cyber-physical systems research. / Taha, Walid; Duracz, Adam; Zeng, Yingfu et al.
Internet of Things: IoT Infrastructures - 2nd International Summit, IoT 360° 2015, Revised Selected Papers. ed. / Miguel Elias Mitre Campista; Andrey Somov; Benny Mandler; Hakima Chaouchi; Maria Fazio; Dagmar Caganova; Stefano Giordano; Johann Marquez-Barja; Sherali Zeadally; Mohamad Badra; Radu-Laurentiu Vieriu. Springer Verlag, 2016. p. 118-130 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; Vol. 169).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

Taha W, Duracz A, Zeng Y, Atkinson K, Bartha FA, Brauner P et al. Acumen: An open-source testbed for cyber-physical systems research. In Campista MEM, Somov A, Mandler B, Chaouchi H, Fazio M, Caganova D, Giordano S, Marquez-Barja J, Zeadally S, Badra M, Vieriu RL, editors, Internet of Things: IoT Infrastructures - 2nd International Summit, IoT 360° 2015, Revised Selected Papers. Springer Verlag. 2016. p. 118-130. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST). doi: 10.1007/978-3-319-47063-4_11

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

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this