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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ISO. ISO 26262: Road Vehicles Functional Safety (2011)
EUROCAE, ARP4754A - Guidelines for Development of Civil Aircraft and Systems (2010)
Weiland, J.: Configuring variant-rich automotive software architecture models. In: Proc. of 2nd IEEE Conf. on Automotive Electronics, pp. 73–80 (2006)
Habli, I., Kelly, T., Hopkins, I.: Challenges of establishing a software product line for an aerospace engine monitoring System. In: Proc. of 11th Int’l SPL Conference, pp. 193–202. IEEE (2007)
Fenn, J., Hawkins, R., Williams, P., Kelly, T., Banner, M.G., Oakshott, Y.: The who, where, how, why and when of modular and incremental certification. In: IET System Safety Conference (2007)
Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley (2001)
Habli, I.: Model-Based Assurance of Safety-Critical Product Lines. Ph.D thesis, Department of Computer Science, The University of York, York, United Kingdom (2009)
Habli, I., Kelly, T.: A safety case approach to assuring configurable architectures of safety-critical product lines. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol. 6150, pp. 142–160. Springer, Heidelberg (2010)
Liu, J., Dehlinger, J., Lutz, R.: Safety analysis of software product lines using stated modeling. Journal of Systems and Software 80(11), 1879–1892 (2007)
Steiner, E.M., Masiero, P.C.: Managing SPL variabilities in UAV Simulink models with Pure::variants and Hephaestus. CLEI Electronic Journal 16(1) (2013)
Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann: Engineering failure analysis and design optimization with HIP-HOPS. Journal of Engineering Failure Analysis 18(2), 590–608 (2011)
Kelly, T.: Using software architecture techniques to support the modular certification of safety-critical systems. In: 11th Australian Workshop on Safety Critical Systems and Software, vol. 69, pp. 53–65 (2007)
Origin Consulting York, GSN community standard version 1 (2011), http://www.goalstructuringnotation.info/documents/GSN_Standard.pdf
Bloomfield, R., Bishop, P.: Safety and assurance cases: Past, present and possible future - an Adelard perspective. In: Proc. of the 18th Safety-Critical Systems Symp. Springer, London (2010)
Kelly, T., McDermid, J.: Safety case construction and reuse using patterns. In: Proc. of 16th Int. Conf. on Computer Safety, Reliability and Security, pp. 55–69. Springer-London (1997)
Matsuno: A design and implementation of an assurance case language. In: Proc. IEEE/IFIP Dependable Systems and Networks, DSN (2014)
ACEdit, Assurance case editor (2014), https://code.google.com/p/acedit/
Weaver, R.A.: The Safety of Software – Constructing and Assuring Arguments. PhD thesis, Department of Computer Science, University of York (2003)
Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration using feature models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266–283. Springer, Heidelberg (2004)
De Castro, R., Araújo, R.E., Freitas, D.: Hybrid ABS with electric motor and friction brakes. In: 22nd International Symposium on Dynamics of Vehicles on Roads and Tracks, Manchester, UK (2011)
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
de Oliveira, A.L., Braga, R.T.V., Masiero, P.C., Papadopoulos, Y., Habli, I., Kelly, T. (2015). 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. DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol 365. Springer, Cham. https://doi.org/10.1007/978-3-319-19216-1_30
Download citation
DOI: https://doi.org/10.1007/978-3-319-19216-1_30
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19215-4
Online ISBN: 978-3-319-19216-1
eBook Packages: EngineeringEngineering (R0)