Abstract
Assurance cases capture the argumentation that a system is safe by putting together pieces of evidence at different levels of abstraction and of different nature. Managing the interdependencies between these artefacts lies at the heart of any safety argument. Keeping the assurance case complete and consistent with the system is a manual and very ressource consuming process. Current tools do not address these challenges in constructing and maintaining safety arguments. In this paper we present a tooling prototype called Safety.Lab which features rich and deeply integrated models to describe requirements, hazards list, fault trees and architecture. We show how Safety.Lab opens opportunities to automate completeness and consistency checks for safety argumentation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
References
Voelter, M., Ratiu, D., Kolb, B., Schaetz B.: mbeddr: Instantiating a Language Workbench in the Embedded Systems Domain. J. Autom. Softw. Eng. 20(3), 339–390 (2013)
Langari, Z., Maibaum, T.: Safety cases: a review of challenges. In: International Workshop on Assurance Cases for Software-intensive Systems (2013)
Fowler, M.: Language Workbenches: The Killer-App for Domain Specific Languages? (2005). http://www.martinfowler.com/articles/languageWorkbench.html
Voelter, M.: Language and IDE modularization and composition with MPS. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2011. LNCS, vol. 7680, pp. 383–430. Springer, Heidelberg (2013)
Kelly, T., Hawkins, R.D., Habli, I., Kolovos, D., Paige, R.F.: Weaving an assurance case from design: a model-based approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering (2015)
Kelly, T., Weaver, R.: The goal structuring notationa safety argument notation. In: Workshop on Assurance Cases Dependable Systems and Networks (2004)
Beer, A., Kühne, U., Leitner-Fischer, F., Leue, S., Prem, R.: Analysis of an Airport Surveillance Radar using the QuantUM approach, Technical report, University of Konstanz (2012)
Kath, O., Schreiner, R., Favaro, J.: Safety, security, and software reuse: a model-based approach. In: 4th International Workshop in Software Reuse and Safety (2012)
Adler, N., Hillenbrand, M., Mueller-Glaser, K.D., Metzker, E., Reichmann, C.: Graphically notated fault modeling and safety analysis in the context of electric and electronic architecture development and functional safety. In: 23rd IEEE International Symposium on Rapid System Prototyping (RSP) (2012)
OPENCOSS Consortium, Deliverable D3.3, Integrated OPENCOSS platform (2015)
SafeCer Consortium, Deliverables D3.1.3, CTF Platform Prototype (2012)
Cancila, D., Terrier, F., Belmonte, F., Dubois, H., et al.: SOPHIA: a modeling language for model-based safety engineering. In: 2nd International Workshop On Model Based Architecting and Construction Of Embedded Systems: ACES-MB (2009)
Voelter, M., Tomassetti, F.: Requirements as first class citizens. In: Dagstuhl Workshop on Model-based Development of Embedded Systems (2013)
Voss, S., and Carlan, C., Schaetz, B., Kelly, T.: Safety case driven model-based systems construction. In: 2nd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (2013)
Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L. Coq, T.: Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard. In: Third International Conference on Software Testing, Verification and Validation (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Ratiu, D., Zeller, M., Killian, L. (2015). Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation. In: Koornneef, F., van Gulijk, C. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science(), vol 9338. Springer, Cham. https://doi.org/10.1007/978-3-319-24249-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-24249-1_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24248-4
Online ISBN: 978-3-319-24249-1
eBook Packages: Computer ScienceComputer Science (R0)