Failure Propagation Modeling and Analysis via System Interfaces
Safety-critical systems must be shown to be acceptably safe to deploy and use in their operational environment. One of the key concerns of developing safety-critical systems is to understand how the system behaves in the presence of failures, regardless of whether that failure is triggered by the ex...
Main Authors: | Lin Zhao, Krishnaiyan Thulasiraman, Xiaocheng Ge, Ru Niu |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi Limited
2016-01-01
|
Series: | Mathematical Problems in Engineering |
Online Access: | http://dx.doi.org/10.1155/2016/8593612 |
Similar Items
-
The spectral characterization of the connected multicone graphs
by: Ali Zeydi Abdian, et al.
Published: (2020-01-01) -
Intelligent Modeling and Verification 2014
by: Guiming Luo, et al.
Published: (2014-01-01) -
Hybrid PMC (HPMC) fault model and diagnosability of interconnection networks
by: Qiang Zhu, et al.
Published: (2020-09-01) -
Modeling, Optimization, and Verification for Complex Systems
by: Guiming Luo, et al.
Published: (2016-01-01) -
Entanglement of propagating optical modes via a mechanical interface
by: Junxin Chen, et al.
Published: (2020-02-01)