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.
Safety Assessment for Flight Control System Architecture with Abstract Logical Modelling
Lect. Notes Electrical Eng.
International Conference on Guidance, Navigation and Control ; 2024 ; Changsha, China August 09, 2024 - August 11, 2024
2025-02-28
8 pages
Article/Chapter (Book)
Electronic Resource
English
Modelling Logical Architecture of Mechatronic Systems and Its Quality Control
Springer Verlag | 2017
|Simulation and implementation of abstract logical inference control thinking
Automotive engineering | 2014
|Safety Analysis – Flight Control System
Wiley | 2013
|