Acumen [Elektronisk resurs] An Open-source Testbed for Cyber-Physical Systems Research
-
Taha, Walid 1972- (författare)
-
EAI International Conference on CYber physiCaL systems, iOt and sensors Networks (CYCLONE '15), Rome, Italy, October 26, 2015
-
Duracz, Adam 1981- (författare)
-
Zeng, Yingfu (författare)
-
Atkinson, Kevin (författare)
-
Bartha, Ferenc Ágoston (författare)
-
Brauner, Paul (författare)
-
Duracz, Jan 1977- (författare)
-
Xu, Fei 1990- (författare)
-
Cartwright, Robert (författare)
-
Konečný, Michal (författare)
-
Moggi, Eugenio (författare)
-
Masood, Jawad 1982- (författare)
-
Andreasson, Björn Pererik 1979- (författare)
-
Inoue, Jun (författare)
-
Sant'Anna, Anita 1983- (författare)
-
Philippsen, Roland 1976- (författare)
-
Chapoutot, Alexandre (författare)
-
O'Malley, Marcia (författare)
-
Ames, Aaron (författare)
-
Gaspes, Veronica 1963- (författare)
-
Hvatum, Lise (författare)
-
Mehta, Shyam (författare)
-
Eriksson, Henrik (författare)
-
Grante, Christian (författare)
-
Högskolan i Halmstad Akademin för informationsteknologi (utgivare)
-
Högskolan i Halmstad Akademin för informationsteknologi (utgivare)
-
Högskolan i Halmstad Akademin för informationsteknologi (utgivare)
-
Effective Modeling Group (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Engineering & Applied Science (medarbetare)
-
DIBRIS (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Effective Modeling Group (medarbetare)
-
Mechatronics and Haptic Interfaces (MAHI) Lab (medarbetare)
-
Department of Mechanical Engineering (medarbetare)
- Heidelberg Springer 2016
- Engelska.
-
Serie: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 1867-8211
-
Ingår i: Internet of Things. IoT Infrastructures. ; 118-130
-
Läs hela texten
-
Läs hela texten
-
Läs hela texten
Sammanfattning
Ämnesord
Stäng
- 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.
Ämnesord
- Natural Sciences (hsv)
- Computer and Information Science (hsv)
- Computer Science (hsv)
- Naturvetenskap (hsv)
- Data- och informationsvetenskap (hsv)
- Datavetenskap (datalogi) (hsv)
Indexterm och SAB-rubrik
- Testbed
- Cyber-Physical Systems (CPS)
- Modeling
- Simulation
- Hybrid Systems
- Open Source Software
Inställningar
Hjälp
Uppgift om bibliotek saknas i LIBRIS
Kontakta ditt bibliotek, eller sök utanför LIBRIS. Se högermenyn.