Model Based Safety Analysis and Verification of Cyber-Physical Systems

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...

Full description

Bibliographic Details
Other Authors: Banerjee, Ayan (Author)
Format: Doctoral Thesis
Language:English
Published: 2012
Subjects:
Computer science
Health care management
Cyber-Physical Systems
Data centers
Formal Methods
Healthcare
Hybrid Automata
Online Access:http://hdl.handle.net/2286/R.I.15971

Internet

http://hdl.handle.net/2286/R.I.15971

Similar Items