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)
|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|
|Reuse Permissions||All Rights Reserved|
|Note||Doctoral Dissertation Electrical Engineering 2015|
|Collaborating Institutions||Graduate College / ASU Library|
|Additional Formats||MODS / OAI Dublin Core / RIS|