Distributed Model-Based Safety Assessment for Airborne Systems to Support Incremental Certification

Date

May 6, 2011

Time

4:00 PM - 5:00 PM

Speaker

Dipl.-Inf. Martin Waßmuth

Affiliation

Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie

Language

en

Main Topic

Informatik

Other Topics

Informatik

Description

Development of safety critical systems in the aviation industry is a costly and time-consuming process. Despite the increasing complexity of modern aircraft systems, today’s safety analyses and proofs for certification purposes are still performed through a number of predominantly manual, paper-based procedures, which are both expensive and prone to errors. A new approach to integrate the most important safety analysis methods Functional Hazard Analysis (FHA), Fault Tree Analysis (FTA), and Failure Modes and Effects Analysis (FMEA) in a centrally managed model, which forms the basis for an iterative refinement of specification models and safety assessments will be presented. The proposed process favors consistent distribution of specifications to subsystem suppliers through a modularized design technique, seamless and automated safety assessment at component and system levels, and structured derivation of safety proofs for certification. Betreuer: Prof. Dr. Uwe Aßmann Fachreferent: Prof. Dr. Klaus Kabitzsch Diese Veranstaltung wird unterstützt von Lehrstuhl für Softwaretechnologie.

Last modified: May 3, 2011, 9:35:34 AM