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

Fingerprint

Testbeds
Computer simulation languages
Cyber Physical System

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

Cite this

Taha, W., Duracz, A., Zeng, Y., Atkinson, K., Bartha, F. A., Brauner, P., ... 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). Chem (CH): Springer. https://doi.org/10.1007/978-3-319-47063-4_11
Taha, Walid ; Duracz, Adam ; Zeng, Yingfu ; Atkinson, Kevin ; Bartha, Ferenc A. ; Brauner, Paul ; Duracz, Jan ; Xu, Fei ; Cartwright, Robert ; Konečný, Michal ; Moggi, Eugenio ; Masood, Jawad ; Andreasson, Pererik ; Inoue, Jun ; Sant’Anna, Anita ; Philippsen, Roland ; Chapoutot, Alexandre ; O’Malley, Marcia ; Ames, Aaron ; Gaspes, Veronica ; Hvatum, Lise ; Mehta, Shyam ; Eriksson, Henrik ; Grante, Christian. / 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čn{\'y} and Eugenio Moggi and Jawad Masood and Pererik Andreasson and Jun Inoue and Anita Sant’Anna and Roland Philippsen and Alexandre Chapoutot and Marcia O’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",
year = "2016",
month = "11",
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; Atkinson, Kevin; Bartha, Ferenc A.; Brauner, Paul; Duracz, Jan; Xu, Fei; Cartwright, Robert; Konečný, Michal; Moggi, Eugenio; Masood, Jawad; Andreasson, Pererik; Inoue, Jun; Sant’Anna, Anita; Philippsen, Roland; Chapoutot, Alexandre; O’Malley, Marcia; Ames, Aaron; Gaspes, Veronica; Hvatum, Lise; Mehta, Shyam; Eriksson, Henrik; Grante, Christian.

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/Report/Conference proceedingConference contribution

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 contribution

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)

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). https://doi.org/10.1007/978-3-319-47063-4_11