An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems

Bressan, Lucas; de Oliveira, André L.; Campos, Fernanda; Papadopoulos, Yiannis; Parker, David

Abstract

© 2020, Springer Nature Switzerland AG. Component-based approaches and software product lines have been adopted by industry to manage the diversity of configurations on safety-critical software. Safety certification demands compliance with standards. ISO 26262 standard uses the concept of Automotive Safety Integrity Level (ASIL) to allocate safety requirements to components of a system under design. Compliance with standards is demonstrated through achieving those ASILs which can be very expensive when requirements are high. While achieving safety certification of variant-intensive components without being unnecessarily stringent or expensive is desirable for economy, it poses challenges to safety engineering. In this paper, we propose an approach to manage the diversity of safety goals and supporting safety certification of software components. Our approach is built upon the integration among ASIL decomposition, software process modeling, and variability management techniques. The approach supports cost-effective safety certification and the efficient tailoring of process models to components according to their ASILs. We evaluated our approach in the automotive domain. The approach is feasible in supporting the management of the diversity of safety goals, and cost-effective safety certification of software components.

Citation

Bressan, L., de Oliveira, A. L., Campos, F., Papadopoulos, Y., & Parker, D. (2020). An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Lecture notes in computer science, 12297 LNCS, 179-193. https://doi.org/10.1007/978-3-030-58920-2_12

• Journal Article Type: Conference Paper
• Conference Name: Model-Based Safety and Assessment 7th International Symposium, IMBSA 2020
• Conference Location: Lisbon, Portugal
• Acceptance Date: Jul 5, 2020
• Online Publication Date: Sep 4, 2020
• Publication Date: Sep 1, 2020
• Deposit Date: Apr 27, 2022
• Publicly Available Date: May 19, 2022
• Journal: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
• Print ISSN: 0302-9743
• Electronic ISSN: 1611-3349
• Publisher: Springer Verlag
• Peer Reviewed: Peer Reviewed
• Volume: 12297 LNCS
• Pages: 179-193
• ISBN: 9783030589196
• DOI: https://doi.org/10.1007/978-3-030-58920-2_12
• Keywords: Safety certification; Safety critical software; Software development process; Model-based engineering
• Public URL: https://hull-repository.worktribe.com/output/3623219