System States Transition Safety Analysis Method Based on FSM and NuSMV-Reference-Cited by-同舟云学术

System States Transition Safety Analysis Method Based on FSM and NuSMV

Published:2018 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 2nd International Conference on Management Engineering, Software Engineering and Service Sciences - ICMSS 2018
language:
Short-container-title:

Author:

Ding Yuxin¹,Li Weigang²,Zhong Deming¹,Huang Hao²,Zhao Yukun¹,Xu Zhi¹

Affiliation:

1. Beihang University, BeiHang University XueYuan, BeiJing, China

2. Aviation Control System Institute, JiangSu, China

Funder

Ministry of Industry and Information Technology of China

Major State Basic Research Development Program of China

Civil Aviation Joint Funds Established by National Nature Science Foundation of China and Civil Aviation Administration of China

Publisher

ACM Press

Reference23 articles.

1. E, Ruijters. 2015. Fault tree analysis. Elsevier Science Publishers B. V.

2. Lin, J., Yuan, Y.B., Zhang MY. 2014. Improved FTA Methodology and Application to Subsea Pipeline Reliability Design. PLOS ONE. 9(3) (2014), e93042. DOI= http:// doi.org/10.1371/journal.pone.0093042.

3. Sang., Bing Tsai., Jie Z., Yang Gao, Jiangtao Wang., Guodong, Li., Yuxiang, Zheng., Peng, Ren., Wei Xu. 2017. Combining FMEA with DEMATEL models to solve production process problems. PLOS ONE. Vol. 12 Issue 8 (8/24/2017), 1--15. DOI= http://doi.org /10.1371/journal.pone.0183634.

4. Leveson, N. 2012. Engineering a Safer World: Applying Systems Thinking to Safety. MIT Press, Cambridge, MA.

5. Zheng, Z., Tian, J. 2016. Reliability Assessment Method based on SVDD and SVR with multiple performances degradation data for chassis system. International Conference on Reliability Systems Engineering. (2015), 1--5. DOI= http://doi.org/10.1109/icrse.2015.7366455.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Complex physical-model based dynamic system safety analysis of Aviation Piston Engine considering hybrid uncertainty of fault;Engineering Failure Analysis;2023-10

2. System verification via Model‐Checking: A case study of an autonomous multi‐differential drive robot;INCOSE International Symposium;2023-07

3. Synthesis of a Controller Algorithm for Safety-Critical Systems;IEEE Access;2022

4. Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking;2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2019-09

5. An Improved Attack Path Discovery Algorithm Through Compact Graph Planning;IEEE Access;2019