Computer
Safety-Oriented Design of Component Assemblies using Safety Interfaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating Safety Analyses and Component-Based Design
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Assurance of automotive safety - a safety case approach
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Requirements Engineering
Hi-index | 0.00 |
Development of safety critical systems in the aviation industry is a costly and time-consuming process. Despite the increasing complexity of modern aircraft systems, todays 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. This paper presents 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 iteractive refinement of specification models and safety assessments. 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. Besides describing the process on a conceptual level, we also show a proof-of-concept implementation for a specific aircraft subsystem scenario.