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

12 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
Number of pages1
ISBN (Print)9781479949311
DOIs
StatePublished - Jan 1 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

    Fingerprint

ASJC Scopus subject areas

  • Control and Systems Engineering

Cite this

Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J. V., Kapinski, J., & Ueda, K. (2014). WiP abstract: Conformance testing as falsification for cyber-physical systems. In 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014 [6843724] (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014). IEEE Computer Society. https://doi.org/10.1109/ICCPS.2014.6843724