Safety Assessment for Flight Control System Architecture with Abstract Logical Modelling

Flight control systems are pivotal for ensuring aircraft safety, necessitating robust methodologies for safety assessment. This paper introduces a novel approach for safety assessment of flight control system architecture through abstract logical modeling. The proposed method establishes a model that abstracts the system by capturing architecture definitions, allows formal design, engineering and simulation. This simplified model combined with model properties checking mechanism, derives a fault model which automatically generates safety artifacts such as minimal cut-sets, facilitating both qualitative and quantitative safety assessment. The established framework leverages the capabilities and capacity of the Simulink environment, which allows seamless integration of the safety analysis into the overall system development process. The methodology is demonstrated through a case study on a representative flight control system, highlighting its effectiveness in identifying critical failure scenarios and providing valuable insights for system design and safety improvement.