Full metadata
Title
Model based safety analysis of cyber physical systems
Description
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 Distribution Systems etc. The close coupling between cyber and physical worlds in a CPS manifests in two types of interactions between computing systems and the physical world: intentional and unintentional. Unintentional interactions result from the physical characteristics of the computing systems and often cause harm to the physical world, if the computing nodes are close to each other, these interactions may overlap thereby increasing the chances of causing a Safety hazard. Similarly, due to mobile nature of computing nodes in a CPS planned and unplanned interactions with the physical world occur. These interactions represent the behavior of a computing node while it is following a planned path and during faulty operations. Both of these interactions change over time due to the dynamics (motion) of the computing node and may overlap thereby causing harm to the physical world. Lack of proper modeling and analysis frameworks for these systems causes system designers to use ad-hoc techniques thereby further increasing their design and development time. The thesis addresses these problems by taking a holistic approach to model Computational, Physical and Cyber Physical Interactions (CPIs) aspects of a CPS and proposes modeling constructs for them. These constructs are analyzed using a safety analysis algorithm developed as part of the thesis. The algorithm computes the intersection of CPIs for both mobile as well as static computing nodes and determines the safety of the physical system. A framework is developed by extending AADL to support these modeling constructs; the safety analysis algorithm is implemented as OSATE plug-in. The applicability of the proposed approach is demonstrated by considering the safety of human tissue during the operations of BAN, and the safety of passengers traveling in an Autonomous Vehicle.
Date Created
2010
Contributors
- Kandula, Sailesh Umamaheswara (Author)
- Gupta, Sandeep (Thesis advisor)
- Lee, Yann Hang (Committee member)
- Fainekos, Georgios (Committee member)
- Arizona State University (Publisher)
Topical Subject
Resource Type
Extent
vii, 54 p. : ill. (some col.)
Language
eng
Copyright Statement
In Copyright
Primary Member of
Peer-reviewed
No
Open Access
No
Handle
https://hdl.handle.net/2286/R.I.8747
Statement of Responsibility
by Sailesh Umamaheswara Kandula
Description Source
Viewed on March 15, 2012
Level of coding
full
Note
thesis
Partial requirement for: M.S., Arizona State University, 2010
bibliography
Includes bibliographical references (p. 49-54)
Field of study: Computer science
System Created
- 2011-08-12 02:55:38
System Modified
- 2021-08-30 01:56:19
- 3 years 2 months ago
Additional Formats