hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Acumen: An Open-source Testbed for Cyber-Physical Systems Research
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). (Effective Modeling Group)
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). (Effective Modeling Group)ORCID-id: 0000-0003-4175-4020
Rice University, Houston TX, USA. (Effective Modeling Group)
Rice University, Houston TX, USA. (Effective Modeling Group)
Vise andre og tillknytning
2016 (engelsk)Inngår i: Internet of Things. IoT Infrastructures: Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I / [ed] Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu, Heidelberg: Springer, 2016, Vol. 169, s. 118-130Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
Heidelberg: Springer, 2016. Vol. 169, s. 118-130
Serie
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, ISSN 1867-8211 ; 169
Emneord [en]
Testbed, Cyber-Physical Systems (CPS), Modeling, Simulation, Hybrid Systems, Open Source Software
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-29592DOI: 10.1007/978-3-319-47063-4_11ISI: 000398616500011Scopus ID: 2-s2.0-85000500985ISBN: 978-3-319-47062-7 (tryckt)ISBN: 978-3-319-47063-4 (tryckt)OAI: oai:DiVA.org:hh-29592DiVA, id: diva2:859762
Konferanse
EAI International Conference on CYber physiCaL systems, iOt and sensors Networks (CYCLONE '15), Rome, Italy, October 26, 2015
Forskningsfinansiär
Knowledge FoundationVINNOVA, 2011-01819
Merknad

This work was supported by US NSF award CPS-1136099, the Swedish Knowledge Foundation (KK), The Center for Research on Embedded Systems (CERES), and VINNOVA (Dnr. 2011-01819).

Tilgjengelig fra: 2015-10-08 Laget: 2015-10-08 Sist oppdatert: 2018-03-22bibliografisk kontrollert

Open Access i DiVA

fulltext(351 kB)280 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 351 kBChecksum SHA-512
69713c5f317ec870c2579ca384c78fd85a5a89c927016ff5c29436208cf2a63c5556fac6ec6208d21db34ff90380534a4bc62c7302691d692da485e284086a96
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Taha, WalidDuracz, AdamDuracz, JanXu, FeiMasood, JawadAndreasson, Björn PererikInoue, JunSant'Anna, AnitaPhilippsen, RolandGaspes, Veronica

Søk i DiVA

Av forfatter/redaktør
Taha, WalidDuracz, AdamDuracz, JanXu, FeiMasood, JawadAndreasson, Björn PererikInoue, JunSant'Anna, AnitaPhilippsen, RolandGaspes, Veronica
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 280 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 688 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf