Towards a Unified Model-Based Safety Assessment

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

doi:10.1007/11875567_21

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 proceeding › Conference contribution › Academic › peer-review

21 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Computer Safety, Reliability, and Security
Subtitle of host publication	25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
Editors	Janusz Górski
Publisher	Springer
Pages	275-288
ISBN (Electronic)	978-3-540-45763-3
ISBN (Print)	978-3-540-45762-6
DOIs	https://doi.org/10.1007/11875567_21
Publication status	Published - 2006
Externally published	Yes
Event	25th International Conference on Computer Safety, Security and Reliability, SAFECOMP 2006 - Gdansk, Poland Duration: 26 Sept 2006 → 29 Sept 2006 Conference number: 25 https://www.ifip.org//Cfp/CfP-SAFECOMP2006.htm

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	4166
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	25th International Conference on Computer Safety, Security and Reliability, SAFECOMP 2006
Abbreviated title	SAFECOMP 2006
Country/Territory	Poland
City	Gdansk
Period	26/09/06 → 29/09/06
Internet address	https://www.ifip.org//Cfp/CfP-SAFECOMP2006.htm

Access to Document

10.1007/11875567_21

Cite this

Peikenkamp, T., Cavallo, A., Valacca, L., Böde, E., Pretzer, M., & Hahn, E. M. (2006). Towards a Unified Model-Based Safety Assessment. In J. Górski (Ed.), Computer Safety, Reliability, and Security: 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings (pp. 275-288). (Lecture Notes in Computer Science; Vol. 4166). Springer. https://doi.org/10.1007/11875567_21

@inproceedings{d140d1f11c3f4faebd9d9ad3803eeabe,

title = "Towards a Unified Model-Based Safety Assessment",

abstract = "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{\textquoteright}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.",

author = "Thomas Peikenkamp and Antonella Cavallo and Laura Valacca and Eckard B{\"o}de and Matthias Pretzer and Hahn, \{Ernst Moritz\}",

year = "2006",

doi = "10.1007/11875567\_21",

language = "English",

isbn = "978-3-540-45762-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "275--288",

editor = "Janusz G{\'o}rski",

booktitle = "Computer Safety, Reliability, and Security",

address = "Germany",

note = "25th International Conference on Computer Safety, Security and Reliability, SAFECOMP 2006, SAFECOMP 2006 ; Conference date: 26-09-2006 Through 29-09-2006",

url = "https://www.ifip.org//Cfp/CfP-SAFECOMP2006.htm",

}

Peikenkamp, T, Cavallo, A, Valacca, L, Böde, E, Pretzer, M & Hahn, EM 2006, Towards a Unified Model-Based Safety Assessment. in J Górski (ed.), Computer Safety, Reliability, and Security: 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings. Lecture Notes in Computer Science, vol. 4166, Springer, pp. 275-288, 25th International Conference on Computer Safety, Security and Reliability, SAFECOMP 2006, Gdansk, Poland, 26/09/06. https://doi.org/10.1007/11875567_21

Towards a Unified Model-Based Safety Assessment. / Peikenkamp, Thomas; Cavallo, Antonella; Valacca, Laura et al.
Computer Safety, Reliability, and Security: 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings. ed. / Janusz Górski. Springer, 2006. p. 275-288 (Lecture Notes in Computer Science; Vol. 4166).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Towards a Unified Model-Based Safety Assessment

AU - Peikenkamp, Thomas

AU - Cavallo, Antonella

AU - Valacca, Laura

AU - Böde, Eckard

AU - Pretzer, Matthias

AU - Hahn, Ernst Moritz

N1 - Conference code: 25

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1007/11875567_21

DO - 10.1007/11875567_21

M3 - Conference contribution

SN - 978-3-540-45762-6

T3 - Lecture Notes in Computer Science

SP - 275

EP - 288

BT - Computer Safety, Reliability, and Security

A2 - Górski, Janusz

PB - Springer

T2 - 25th International Conference on Computer Safety, Security and Reliability, SAFECOMP 2006

Y2 - 26 September 2006 through 29 September 2006

ER -

Towards a Unified Model-Based Safety Assessment

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this