Safety Analysis for Avionics System Based on Model Driven

doi:10.3969/j.issn.1006-2475.2015.01.004

Abstract

Abstract: This paper introduces a new modelbased method for safety analysis to address the problem of failure modes integrity, dynamic failure and data consistency that currently encountered in safety assessments for integrated avionics system. The method model integrated avionics system hierarchically with layers of application operation, function and resource. It simplifies a large part of the analysis, the development of fault trees, and can guarantee the consistency of results. AADL language is used to model application layer to check the integrity of operations modes and AltaRica is used to model dysfunction of system to solve the problem of dynamic failure. The efficiency and practicality of the method is illustrated by analyzing safety of auto pilot system through Osate tool which used for analyzing operational modes of application and SimFia tool which used for safety analysis.

Key words: 模型驱动方法, 航空电子系统, 安全性分析, AADL, AltaRica

CLC Number:

TP302.1

XING Ni-zhou, WANG Li-song. Safety Analysis for Avionics System Based on Model Driven[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2015.01.004.

References

［1］Society of Automotive Engineers, ARP4761:Aerospace Recommended Practice: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment［S］.
［2］Papadopoulos Y, McDermid J A. Hierarchically performed hazard origin and propagation studies［C］// Proceedings of SAFECOMP ’99. 1999:139-152.
［3］Joshi A, Miller A T, Heimdahl M P E. Mode confusion analysis of a flight guidance system using formal methods［C］// Proceedings of the 22rd Digital Avionics Systems Conference (DASC'03). 2003: 2.D.1-1-2.D.1-11.
［4］Antoine Rauzy. AltaRica Description.［EB/OL］. http://www.lix.polytechnique.fr/~rauzy/, 2012-09-19.
［5］IEC 61508, Functional Safety of Electrical/Electronic/Programmable Electronic SafetyRelated Systems［S］.
［6］Adeline R, Darfeuil P, Humbert S, et al. Toward a methodology for the AltaRica Modelling of MultiPhysical Systems［DB/OL］. http://www.lix.polytechnique.fr/~rauzy/altarica/AdelineDarfeuilHumbertSeguinCardoso2010TowardAMethodology.pdf, 2014-06-08.
［7］Liu S, McDermid J A. A modeloriented approach to safety analysis using fault trees and a support system［J］. Journal of Systems and Software, 1996,35(2):151-164.
［8］Dotti F L, Iliasov A, Ribeiro L, et al. Modal systems: Specification, refinement and realization ［C］// Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software. 2009:601-619.
［9］JeanCharles Chaudemar, Eric Bensana, Charles Castel, et al. EventB Models for Operational Safety Analysis: Unmanned Aerial Vehicle Case Study［EB/OL］. http://www.lix.polytechnique.fr/~rauzy/altarica/AltaRica.html/, 2014-03-19.
［10］Laibinis L, Troubitsyna E. Fault tolerance in a layered architecture: A general specication pattern in B［C］// Proceedings of the 2nd International Conference on Software Engineering and Formal Methods. 2004:346-355.
［11］Abrial J R. The BBook Assigning Program to Meanings［M］. Cambridge University Press, 1996.
［12］Gallier J H. Logic for Computer Science: Foundations of Automatic Theorem Proving［M］. Harper & Row Publishers, 1986.
［13］Toure F, Baina K, Benali K. An efficient algorithm for workflow graph structural verification［C］//Proceedings of the OTM 2008 Confederated International Conferenees, CooPIS:DOA, GADA, IS, and ODBASE. Part I. 2008:392-408.
［14］He X. PZ netsa formal method integrating Petri nets with Z［J］. Information and Software Technology, 2001,43(1):1-18.
［15］ Pumfrey D J. The principled design of computer system safety analyses［D］.York: University of York, 1999.
［16］Walker M, Bottaci L, Papadopoulos Y. Compositional temporal fault tree analysis［C］//Proceedings of the 26th International Conference on Computer Safety, Reliability, and Security. 2007,4680:106-119.
［17］Papadopoulos Y, Parker D, Grante C. Automating the failure modes and effects analysis of safety critical systems［C］// Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering. 2004:1530-1534.

[1]	FENG Si-zhe, YANG Zhi-bin, XUE Lei. Automatic Generation Method of Ada Code for Aerospace Embedded Software Based on AADL [J]. Computer and Modernization, 2020, 0(06): 52-.
[2]	LIU Weiwei, ZHUANG Yi, LI Mi. An Embedded Software Reliability Modeling and Evaluation Method [J]. Computer and Modernization, 2017, 0(8): 78-.
[3]	DENG Jia-jia, ZHANG Yu-ping, CHEN Hai-yan. Timeliness Requirement Validation of Brake Control System Based on SysML & AADL [J]. Computer and Modernization, 2017, 0(6): 40-44+49.
[4]	LI Jie-yang, CAO Zi-ning. An AADL Modeling Method Based on Concurrency [J]. Computer and Modernization, 2017, 0(5): 1-4,9.