Skip to main content

Test-Based Falsification and Conformance Testing for Cyber-Physical Systems

Abstract In this dissertation, two problems are addressed in the verification and control of Cyber-Physical Systems (CPS):

1) Falsification: given a CPS, and a property of interest that the CPS must satisfy under all allowed operating conditions, does the CPS violate, i.e. falsify, the property?

2) Conformance testing: given a model of a CPS, and an implementation of that CPS on an embedded platform, how can we characterize the properties satisfied by the implementation, given the properties satisfied by the model?

Both problems arise in the context of Model-Based Design (MBD) of CPS: in MBD, the designers start from a set of formal requirements that the system-to-be-designed must satisfy.

A first model of the system is created.

Because it may ... (more)
Created Date 2015
Contributor Abbas, Houssam (Author) / Fainekos, Georgios (Advisor) / Duman, Tolga (Advisor) / Mittelmann, Hans (Committee member) / Tsakalis, Konstantinos (Committee member) / Arizona State University (Publisher)
Subject Electrical engineering / Computer science / Conformance / Cyber-Physical Systems / Embedded systems / Hybrid systems / Verification
Type Doctoral Dissertation
Extent 164 pages
Language English
Reuse Permissions All Rights Reserved
Note Doctoral Dissertation Electrical Engineering 2015
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS

  Full Text
2.6 MB application/pdf
Download Count: 2568

Description Dissertation/Thesis