hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap
Linnaeus University, Växjö, Sweden.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
2015 (English)In: 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, 18-40 p.Conference paper, Published paper (Other (popular science, discussion, etc.))
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.

Place, publisher, year, edition, pages
Wadern: Dagstuhl Publishing , 2015. Vol. 42, 18-40 p.
Series
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969 ; 42
Keyword [en]
Cyber-physical systems, hybrid systems, conformance testing, modelbased testing, behavioral pre-orders, hybrid input-output conformance testing, (τ, ε) conformance, approximate simulation
National Category
Computer and Information Science
Identifiers
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: diva2:858689
Conference
26th International Conference on Concurrency Theory (CONCUR 2015), Madrid, Spain, 1-4 September, 2015
Projects
AUTO-CAASEFFEMBAC
Funder
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312
Available from: 2015-10-03 Created: 2015-10-03 Last updated: 2016-12-02Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 41 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf