lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0002-0377-5595
Halmstad University.
2015 (English)In: 26th International Conference on Concurrency Theory (CONCUR 2015) / [ed] Luca Aceto, David de Frutos Escrig, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , 2015, 18-40 p.Conference paper, Published paper (Refereed)
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
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , 2015. 18-40 p.
Series
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969 ; 42
Keyword [en]
Cyber-physical systems, hybrid systems, conformance testing, model-based testing, behavioral pre-orders, hybrid input-output conformance testing
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-51015DOI: 10.4230/LIPIcs.CONCUR.2015.18Scopus ID: 2-s2.0-84958233342ISBN: 978-3-939897-91-0 (print)OAI: oai:DiVA.org:lnu-51015DiVA: diva2:912847
Conference
26th International Conference on Concurrency Theory, CONCUR 2015, 1 September 2015 through 4 September 2015
Available from: 2016-03-18 Created: 2016-03-18 Last updated: 2016-08-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Khakpour, Narges
By organisation
Department of Computer Science
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 46 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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