Matching Items (7)
Filtering by
- All Subjects: Pastoral systems, Prehistoric
- All Subjects: Testing
- Creators: Sarjoughian, Hessam S.
- Creators: Ullah, Isaac I. T., 1979-
Description
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 find logical issues in the requirements and help engineers to correct the requirements. Also, a method is provided to detect tests which vacuously satisfy the requirement because of the requirement structure. This method is used to improve the test generation framework for CPS. Finally, two runtime verification algorithms are developed for off-line/on-line monitoring with respect to real-time requirements. These monitoring algorithms are computationally efficient, and they can be used in practical applications for monitoring CPS with low runtime overhead.
ContributorsDokhanchi, Adel (Author) / Fainekos, Georgios (Thesis advisor) / Lee, Yann-Hang (Committee member) / Sarjoughian, Hessam S. (Committee member) / Shrivastava, Aviral (Committee member) / Arizona State University (Publisher)
Created2017
Description
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 behavior that does not meet the intended specifications.
In this dissertation, three methods that facilitate the testing and verification process for CPS are presented:
1. A graphical formalism and tool which enables the elicitation of formal requirements. To evaluate the performance of the tool, a usability study is conducted.
2. A parameter mining method to infer, analyze, and visually represent falsifying ranges for parametrized system specifications.
3. A notion of conformance between a CPS model and implementation along with a testing framework.
The methods are evaluated over high-fidelity case studies from the industry.
In this dissertation, three methods that facilitate the testing and verification process for CPS are presented:
1. A graphical formalism and tool which enables the elicitation of formal requirements. To evaluate the performance of the tool, a usability study is conducted.
2. A parameter mining method to infer, analyze, and visually represent falsifying ranges for parametrized system specifications.
3. A notion of conformance between a CPS model and implementation along with a testing framework.
The methods are evaluated over high-fidelity case studies from the industry.
ContributorsHoxha, Bardh (Author) / Fainekos, Georgios (Thesis advisor) / Sarjoughian, Hessam S. (Committee member) / Maciejewski, Ross (Committee member) / Ben Amor, Heni (Committee member) / Arizona State University (Publisher)
Created2017
ContributorsAllen, Eowyn K. (Author) / Falconer, Steven E. (Author) / Sarjoughian, Hessam S. (Author) / Barton, C. Michael (Author) / Fall, Patricia L. (Author)
Created2006
ContributorsSarjoughian, Hessam S. (Author) / Mayer, Gary R. (Author) / Allen, Eowyn K. (Author)
Created2006
Description
Poster presented at the American Geophysical Union, 2006, San Francisco.
ContributorsDiMaggio, E. N. (Author) / Arrowsmith, J. Ramon (Author) / Barton, C. Michael (Author) / Sarjoughian, Hessam S. (Author) / Fall, Patricia L. (Author) / Ullah, Isaac I. T., 1979- (Author)
ContributorsBergin, Sean M. (Author) / Ullah, Isaac I. T., 1979- (Author) / Barton, C. Michael (Author) / Gravel-Miguel, Claudine (Author)
Created2012
ContributorsBergin, Sean M. (Author) / Ullah, Isaac I. T., 1979- (Author) / Barton, C. Michael (Author) / Mayer, Gary R. (Author) / Sarjoughian, Hessam S. (Author)
Created2010