hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingå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-40Konferensbidrag, Publicerat paper (Övrig (populärvetenskap, 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.

Ort, förlag, år, upplaga, sidor
Wadern: Dagstuhl Publishing , 2015. Vol. 42, s. 18-40
Serie
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969 ; 42
Nyckelord [en]
Cyber-physical systems, hybrid systems, conformance testing, modelbased testing, behavioral pre-orders, hybrid input-output conformance testing, (τ, ε) conformance, approximate simulation
Nationell ämneskategori
Data- och informationsvetenskap
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
Konferens
26th International Conference on Concurrency Theory (CONCUR 2015), Madrid, Spain, 1-4 September, 2015
Projekt
AUTO-CAASEFFEMBAC
Forskningsfinansiär
Vetenskapsrådet, 621-2014-5057KK-stiftelsen, 20140312Tillgänglig från: 2015-10-03 Skapad: 2015-10-03 Senast uppdaterad: 2025-10-01Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Mousavi, Mohammad Reza

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 247 träffar
RefereraExporteraLänk till posten
Permanent länk

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