Abstract
Safety cases are recommended, and in some cases required, by a number of standards. In the product line context, unlike for single systems, safety cases are inherently complex because they must argue about the safety of a family of products that share various types of engineering assets. Safety case modularization has been proposed to reduce safety case complexity by separating concerns, modularizing tightly coupled arguments, and localizing effects of changes to particular modules. Existing modular safety-case approaches for product lines propose a feature-based modularization, which is too coarse to modularize the claims of different types, at different levels of abstraction. To overcome these limitation, a novel, modular safety-case architecture is presented. The modularization is based on a contract-based specification product-line model, which jointly captures the component-based architecture of systems and corresponding safety requirements as assume-guarantee contracts. The proposed safety-case architecture is analyzed against possible product-line changes and it is shown that it is robust both with respect to fine and coarse-grained, and also product and implementation-level changes. The proposed modular safety case is exemplified on a simplified, but real automotive system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Andersson, H., Herzog, E., ölvander, J.: Experience from model and software reuse in aircraft simulator product line engineering. IET 55, 595–606 (2013)
Denney, E., Pai, G.: Safety case patterns: theory and applications. Technial report, NASA Ames Research Center, February 2015
Fenn, J., Hawkins, R., Williams, P., Kelly, T.: Safety case composition using contracts - refinements based on feedback from an industrial case study. In: Redmill, F., Anderson, T. (eds.) The Safety of Systems. Springer, London (2007)
Fenn, L., Hawkins, R.D., Williams, P.J., Kelly, T.P., Banner, M.G., Oakshott, Y.: The who, where, how, why and when of modular and incremental certification. In: Proceedings of the 2nd ICSS, pp. 135–140. IET, October 2007
IEC: IEC 61508 - functional safety of electrical/electronic/programmable electronic safety-related systems (2010)
ISO 26262: Road vehicles - Functional safety, November 2011
Kelly, T.: Using software architecture techniques to support the modular certification of safety-critical systems. In: Proceedings of the 11th Australian SCS Workshop, pp. 53–65. SCS (2006)
Kelly, T.P.: Arguing safety - a systematic approach to managing safety cases (1998)
Mukelabai, M., Nešić, D., Maro, S., Berger, T., Steghöfer, J.P.: Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. In: Proceedings of the 33rd ACM/IEEE ASE. ACM (2018)
Nešić, D., Nyberg, M.: Verifying contract-based specifications of product lines using description logic. In: Proceedings 31st International DL Workshop, p. 13 (2018)
Nešić, D., Nyberg, M.: Multi-view modeling and automated analysis of product line variability in systems engineering. In: Proceedings of the 20th SPLC. ACM (2016)
Nešić, D., Nyberg, M., Gallina, B.: Constructing product-line safety cases from contract-based specifications. In: Proceedings of the 34th ACM/SIGAPP SAC, New York, USA, pp. 2022–2031 (2019)
de Oliveira, A.L., Braga, R.T.V., Masiero, P.C., Papadopoulos, Y., Habli, I., Kelly, T.: Supporting the automated generation of modular product line safety cases. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Theory and Engineering of Complex Systems and Dependability. AISC, vol. 365, pp. 319–330. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19216-1_30
Origin Consulting (York) Limited: GSN community standard version 2, January 2018
Pohl, K., Böckle, G., van Der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005). https://doi.org/10.1007/3-540-28901-1
SAE International: Guidelines for development of civil aircraft and systems (2010)
Schmid, K., Verlage, M.: The economic impact of product line adoption and evolution. IEEE Softw. 19(4), 50–57 (2002)
UK MoD: 00–56: Safety management requirements for defence systems (1996)
Vincentelli, A.S., Damm, W., Passerone, R.: Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217–238 (2012)
Westman, J., Nyberg, M.: Preserving contract satisfiability under non-monotonic composition. In: Baier, C., Caires, L. (eds.) FORTE 2018. LNCS, vol. 10854, pp. 181–195. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92612-4_10
Wozniak, L., Clements, P.: How automotive engineering is taking product line engineering to the extreme. In: Proceedings of the 19th SPLC. ACM (2015)
Acknowledgments
This work has been funded by Vinnova under the ECSEL PRYSTINE project, ref. number 2018-01764. The authors thank the reviewers for constructive comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Nešić, D., Nyberg, M. (2019). Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts. In: Romanovsky, A., Troubitsyna, E., Gashi, I., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2019. Lecture Notes in Computer Science(), vol 11699. Springer, Cham. https://doi.org/10.1007/978-3-030-26250-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-26250-1_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-26249-5
Online ISBN: 978-3-030-26250-1
eBook Packages: Computer ScienceComputer Science (R0)