Skip to main content

Formal Requirements-Driven Analysis of Cyber Physical Systems

Abstract Testing and Verification of Cyber-Physical Systems (CPS) is a challenging problem. The challenge arises as a result of the complex interactions between the components of these systems: the digital control, and the physical environment. Furthermore, the software complexity that governs the high-level control logic in these systems is increasing day by day. As a result, in recent years, both the academic community and the industry have been heavily invested in developing tools and methodologies for the development of safety-critical systems. One scalable approach in testing and verification of these systems is through guided system simulation using stochastic optimization techniques. The goal of the stochastic optimizer is to find system beha... (more)
Created Date 2017
Contributor Hoxha, Bardh (Author) / Fainekos, Georgios (Advisor) / Sarjoughian, Hessam (Committee member) / Maciejewski, Ross (Committee member) / Ben Amor, Heni (Committee member) / Arizona State University (Publisher)
Subject Computer science / Cyber-Physical Systems / Falsification / Hybrid Systems / Temporal Logic / Testing / Verification
Type Doctoral Dissertation
Extent 148 pages
Language English
Reuse Permissions All Rights Reserved
Note Doctoral Dissertation Computer Science 2017
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS

  Full Text
3.6 MB application/pdf
Download Count: 996

Description Dissertation/Thesis