Model Based Safety Assessment in Aerospace System Development
Safety holds paramount importance in critical systems, especially within aerospace applications. This research aims to advance the reliability assessment of high-risk systems by automating the safety evaluation process outlined in industry certifications and guidelines. A more rapid and precise method is crucial during development phases, where criticalities must be evaluated promptly to adjust design architecture or propose mitigation mechanisms for potential failures. In numerous critical systems, including Flight Control Systems, Fault Tree Analysis (FTA) stands as the cornerstone for safety evaluation. FTA visually represents the interconnections among failure events in system components, providing both qualitative and quantitative insights into potential system failure states. Currently, the manual production of FTAs heavily relies on expert system knowledge, posing challenges in ensuring completeness, introducing human errors, and consuming significant time. This research aims to overcome these limitations. To achieve this goal, formal methods are employed for the automatic generation of FTAs, utilizing formal architectural description models as input. Subsequently, data-driven approaches validate this automated tree generation, enabling a fully automated FTA process. While the primary focus remains on FTA, the research extends its scope to include other essential assessments, such as Functional Hazard Analysis (FHA) and Common Cause Analysis (CCA). The ultimate objective is to formulate a comprehensive methodology for automating the entire safety assessment process.
Back to Current Students