Towards Failure Models and Error Propagation in Product Lines

Sara Bessling (1)

1 Department of Informatics

Safety-critical systems and especially their software components need a thorough verification for failures and potential error propagation. Reliability has to be guaranteed for medical devices in particular. These devices exhibit a broad variability, as well. They have to be suitable for a diverse variety of individual requirements leading to product lines which share a common base functionality, but each product is adapted to different requirements. We present an approach in which failure models are assigned to features which are combined into different product models. Starting with a base model, further product models are derived from it by model transformations. We investigate the structure of the failure models and a possible error propagation. We demonstrate our method using Scade Suite for the model-based product line design of cardiac pacemakers. Formal safety analysis is performed by using the Scade Design Verifier.

Mots clés: Safety; Embedded systems

Domaines: Systèmes embarqués

Sara Bessling. Towards Failure Models and Error Propagation in Product Lines. SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848617⟩