Skip to main content

Model Based Safety Analysis and Verification of Cyber-Physical Systems


Abstract Critical infrastructures in healthcare, power systems, and web services, incorporate cyber-physical systems (CPSes), where the software controlled computing systems interact with the physical environment through actuation and monitoring. Ensuring software safety in CPSes, to avoid hazards to property and human life as a result of un-controlled interactions, is essential and challenging. The principal hurdle in this regard is the characterization of the context driven interactions between software and the physical environment (cyber-physical interactions), which introduce multi-dimensional dynamics in space and time, complex non-linearities, and non-trivial aggregation of interaction in case of networked operations. Traditionally, CPS softwa... (more)
Created Date 2012
Contributor Banerjee, Ayan (Author) / Gupta, Sandeep K.S. (Advisor) / Poovendran, Radha (Committee member) / Fainekos, Georgios (Committee member) / Maciejewski, Ross (Committee member) / Arizona State University (Publisher)
Subject Computer science / Health care management / Cyber-Physical Systems / Data centers / Formal Methods / Healthcare / Hybrid Automata
Type Doctoral Dissertation
Extent 239 pages
Language English
Copyright
Reuse Permissions All Rights Reserved
Note Ph.D. Computer Science 2012
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS


  Full Text
6.3 MB application/pdf
Download Count: 4535

Description Dissertation/Thesis