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
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap
Linnaeus University, Växjö, Sweden.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
2015 (engelsk)Inngår i: 26th International Conference on Concurrency Theory: CONCUR’15, September 1–4, 2015, Madrid, Spain / [ed] Luca Aceto & David de Frutos Escrig, Wadern: Dagstuhl Publishing , 2015, Vol. 42, s. 18-40Konferansepaper, Publicerat paper (Annet (populærvitenskap, debatt, mm))
Abstract [en]

We review and compare three notions of conformance testing for cyber-physical systems. We begin with a review of their underlying semantic models and present conformance-preserving translations between them. We identify the differences in the underlying semantic models and the various design decisions that lead to these substantially different notions of conformance testing. Learning from this exercise, we reflect upon the challenges in designing an “ideal” notion of conformance for cyber-physical systems and sketch a roadmap of future research in this domain.

sted, utgiver, år, opplag, sider
Wadern: Dagstuhl Publishing , 2015. Vol. 42, s. 18-40
Serie
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969 ; 42
Emneord [en]
Cyber-physical systems, hybrid systems, conformance testing, modelbased testing, behavioral pre-orders, hybrid input-output conformance testing, (τ, ε) conformance, approximate simulation
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-29564DOI: 10.4230/LIPIcs.CONCUR.2015.18Scopus ID: 2-s2.0-84958233342ISBN: 978-3-939897-91-0 OAI: oai:DiVA.org:hh-29564DiVA, id: diva2:858689
Konferanse
26th International Conference on Concurrency Theory (CONCUR 2015), Madrid, Spain, 1-4 September, 2015
Prosjekter
AUTO-CAASEFFEMBAC
Forskningsfinansiär
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312Tilgjengelig fra: 2015-10-03 Laget: 2015-10-03 Sist oppdatert: 2025-10-01bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 247 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