Towards a Unified Model-Based Safety Assessment

Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

20 Citations (Scopus)


The increase of complexity in aircraft systems demands for enhanced analysis techniques. Methods are required that leverage the burden of their application by reusing existing design and process information and by enforcing the reusability of analyses results allowing early identification of design’s weak points and check of design alternatives.This report elaborates on a method that assumes a system specification in an industrial standard notation and allows to perform several formal safety analyses. Based on a collection of failure models and means of specifying safety requirements, the techniques produce results along the lines of traditional methods.

We show how to combine traditional techniques, required by the AerospaceRecommendedPractice (SAE-ARP) standards, likeFaultTree Analysis, Failure Mode and Effect Analysis and Common Cause Analysis and also how to automate most of the analysis activities.
Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
Subtitle of host publication25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
EditorsJanusz Górski
ISBN (Electronic)978-3-540-45763-3
ISBN (Print)978-3-540-45762-6
Publication statusPublished - 2006
Externally publishedYes
Event25th International Conference on Computer Safety, Security and Reliability, SAFECOMP 2006 - Gdansk, Poland
Duration: 26 Sep 200629 Sep 2006
Conference number: 25

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference25th International Conference on Computer Safety, Security and Reliability, SAFECOMP 2006
Abbreviated titleSAFECOMP 2006
Internet address

Fingerprint Dive into the research topics of 'Towards a Unified Model-Based Safety Assessment'. Together they form a unique fingerprint.

Cite this