Automatic SysML-based safety analysis

Authors:
Philipp Helle
Affiliations:
EADS Innovation Works, Hamburg, Germany
Venue:
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Year:
2012

Citing 6
Cited 0

Software safety: why, what, and how

ACM Computing Surveys (CSUR)
Safeware: system safety and computers

Safeware: system safety and computers
Towards integrated safety analysis and design

ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Risk-Based Reliability Analysis and Generic Principles for Risk Reduction

Risk-Based Reliability Analysis and Generic Principles for Risk Reduction
A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
The AltaRica Formalism for Describing Concurrent Systems

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based Safety Analysis (MBSA) techniques exist that ensure an increased consistency by formalising the safety analysis and allow automation of the safety calculations. With the increased acceptance of Model-based Systems Engineering (MBSE) as the new systems engineering paradigm, it seems natural to combine MBSE and MBSA. This work provides a methodology and tool support for an integrated MBSE and MBSA on one common model based on SysML which allows the systems engineers to perform an automated safety analysis to receive quick feedback on their design decisions during the system design phase.