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

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.

[1]  Danilo Beuche,et al.  When 150% is too much: supporting product centric viewpoints in an industrial product line , 2016, SPLC.

[2]  Martin Walker,et al.  Engineering failure analysis and design optimisation with HiP-HOPS , 2011 .

[3]  Yiannis Papadopoulos,et al.  Variability Management in Safety-Critical Software Product Line Engineering , 2018, ICSR.

[4]  Birger Møller-Pedersen,et al.  Adding Standardized Variability to Domain Specific Languages , 2008, 2008 12th International Software Product Line Conference.

[5]  Jan Bosch,et al.  Systems and Software Variability Management , 2013, Springer Berlin Heidelberg.

[6]  Eric Armengaud,et al.  Method Library Framework for Safety Standard Compliant Process Tailoring , 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

[7]  Martin Walker,et al.  Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm , 2013, IEA/AIE.

[8]  Danilo Beuche,et al.  Functional safety and variability: can it be brought together? , 2013, SPLC '13.

[9]  Mark van den Brand,et al.  Extracting Models from ISO 26262 for Reusable Safety Assurance , 2013, ICSR.

[10]  Martin Walker,et al.  Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search , 2013, CARS@SAFECOMP.

[11]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[12]  I. Habli,et al.  Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System , 2007 .

[13]  Barbara Gallina,et al.  Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool , 2018, SPLC.

[14]  Øystein Haugen,et al.  BVR - Better Variability Results , 2014, SAM.

[15]  Yiannis Papadopoulos,et al.  Automatic Allocation of Safety Requirements to Components of a Software Product Line , 2015 .

[16]  Martin Walker,et al.  Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS , 2013 .

[17]  Barbara Gallina,et al.  Towards variant management and change impact analysis in safety-oriented process-product lines , 2019, SAC.