Affiliation:
1. Beihang University
2. Avic Aero-Polythchnology Establishment
3. Avic Areo-Polythchnology Establishment
Abstract
The development of safety critical systems becomes even harder sine the integrity and complexity of system functions and architecture grows continuously, and this kind of process involves cooperative work between safety and system engineerings during the development of products. The article presents a new approach called automated safety integrity analysis for complex system relying on functional model, and the process of safety integrity is studied by linking functional design phase using SysML(System Model Language) and Altarica Data Flow language based on risk engineering, and the given method can be analyzed automatically and iteratively during the whole life in order to unify the process between the system design and safety assessment.At last, the approach is exemplified by fuel system of aircraft to demonstrate the applicability and versatility, which explores the engineering research for the analysis technology for safety of the complex system.
Publisher
Trans Tech Publications, Ltd.
Reference9 articles.
1. SAE ARP 4754 A. Guidelines for Development of Civil Aircraft Systems. 2010, REV. A.
2. M. Bozzano,A. Villafiorita. Improving system reliability via model checking:the fasp/nusmv-sa safety analysis platform[C]. In Proceedings of SAFECOMP 2003: 49-62.
3. M. Bozzano. An integrated methodology for design and safety analysis of complex system[C] . In Proceedings of ESREL 2003: 237-245, Balkema Publishers, June 15-18, (2003).
4. Jinqiu Hu, Laibin Zhang, Lin Ma. An integrated safety prognosis model for complex system based on dynamic Bayesian network and ant colony algorithm[J] . Expert System with Applications, 2011, 38(2): 1431-1446.
5. C.J. Price, N.S. Taylor. Automated multiple failure FMEA[J] . Reliability Engineering and System Safety, 2002, 76(1): 1-10.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The formal rules, the algorithm and the program for functional models verification;VII INTERNATIONAL CONFERENCE “SAFETY PROBLEMS OF CIVIL ENGINEERING CRITICAL INFRASTRUCTURES” (SPCECI2021);2023
2. Language for Unified Verification and Implementation for Distributed Avionics;Journal of Aerospace Information Systems;2018-11