A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products: Computing Systems Engineering (SBESC), 2014 Brazilian Symposium on

A.L. de Oliveira, R.T.V. Braga, P.C. Masiero, Y. Papadopoulos, I. Habli, T. Kelly

Research output: Contribution to conferenceOtherpeer-review


Software product lines (SPL) have been successfully used in the development of automotive and avionics critical embedded systems. Hazards and their causes may change according to the selection of variants in a particular SPL product. Thereby, lower-level assets like fault trees and FMEA (Failure Modes and Effects Analysis) cannot be 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. Therefore, we propose a model-based approach to support the generation of safety analysis assets for multiple safety-critical SPL products. 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 the products of an automotive hybrid braking system SPL. Applying the approach reduced the effort to perform product safety analysis.
Original languageEnglish
Number of pages6
Publication statusPublished - 2014


  • automotive engineering
  • avionics
  • braking
  • embedded systems
  • fault trees
  • hazards
  • mechanical engineering computing
  • production engineering computing
  • safety
  • software product lines
  • Hephaestus variability management tool
  • HiP-HOPS model-based safety analysis tool
  • SPL hazard analysis reusability
  • SPL product
  • SPL variability management tools
  • automatic safety analysis
  • automotive critical embedded system development
  • automotive hybrid braking system
  • avionics critical embedded system development
  • fault tree generation
  • model-based safety analysis techniques
  • multiple safety-critical SPL products
  • multiple software product line products
  • product safety analysis effort reduction
  • variant selection
  • Analytical models
  • Automotive engineering
  • Fault trees
  • Hazards
  • Software packages
  • Wheels
  • model-based safety analysis
  • product
  • safety-critical product lines

Cite this