Search: onr:"swepub:oai:DiVA.org:hh-29592" >
Acumen :
Acumen : An Open-source Testbed for Cyber-Physical Systems Research
-
- Taha, Walid, 1972- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
-
- Duracz, Adam, 1981- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
-
- Zeng, Yingfu (author)
- Rice University, Houston TX, USA,Effective Modeling Group
-
show more...
-
- Atkinson, Kevin (author)
- Rice University, Houston TX, USA,Effective Modeling Group
-
- Bartha, Ferenc Ágoston (author)
- Rice University, Houston TX, USA,Effective Modeling Group
-
- Brauner, Paul (author)
- Rice University, Houston TX, USA,Effective Modeling Group
-
- Duracz, Jan, 1977- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
-
- Xu, Fei, 1990- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
-
- Cartwright, Robert (author)
- Rice University, Houston TX, USA
-
- Konečný, Michal (author)
- Computer Science Group, Aston University, Birmingham, United Kingdom,Engineering & Applied Science
-
- Moggi, Eugenio (author)
- University of Genova, Genoa, Italy,DIBRIS
-
- Masood, Jawad, 1982- (author)
- Rice University, Houston TX, USA,Effective Modeling Group
-
- Andreasson, Björn Pererik, 1979- (author)
- Högskolan i Halmstad,Akademin för informationsteknologi
-
- Inoue, Jun (author)
- Rice University, Houston TX, USA,Effective Modeling Group
-
- Sant'Anna, Anita, 1983- (author)
- Högskolan i Halmstad,CAISR Centrum för tillämpade intelligenta system (IS-lab)
-
- Philippsen, Roland, 1976- (author)
- Högskolan i Halmstad,CAISR Centrum för tillämpade intelligenta system (IS-lab)
-
- Chapoutot, Alexandre (author)
- ENSTA ParisTech - U2IS, Paris, France
-
- O'Malley, Marcia (author)
- Department of Mechanical Engineering, Rice University, Houston TX, USA,Mechatronics and Haptic Interfaces (MAHI) Lab
-
- Ames, Aaron (author)
- School of Mechanical Eng., Georgia Institute of Technology, Atlanta GA, USA,Department of Mechanical Engineering
-
- Gaspes, Veronica, 1963- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Hvatum, Lise (author)
- Schlumberger, Houston TX, USA
-
- Mehta, Shyam (author)
- Schlumberger, Houston TX, USA
-
- Eriksson, Henrik (author)
- Dependable Systems, SP Technical Research Institute of Sweden, Borås, Sweden
-
- Grante, Christian (author)
- AB Volvo, Gothenburg, Sweden
-
show less...
-
(creator_code:org_t)
- 2016-11-18
- 2016
- English.
-
In: Internet of Things. IoT Infrastructures. - Heidelberg : Springer. - 9783319470627 - 9783319470634 ; , s. 118-130
- Related links:
-
https://hh.diva-port... (primary) (Raw object)
-
show more...
-
http://duracz.net/ja...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Testbed
- Cyber-Physical Systems (CPS)
- Modeling
- Simulation
- Hybrid Systems
- Open Source Software
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database
- By the author/editor
-
Taha, Walid, 197 ...
-
Duracz, Adam, 19 ...
-
Zeng, Yingfu
-
Atkinson, Kevin
-
Bartha, Ferenc Á ...
-
Brauner, Paul
-
show more...
-
Duracz, Jan, 197 ...
-
Xu, Fei, 1990-
-
Cartwright, Robe ...
-
Konečný, Michal
-
Moggi, Eugenio
-
Masood, Jawad, 1 ...
-
Andreasson, Björ ...
-
Inoue, Jun
-
Sant'Anna, Anita ...
-
Philippsen, Rola ...
-
Chapoutot, Alexa ...
-
O'Malley, Marcia
-
Ames, Aaron
-
Gaspes, Veronica ...
-
Hvatum, Lise
-
Mehta, Shyam
-
Eriksson, Henrik
-
Grante, Christia ...
-
show less...
- About the subject
-
- NATURAL SCIENCES
-
NATURAL SCIENCES
-
and Computer and Inf ...
-
and Computer Science ...
- Articles in the publication
-
Internet of Thin ...
- By the university
-
Halmstad University