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 GaspesLise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante

^*Corresponding author for this work

Computer Science Research Group

Research output: Chapter in Book/Published conference output › Conference publication

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: IoT Infrastructures
Subtitle of host publication	second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers
Editors	Benny Mandler, Johann Marquez-Barja, et al
Place of Publication	Chem (CH)
Publisher	Springer
Pages	118-130
Number of pages	13
ISBN (Electronic)	978-3-319-47063-4
ISBN (Print)	978-3-319-47062-7
DOIs	https://doi.org/10.1007/978-3-319-47063-4_11
Publication status	Published - 18 Nov 2016
Event	2nd International Summit on Internet of Things - Rome, Italy Duration: 27 Oct 2015 → 29 Oct 2015

Publication series

Name	Lecture Notes of the Institute for Computer Sciences
Publisher	Springer
Volume	169
ISSN (Print)	1867-8211

Conference

Conference	2nd International Summit on Internet of Things
Abbreviated title	IoT 360° 2015
Country/Territory	Italy
City	Rome
Period	27/10/15 → 29/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

Access to Document

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

Acumen: An Open-source Testbed for Cyber-Physical Systems Research
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-47063-4_11
Accepted author manuscript, 275 KB

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

Taha, Walid ; Duracz, Adam ; Zeng, Yingfu et al. / Acumen : an open-source testbed for cyber-physical systems research. Internet of Things: IoT Infrastructures: second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers. editor / Benny Mandler ; Johann Marquez-Barja ; et al. Chem (CH) : Springer, 2016. pp. 118-130 (Lecture Notes of the Institute for Computer Sciences).

@inproceedings{0ff3801203c04a719893927c888d77b8,

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

keywords = "cyber-physical systems, hybrid systems, modeling, open source software, simulation, testbed, CPS",

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 = "The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-47063-4_11; 2nd International Summit on Internet of Things, IoT 360° 2015 ; Conference date: 27-10-2015 Through 29-10-2015",

year = "2016",

month = nov,

day = "18",

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

language = "English",

isbn = "978-3-319-47062-7",

series = "Lecture Notes of the Institute for Computer Sciences",

publisher = "Springer",

pages = "118--130",

editor = "Benny Mandler and Johann Marquez-Barja and {et al}",

booktitle = "Internet of Things: IoT Infrastructures",

address = "Germany",

}

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 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. Lecture Notes of the Institute for Computer Sciences, vol. 169, Springer, Chem (CH), pp. 118-130, 2nd International Summit on Internet of Things, 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: second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers. ed. / Benny Mandler; Johann Marquez-Barja; et al. Chem (CH): Springer, 2016. p. 118-130 (Lecture Notes of the Institute for Computer Sciences; Vol. 169).

Research output: Chapter in Book/Published conference output › Conference publication

TY - GEN

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

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 - The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-47063-4_11

PY - 2016/11/18

Y1 - 2016/11/18

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

KW - hybrid systems

KW - modeling

KW - open source software

KW - simulation

KW - testbed

KW - CPS

UR - http://www.scopus.com/inward/record.url?scp=85000500985&partnerID=8YFLogxK

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

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

M3 - Conference publication

AN - SCOPUS:85000500985

SN - 978-3-319-47062-7

T3 - Lecture Notes of the Institute for Computer Sciences

SP - 118

EP - 130

BT - Internet of Things: IoT Infrastructures

A2 - Mandler, Benny

A2 - Marquez-Barja, Johann

A2 - et al,

PB - Springer

CY - Chem (CH)

T2 - 2nd International Summit on Internet of Things

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 Mandler B, Marquez-Barja J, et al, editors, Internet of Things: IoT Infrastructures: second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers. Chem (CH): Springer. 2016. p. 118-130. (Lecture Notes of the Institute for Computer Sciences). doi: 10.1007/978-3-319-47063-4_11

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

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this