Model Based Safety Analysis of Cyber Physical Systems
abstract: Cyber Physical Systems (CPSs) are systems comprising of computational systems that interact with the physical world to perform sensing, communication, computation and actuation. Common examples of these systems include Body Area Networks (BANs), Autonomous Vehicles (AVs), Power Distributio...
Other Authors: | Kandula, Sailesh Umamaheswara (Author) |
---|---|
Format: | Dissertation |
Language: | English |
Published: |
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/2286/R.I.8747 |
Similar Items
-
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
by: Marjan Sirjani, et al.
Published: (2021-05-01) -
Formal Requirements-Driven Analysis of Cyber Physical Systems
Published: (2017) -
From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems
Published: (2017) -
Test-Based Falsification and Conformance Testing for Cyber-Physical Systems
Published: (2015) -
Metrological Array of Cyber-Physical Systems. Part 1. Challenge of Modernity
by: Svyatoslav YATSYSHYN, et al.
Published: (2015-03-01)