@inproceedings{80fb7b72f37641fe9bb3435df4cf553f,
title = "Safety analysis for complex system based on the finite state machine theory",
abstract = "According to the deficiency that traditional reliability and safety analysis approach cannot describe dynamic behaviors of complex system, priority of failure events, and failure mode propagation. A new safety analysis and assessment technique is studied. It is based on the finite state machine theory and use the formal specification language AltaRica for system modeling. Because it puts event as a driver, which can describe dynamic behaviors and state transition of the system. In addition, propose a safety analysis and assessment method of complex system based formal model, combining the aircraft hydraulic system case-study",
keywords = "AltaRica, finite state machine, modeling, Safety analysis",
author = "Yichen Fan and Jianguo Zhang and Qi Gong and Yuanzhen Zhu",
year = "2011",
doi = "10.1109/ICRMS.2011.5979337",
language = "英语",
isbn = "9781612846644",
series = "ICRMS'2011 - Safety First, Reliability Primary: Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety",
pages = "594--598",
booktitle = "ICRMS'2011 - Safety First, Reliability Primary",
note = "2011 9th International Conference on Reliability, Maintainability and Safety: Safety First, Reliability Primary, ICRMS'2011 ; Conference date: 12-06-2011 Through 15-06-2011",
}