Skip to main content

From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems

Abstract Cyber-Physical Systems (CPS) are being used in many safety-critical applications. Due to the important role in virtually every aspect of human life, it is crucial to make sure that a CPS works properly before its deployment. However, formal verification of CPS is a computationally hard problem. Therefore, lightweight verification methods such as testing and monitoring of the CPS are considered in the industry. The formal representation of the CPS requirements is a challenging task. In addition, checking the system outputs with respect to requirements is a computationally complex problem. In this dissertation, these problems for the verification of CPS are addressed. The first method provides a formal requirement analysis framework which can... (more)
Created Date 2017
Contributor Dokhanchi, Adel (Author) / Fainekos, Georgios (Advisor) / Lee, Yann-Hang (Committee member) / Sarjoughian, Hessam (Committee member) / Shrivastava, Aviral (Committee member) / Arizona State University (Publisher)
Subject Computer science / Computer engineering / Robotics / Cyber-Physical Systems / Embedded Systems / Formal Verification / Safety Requirements / Temporal Logic / Testing
Type Doctoral Dissertation
Extent 171 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
1.8 MB application/pdf
Download Count: 496

Description Dissertation/Thesis