Safety Analysis for Complex System Based on the Finite State Machine Theory

摘要：

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

关键词： Safety analysis AltaRica finite state machine modeling

作者: Yichen Fan Jianguo Zhang Qi Gong Yuanzhen Zhu

作者单位: School of Reliability System Engineering Beihang University Beijing, P.R. China Reliability System Engineering Institute Beihang University Beijing, P.R. China

会议类型: 国际会议

会议名称: 2011 9th International Conference on Reliability,Maintainability and Safety(第九届国际可靠性、维修性、安全性会议 ICRMS2011)

会议地点: 贵阳

会议语种:英文

页码: 594-598

在线出版日期: 2011-06-12（万方平台首次上网日期，不代表论文的发表时间）