Model conformance for cyber-physical systems: A survey

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff

Research output: Contribution to journalArticlepeer-review

36 Scopus citations

Abstract

Model-based development is an important paradigm for developing cyber-physical systems (CPS). The underlying assumption is that the functional behavior of a model is related to the behavior of a more concretized model or the real system. A formal definition of such a relation is called conformance relation. There are a variety of conformance relations, and the question arises of how to select a conformance relation for the development of CPS. The contribution of this article is a survey of the definitions and algorithms of conformance relations for CPS. Additionally, the article compares several conformance relations and provides guidance on which relation to select for specific problems. Finally,we discuss howto select inputs for testing conformance.

Original languageEnglish
Article number30
JournalACM Transactions on Cyber-Physical Systems
Volume3
Issue number3
DOIs
StatePublished - Oct 2019

Keywords

  • Approximate bisimulation
  • Approximate language inclusion
  • Approximate simulation
  • Approximate trace conformance
  • Behavioral inclusion
  • Bisimulation
  • Conformance relation
  • Conformance testing
  • Continuous simulation
  • Cyber-physical systems
  • Epsilon-delta similarity
  • Hioco
  • Hybrid input-output conformance
  • Hybrid systems
  • Implementation relation
  • Input-output conformance simulation
  • Inputoutput equivalence
  • Language equivalence
  • Language inclusion
  • Projective relational refinement
  • Qrioco
  • Qualtitative reasoning input output conformance
  • Reachset conformance
  • Refinement
  • Skorokhod conformance
  • Tau-epsilon closeness
  • Trace conformance
  • Trace equivalence
  • Verification

Fingerprint

Dive into the research topics of 'Model conformance for cyber-physical systems: A survey'. Together they form a unique fingerprint.

Cite this