WiP abstract: Conformance testing as falsification for cyber-physical systems

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations

Abstract

In a typical Model-Based Design (MBD) process for Cyber-Physical Systems, an initial 'simple' Model is successively refined and made more accurate and complex; then it is implemented on a real-time computational platform, and further modified to yield an Implementation. The goal is to produce a system that satisfies a formal specification Φ. This successive refinement raises the question of how 'close' are the 'simple' Model and the'complex'Implementation. Answering this question is important because it is not always possible to verify formally that the Implementation satisfies the specification Φ. Moreover, even if the Implementation satisfies Φ, it will have unspecified behavior which might exhibit bugs. By quantifying the 'closeness' between Model and Implementation, our level of confidence in the Implementation derives from our confidence in the Model, and the fact that the Model satisfies Φ.

Original languageEnglish (US)
Title of host publication2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014
PublisherIEEE Computer Society
Pages211
Number of pages1
ISBN (Print)9781479949311
DOIs
StatePublished - 2014
Event5th IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS 2014 - Berlin, Germany
Duration: Apr 14 2014Apr 17 2014

Publication series

Name2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014

Other

Other5th IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS 2014
CountryGermany
CityBerlin
Period4/14/144/17/14

ASJC Scopus subject areas

  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'WiP abstract: Conformance testing as falsification for cyber-physical systems'. Together they form a unique fingerprint.

Cite this