SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:hh-29592"
 

Sökning: onr:"swepub:oai:DiVA.org:hh-29592" > Acumen :

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

Taha, Walid, 1972- (författare)
Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
Duracz, Adam, 1981- (författare)
Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
Zeng, Yingfu (författare)
Rice University, Houston TX, USA,Effective Modeling Group
visa fler...
Atkinson, Kevin (författare)
Rice University, Houston TX, USA,Effective Modeling Group
Bartha, Ferenc Ágoston (författare)
Rice University, Houston TX, USA,Effective Modeling Group
Brauner, Paul (författare)
Rice University, Houston TX, USA,Effective Modeling Group
Duracz, Jan, 1977- (författare)
Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
Xu, Fei, 1990- (författare)
Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
Cartwright, Robert (författare)
Rice University, Houston TX, USA
Konečný, Michal (författare)
Computer Science Group, Aston University, Birmingham, United Kingdom,Engineering & Applied Science
Moggi, Eugenio (författare)
University of Genova, Genoa, Italy,DIBRIS
Masood, Jawad, 1982- (författare)
Rice University, Houston TX, USA,Effective Modeling Group
Andreasson, Björn Pererik, 1979- (författare)
Högskolan i Halmstad,Akademin för informationsteknologi
Inoue, Jun (författare)
Rice University, Houston TX, USA,Effective Modeling Group
Sant'Anna, Anita, 1983- (författare)
Högskolan i Halmstad,CAISR Centrum för tillämpade intelligenta system (IS-lab)
Philippsen, Roland, 1976- (författare)
Högskolan i Halmstad,CAISR Centrum för tillämpade intelligenta system (IS-lab)
Chapoutot, Alexandre (författare)
ENSTA ParisTech - U2IS, Paris, France
O'Malley, Marcia (författare)
Department of Mechanical Engineering, Rice University, Houston TX, USA,Mechatronics and Haptic Interfaces (MAHI) Lab
Ames, Aaron (författare)
School of Mechanical Eng., Georgia Institute of Technology, Atlanta GA, USA,Department of Mechanical Engineering
Gaspes, Veronica, 1963- (författare)
Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
Hvatum, Lise (författare)
Schlumberger, Houston TX, USA
Mehta, Shyam (författare)
Schlumberger, Houston TX, USA
Eriksson, Henrik (författare)
Dependable Systems, SP Technical Research Institute of Sweden, Borås, Sweden
Grante, Christian (författare)
AB Volvo, Gothenburg, Sweden
visa färre...
 (creator_code:org_t)
2016-11-18
2016
Engelska.
Ingår i: Internet of Things. IoT Infrastructures. - Heidelberg : Springer. - 9783319470627 - 9783319470634 ; , s. 118-130
  • Konferensbidrag (refereegranskat)
Abstract Ä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. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

Testbed
Cyber-Physical Systems (CPS)
Modeling
Simulation
Hybrid Systems
Open Source Software

Publikations- och innehållstyp

ref (ämneskategori)
kon (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy