Title: Model-based safety analysis of software product lines

Authors: André Luiz De Oliveira; Rosana T.V. Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly

Addresses: Mathematics and Computer Science Institute, University of São Paulo, São Carlos-SP, Brazil ' Mathematics and Computer Science Institute, University of São Paulo, São Carlos-SP, Brazil ' Mathematics and Computer Science Institute, University of São Paulo, São Carlos-SP, Brazil ' Department of Computer Science, University of Hull, Hull, UK ' Department of Computer Science, University of York, Deramore Lane, York, UK ' Department of Computer Science, University of York, Deramore Lane, York, UK

Abstract: Software product lines (SPLs) provide an engineering basis for the systematic reuse of artefacts used for development, assessment, and management of critical embedded systems. Hazards and their causes are safety properties that may change according to the selection of variants in a particular SPL product. Therefore, safety analysis assets such as fault trees and failure modes and effects analysis (FMEA) cannot be directly reused because they are dependent upon the selection of product variants. In this paper, model-based safety analysis techniques and SPL variability management tools are used together to reduce the effort of product safety analysis by: reusing SPL hazard analysis, and providing automatic safety analysis for each SPL product. The benefit of applying the approach is the reduction of effort to perform product safety analysis. The proposed approach is illustrated using the Hephaestus variability management tool and the HiP-HOPS model-based safety analysis tool to generate fault trees, and FMEA for products of an automotive hybrid braking system SPL. The safety assessment artefacts generated by the approach provide feedback for the SPL development process helping safety engineers to make decisions earlier in the development lifecycle.

Keywords: product safety; safety-critical product lines; model-based safety analysis; variability management; software product lines; embedded systems; software development; fault trees; FMEA; failure mode and effects analysis; vehicle braking; hybrid braking; safety assessment; automotive braking; automobile industry.

DOI: 10.1504/IJES.2016.080387

International Journal of Embedded Systems, 2016 Vol.8 No.5/6, pp.412 - 426

Received: 07 Apr 2015
Accepted: 19 Sep 2015

Published online: 17 Nov 2016 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article