Skip to main content

Research Repository

Advanced Search

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


Lucas Bressan

André L. de Oliveira

Fernanda Campos


© 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.


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.

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
Keywords Safety certification; Safety critical software; Software development process; Model-based engineering
Public URL


Accepted manuscript (591 Kb)

Copyright Statement
© 2020 Springer Nature Switzerland AG

You might also like

Downloadable Citations