Fault Associated Propagation Hazard Analysis for Shared Resource Based on Model Checking
Hongli Wang, Deming Zhong · 2022 Annual Reliability and Maintainability Symposium (RAMS) · 2022
Resource sharing is the most important feature of complex integrated system, so as to reduce the allocation of redundant resources in the system, and improve the utilization rate of resources and the overall efficiency of the system. However, such an integrated system has a low tolerance for fault of a single shared resource. Once the fault of shared resources occurs, the internal association can cause the collapse of the whole system, which increases the inherent hazard of the system.