Finite-state machine method in the safety assessment process using Stateflow diagrams

Abstract

Safety Assessment Process is one of the most important processes of the avionics systems design. Modern and perspective aircraft uses a Model-Based Design approach, but Safety Assessment performing with a high risk of error due to human factors. Nowadays design tools, like MATLAB Simulink and ANSYS medini analyze, propose new methods of the safety assessment process—Model-Based Safety Assessment. (MBSA). The types of MBSA were analyzed and classified. This work describes the MBSA approach in general and focuses on MBSA in part of the failure modeling using the finite-state machine method. The use of this method can help both the safety team and development team to have a clear dialogue about the system’s work and failures.