ACTA AERONAUTICAET ASTRONAUTICA SINICA >
Safety analysis for fly⁃by⁃wire system based on fault injection model
Received date: 2022-04-26
Revised date: 2022-06-15
Accepted date: 2022-09-23
Online published: 2022-09-30
Supported by
National Natural Science Foundation of China(U1733124);Funds for Civil Aviation Safety Capacity Building(2021-196);Aeronautical Science Foundation of China(20180252002);Research and Practical Innovation Program of Nanjing University of Aeronautics and Astronautics(xcxjh20210702)
Safety analysis is the main method to improve safety in the process of aircraft development， and is also an important method to examine if the design meets the safety requirements of airworthiness standards. Traditional safety analysis methods lag behind the system design process and are significantly dependent on the skills and experience of analysts， and thus cannot meet the requirements of safety analysis for modern complex systems gradually. This paper presents a model-based safety analysis method for the fly-by-wire system. The nominal model and extended model of the fly-by-wire flight control system are established with Simulink. Failure mode and effect analysis can be conducted by injecting the single fault mode and evaluating the impact through the system response. An analysis method of obtaining the minimal cut sets is proposed based on the system response by traversing all failure combinations. Finally， the correctness and effectiveness of the proposed method are illustrated by an engineering case. Compared with the classical Markov method， our method can avoid dependence on designers’ experience， and has higher accuracy. In addition， with the change of design， our method can update the results of safety analysis automatically， which can avoid the tedious work of re-modeling and re-analysis.
Lu ZHUANG , Zhong LU , Haijing SONG , Li DONG , Yuting WU , Jia ZHOU . Safety analysis for fly⁃by⁃wire system based on fault injection model[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2023 , 44(9) : 327329 -327329 . DOI: 10.7527/S1000-6893.2022.27329
| 1 | 中国民用航空局. 运输类飞机适航标准： CCAR-25-R4 ［S］. 北京： 中国民用航空局， 2011： 129-130. |
| Civil Aviation Administration of China. Airworthiness standards for transport aircraft： CCAR-25-R4 ［S］. Beijing：Civil Aviation Administration of China， 2011： 129-130 （in Chinese）. | |
| 2 | Society of Automotive Engineers International. Certification considerations for highly-integrated or complex aircraft systems： ARP4754A ［S］. Warrendale： Society of Automotive Engineers， 2010： 1-12. |
| 3 | Society of Automotive Engineers International. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment： ARP4761 ［S］. Warrendale： Society of Automotive Engineers， 1996： 4-6. |
| 4 | 胡晓义， 王如平， 王鑫， 等. 基于模型的复杂系统安全性和可靠性分析技术发展综述［J］. 航空学报， 2020， 41（6）： 523436. |
| HU X Y， WANG R P， WANG X， et al. Recent development of safety and reliability analysis technology for model-based complex system［J］. Acta Aeronautica et Astronautica Sinica， 2020， 41（6）： 523436 （in Chinese）. | |
| 5 | 陈磊， 焦健， 赵廷弟. 基于模型的复杂系统安全分析综述［J］. 系统工程与电子技术， 2017， 39（6）： 1287-1291. |
| CHEN L， JIAO J， ZHAO T D. Review for model-based safety analysis of complex safety-critical system［J］. Systems Engineering and Electronics， 2017， 39（6）： 1287-1291 （in Chinese）. | |
| 6 | LIU J T， WANG H W， ZHENG W. A safety modelling method for high-speed train control systems based on UML extension［C］∥2020 Chinese Automation Congress. Piscataway： IEEE Press， 2020： 317-321. |
| 7 | WANG H L， ZHONG D M， ZHAO T D， et al. Integrating model checking with SysML in complex system safety analysis［J］. IEEE Access， 2019， 7： 16561-16571. |
| 8 | STEWART D. AADL-Based safety analysis using formal methods applied to aircraft digital systems［J］. Reliability Engineering & System Safety， 2021， 213： 107649. |
| 9 | WEI X M. AADL-based safety analysis approaches for safety-critical systems［C］∥2019 12th IEEE Conference on Software Testing， Validation and Verification. Piscataway： IEEE Press， 2019： 481-482. |
| 10 | ZHANG F K， DONG H Y. Research on formal modeling and safety analysis method of head-up display system for civil aircraft based on AltaRica［C］∥2019 3rd International Conference on Circuits， System and Simulation. Piscataway： IEEE Press， 2019： 116-120. |
| 11 | LI Z， JIANG Z Q， WANG D S， et al. System modeling and fault tree analysis based on AltaRica［J］. IEEE Access， 8： 168879-168897. |
| 12 | LU Z， ZHANG Z W， ZHUANG L， et al. Reliability model of the fly-by-wire system based on stochastic Petri net［J］. International Journal of Aerospace Engineering， 2019， 2019： 2124836. |
| 13 | WU D H. Formal model-based quantitative safety analysis using timed coloured Petri nets［J］. Reliability Engineering & System Safety， 2018， 176： 62-79. |
| 14 | SINGH L K， RAJPUT H. Dependability analysis of safety critical real-time systems by using Petri nets［J］. IEEE Transactions on Control Systems Technology， 2018， 26（2）： 415-426. |
| 15 | SAVELEV A S， EROSHCHENKOV E V， NERETIN E S， et al. Finite-state machine method in the safety assessment process using Stateflow diagrams［J］. Journal of Physics： Conference Series， 2021， 1958（1）： 012034. |
| 16 | CARRILLO M， ESTIVILL-CASTRO V， ROSENBLUETH D. Model-to-model transformations for efficient time-domain verification of concurrent models by NuSMV modules［C］∥ Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Science and Technology Publications， 2020： 287-298. |
| 17 | ZHONG D M， SUN R， GONG H Y， et al. System-theoretic process analysis based on SysML/MARTE and NuSMV［J］. Applied Sciences， 2022， 12（3）： 1671. |
| 18 | DOMíNGUEZ-GARCíA A D. An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems［J］. Reliability Engineering & System Safety， 2008， 93（11）： 1628-1649. |
| 19 | SHAO N， ZHANG S G， LIANG H. Model-based safety analysis of a control system using Simulink and Simscape extended models［C］∥ 2017 3rd International Conference on Mechanical， Electronic and Information Technology Engineering. Les Ulis： EDP Sciences， 2017， 139： 00219. |
| 20 | KIRAN R， JEPPU Y. Autopilot mode transitions and voter logic validation using model checking： A design study of formal methods［M］∥Lecture Notes in Electrical Engineering. Berlin： Springer， 2021： 263-281. |
| 21 | PING M L， ZHANG X B， GAO Z H， et al. Simulation model development of three-stage synchronous generator for aircraft power systems based on modelica［C］∥2016 19th International Conference on Electrical Machines and Systems. Piscataway： IEEE Press， 2016： 1-6. |
| 22 | MCRUER D T， MYERS T T， THOMPSON P M. Literal singular-value-based flight control system design techniques［J］. Journal of Guidance， Control， and Dynamics， 1989， 12（6）： 913-919. |
| 23 | DOMINGUEZ-GARCIA A D. An integrated methodology for the performance and reliability evaluation of fault-tolerant systems［D］. Cambridge： Massachusetts Institute of Technology， 2007： 103-122. |
| 24 | DOMINGUEZ-GARCIA A D， KASSAKIAN J G， SCHINDALL J E， et al. On the use of behavioral models for the integrated performance and reliability evaluation of fault-tolerant avionics systems［C］∥2006 IEEE/AIAA 25th Digital Avionics Systems Conference. Piscataway： IEEE Press， 2006： 1-14. |
| 25 | LU Z， ZHUANG L， DONG L， et al. Model-based safety analysis for the fly-by-wire system by using Monte Carlo simulation［J］. Processes， 2020， 8（1）： 90. |
| 26 | BABCOCK P S， ROSCH G， ZINCHUK J J. An automated environment for optimizing fault-tolerant systems designs［C］∥Annual Reliability and Maintainability Symposium. Piscataway： IEEE Press， 1991： 360-367. |
| 27 | 董力. 基于模型的飞行控制系统安全性分析方法研究［D］. 南京： 南京航空航天大学， 2020： 51-53. |
| DONG L. Research on model-based safety analysis of flight control system［D］. Nanjing： Nanjing University of Aeronautics and Astronautics， 2020： 51-53 （in Chinese）. |
/
| 〈 |
|
〉 |
CJA