Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Walid Taha; Adam Duracz; Yingfu Zeng; Kevin Atkinson; Ferenc 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

Internet of Things. IoT Infrastructures. Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I

Research Article

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Download

199 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1007/978-3-319-47063-4_11,
    author={Walid Taha and Adam Duracz and Yingfu Zeng and Kevin Atkinson and Ferenc Bartha 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},
    title={Acumen: An Open-Source Testbed for Cyber-Physical Systems Research},
    proceedings={Internet of Things. IoT Infrastructures. Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I},
    proceedings_a={IOT360},
    year={2017},
    month={1},
    keywords={Testbed Cyber-Physical Systems (CPS) Modeling Simulation Hybrid systems Open source software},
    doi={10.1007/978-3-319-47063-4_11}
}

Walid Taha
Adam Duracz
Yingfu Zeng
Kevin Atkinson
Ferenc 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
Year: 2017
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
IOT360
Springer
DOI: 10.1007/978-3-319-47063-4_11

Walid Taha¹^,*, Adam Duracz¹^,*, Yingfu Zeng²^,*, Kevin Atkinson²^,*, Ferenc 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⁹^,*

1: Halmstad University
2: Rice University
3: Aston University
4: University of Genova
5: ENSTA ParisTech - U2IS
6: Georgia Institute of Technology
7: Schlumberger
8: SP Technical Research Institute of Sweden
9: AB Volvo

*Contact email: walid.taha@hh.se, adam.duracz@hh.se, yingfu.zeng@rice.edu, kevin.atkinson@rice.edu, ferenc.bartha@rice.edu, paul.brauner@rice.edu, jan.duracz@hh.se, fei.xu@hh.se, robert.cartwright@rice.edu, m.konecny@aston.ac.uk, moggi@unige.it, jawad.masood@rice.edu, pererik.andreasson@hh.se, jun.inoue@rice.edu, anita.santAnna@hh.se, roland.philippsen@hh.se, alexandre.chapoutot@ensta.fr, omalleym@rice.edu, ames@gatech.edu, veronica.gaspes@hh.se, lise.hvatum@slb.com, shyam.mehta@slb.com, henrik.eriksson@sp.se, christian.grante@volvo.com

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 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.

Keywords: Testbed Cyber-Physical Systems (CPS) Modeling Simulation Hybrid systems Open source software

Published: 2017-01-05
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-47063-4_11

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Abstract

About EAI

Community

Publish with EAI