With the avionics system becoming more and more complexity, the traditional research methods which are used in studying system reliability, faces the challenges of organizing problem for multiple system goals, multiple processes, multiple elements, multiple relations and multiple conditions. 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. Event-B 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 practical of the method is illustrated by analyzing safety of auto pilot system through Rodin tool which used for analyzing operational modes of application and Simfia tool which used for safety analysis.
展开▼