Skip to main content

Research Repository

Advanced Search

Supporting the automated generation of modular product line safety cases

de Oliveira, André L.; Braga, Rosana T.V.; Masiero, Paulo C.; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim

Authors

André L. de Oliveira

Rosana T.V. Braga

Paulo C. Masiero

Ibrahim Habli

Tim Kelly



Contributors

W. Zamojski
Editor

J. Mazurkiewicz
Editor

J. Sugier
Editor

T. Walkowiak
Editor

J. Kacprzyk
Editor

Abstract

Abstract The effective reuse of design assets in safety-critical Software Product Lines (SPL) would require the reuse of safety analyses of those assets in the variant contexts of certification of products derived from the SPL. This in turn requires the traceability of SPL variation across design, including variation in safety analysis and safety cases. In this paper, we propose a method and tool to support the automatic generation of modular SPL safety case architectures from the information provided by SPL feature modeling and model-based safety analysis. The Goal Structuring Notation (GSN) safety case modeling notation and its modular extensions supported by the D-Case Editor were used to implement the method in an automated tool support. The tool was used to generate a modular safety case for an automotive Hybrid Braking System SPL.

Citation

de Oliveira, A. L., Braga, R. T., Masiero, P. C., Papadopoulos, Y., Habli, I., & Kelly, T. (2015). Supporting the automated generation of modular product line safety cases. In W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, & J. Kacprzyk (Eds.), . https://doi.org/10.1007/978-3-319-19216-1_30

Publication Date Jan 1, 2015
Deposit Date Jun 9, 2016
Publicly Available Date Mar 29, 2024
Pages 319-330
Series Title Advances in Intelligent Systems and Computing
ISBN 9783319192154
DOI https://doi.org/10.1007/978-3-319-19216-1_30
Keywords Product lines; Certification; Modular safety cases; Reuse
Public URL https://hull-repository.worktribe.com/output/439370
Publisher URL https://link.springer.com/chapter/10.1007%2F978-3-319-19216-1_30

Files

13388 Papadopoulos.PDF (432 Kb)
PDF

Copyright Statement
© 2016 Springer International Publishing Switzerland





You might also like



Downloadable Citations