Skip to main content

Instrumentation and Coverage Analysis of Cyber Physical System Models


Abstract A Cyber Physical System consists of a computer monitoring and controlling physical processes usually in a feedback loop. These systems are increasingly becoming part of our daily life ranging from smart buildings to medical devices to automobiles. The controller comprises discrete software which may be operating in one of the many possible operating modes and interacting with a changing physical environment in a feedback loop. The systems with such a mix of discrete and continuous dynamics are usually termed as hybrid systems. In general, these systems are safety critical, hence their correct operation must be verified. Model Based Design (MBD) languages like Simulink are being used extensively for the design and analysis of hybrid systems ... (more)
Created Date 2016
Contributor Thekkalore Srinivasa, Rahul (Author) / Fainekos, Georgios (Advisor) / Mayyas, Abdel Ra’ouf (Committee member) / Sarjoughian, Hessam (Committee member) / Arizona State University (Publisher)
Subject Computer science / Engineering / Automated testing tools / Coverage based falsification / Cyber Physical Systems / Simulink branch coverage / Simulink closded loop testing
Type Masters Thesis
Extent 73 pages
Language English
Copyright
Reuse Permissions All Rights Reserved
Note Masters Thesis Computer Science 2016
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS


  Full Text
1.1 MB application/pdf
Download Count: 306

Description Dissertation/Thesis