@inproceedings{15314b17b0b94d1baf0f35e0cf12d051,
title = "Fault Associated Propagation Hazard Analysis for Shared Resource Based on Model Checking",
abstract = "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.",
keywords = "fault associated, fault propagation, hazard analysis, model checking, shared resource",
author = "Hongli Wang and Deming Zhong",
note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 68th Annual Reliability and Maintainability Symposium, RAMS 2022 ; Conference date: 24-01-2022 Through 27-01-2022",
year = "2022",
doi = "10.1109/RAMS51457.2022.9893953",
language = "英语",
series = "Proceedings - Annual Reliability and Maintainability Symposium",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "68th Annual Reliability and Maintainability Symposium, RAMS 2022",
address = "美国",
}