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

10 Citations (Scopus)

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

Other

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

Fingerprint

Testing
Cyber Physical System
Specifications

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 (pp. 211). [6843724] IEEE Computer Society. https://doi.org/10.1109/ICCPS.2014.6843724

WiP abstract : Conformance testing as falsification for cyber-physical systems. / Abbas, Houssam; Hoxha, Bardh; Fainekos, Georgios; Deshmukh, Jyotirmoy V.; Kapinski, James; Ueda, Koichi.

2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, 2014. p. 211 6843724.

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

Abbas, H, Hoxha, B, Fainekos, G, Deshmukh, JV, 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, IEEE Computer Society, pp. 211, 5th IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS 2014, Berlin, Germany, 4/14/14. https://doi.org/10.1109/ICCPS.2014.6843724
Abbas H, Hoxha B, Fainekos G, Deshmukh JV, Kapinski J, Ueda K. WiP abstract: Conformance testing as falsification for cyber-physical systems. In 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society. 2014. p. 211. 6843724 https://doi.org/10.1109/ICCPS.2014.6843724
Abbas, Houssam ; Hoxha, Bardh ; Fainekos, Georgios ; Deshmukh, Jyotirmoy V. ; Kapinski, James ; Ueda, Koichi. / WiP abstract : Conformance testing as falsification for cyber-physical systems. 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, 2014. pp. 211
@inproceedings{637622bbb5ad42bfa27e32ee7d8cd6e1,
title = "WiP abstract: Conformance testing as falsification for cyber-physical systems",
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 Φ.",
author = "Houssam Abbas and Bardh Hoxha and Georgios Fainekos and Deshmukh, {Jyotirmoy V.} and James Kapinski and Koichi Ueda",
year = "2014",
doi = "10.1109/ICCPS.2014.6843724",
language = "English (US)",
isbn = "9781479949311",
pages = "211",
booktitle = "2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - WiP abstract

T2 - Conformance testing as falsification for cyber-physical systems

AU - Abbas, Houssam

AU - Hoxha, Bardh

AU - Fainekos, Georgios

AU - Deshmukh, Jyotirmoy V.

AU - Kapinski, James

AU - Ueda, Koichi

PY - 2014

Y1 - 2014

N2 - 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 Φ.

AB - 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 Φ.

UR - http://www.scopus.com/inward/record.url?scp=84904471451&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84904471451&partnerID=8YFLogxK

U2 - 10.1109/ICCPS.2014.6843724

DO - 10.1109/ICCPS.2014.6843724

M3 - Conference contribution

SN - 9781479949311

SP - 211

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

PB - IEEE Computer Society

ER -