ABSTRACT
The objective of this study is to introduce safety studies as soon as the engineering information is available. Safety studies require the use of formalisms. SysML begins to be a good vector of System Engineering activities, and Feature Model seems like an excellent candidate for the product line description. In order to perform a safety analysis, the required information is extracted from the Feature Model/SysML models of the product line. To reduce the number of studies, we provide FMECA (Failure Modes, Effects and Criticality Analysis) of product line (parametric FMECA) type analysis support, which allows conducting an analysis at the level of the product line, and provides rapid analysis synthesis for each product. In this study, we introduce a new process dedicated to product line in the MéDISIS method. We design a meta-model of System Engineering to help the information management related to the product line variability from the functional and organic point of view. We define the parametric FMECA which carries all relevant information from the models. It allows the decisions and choices capitalization during the safety analysis, especially the impact of variability of the product in terms of dependability. The new MéDISIS process automatically generates from both models a parametric FMECA of the product line. Finally, the process is finalized by the Dependability Engineer using the consolidation tool from MéDISIS in order to generate the final FMECA. The synthesis method of a parametric FMECA from models will be presented. In particular, we will discuss how a variability by its presence or absence can influence a dependability analysis, and how the rules used to define variabilities are taken into account for the final FMECA synthesis.
