Enhancing Product Line Development by Safety Requirements and Verification

Abstract

In product lines of safety-critical medical devices, the safety requirements vary in the same lines as the products. We propose a uniform integration of safety requirements into a model-driven feature-oriented design methodology of product lines. We extend the Scade development framework by a transformational approach to product line design: both the design modifications and the adaptation of safety requirements constitute a feature at a certain development phase. Thus both are described in terms of a model graph transformation. Then design models and the safety constraints associated to a product result from a sequence of feature-specific model transformations applied on a base model. This builds the basis for systematic and traceable product line verification and safety assurance. We evaluate our approach on a product line of cardiac pacemakers.