2026-05-22T17:52:29Zhttps://keep.lib.asu.edu/oai/request

oai:keep.lib.asu.edu:node-1548672024-12-20T18:25:12Zoai_pmh:alloai_pmh:repo_items

154867 https://hdl.handle.net/2286/R.I.40222 http://rightsstatements.org/vocab/InC/1.0/ All Rights Reserved 2016 ix, 63 pages : illustrations (some color) Masters Thesis Academic theses Text eng Thekkalore Srinivasa, Rahul Fainekos, Georgios Mayyas, Abdel Ra’ouf Sarjoughian, Hessam S. Arizona State University Partial requirement for: M.S., Arizona State University, 2016 Includes bibliographical references (pages 61-63) Field of study: Computer science 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 due to the ease in system design and automatic code generation. It also allows testing and verification of these systems before deployment. One of the main challenges in the verification of these systems is to test all the operating modes of the control software and reduce the amount of user intervention.<br/><br/>This research aims to provide an automated framework for the structural analysis and instrumentation of hybrid system models developed in Simulink. The behavior of the components introducing discontinuities in the model are automatically extracted in the form of state transition graphs. The framework is integrated in the S-TaLiRo toolbox to demonstrate the improvement in mode coverage. Computer Science Engineering Automated testing tools Coverage based falsification Cyber Physical Systems Simulink branch coverage Simulink closded loop testing Feedback control systems Hybrid systems--Testing. Hybrid systems Instrumentation and coverage analysis of cyber physical system models