Impact of Feature Interaction on the Safety Analysis for Unmanned Avionics Product Lines

André L. de Oliveira (1, 2) , Rosana T. V. Braga (1) , Paulo Cesar Masiero (1) , Ibrahim Habli (2) , Tim Kelly (2)

1 Mathematics and Computer Science Institute
2 CS-YORK - Department of Computer Science [York]

Unmanned Avionics Systems (UAS) are real-time critical embedded systems that include high-integrity requirements. Most of these systems need to be certified before use, particularly in civil airspace. To reduce development cost, some UAS software is developed as part of a Software Product Line (SPL). A product-line comprises a reference architecture and a set of reusable core assets. New systems can be derived from the product-line architecture and core assets based on a predefined process that manages and controls permitted variations, based in part on product-line features defined in a feature model. However, many features are interdependent and hence complicate the analysis of all potential feature combinations for product-line systems. In this paper we discuss the impact of feature dependencies in the safety analysis of unmanned avionics SPLs and present a preliminary model-based solution for managing the impact of these dependencies.

Mots clés: unmanned avionics; product-lines; feature interaction

Domaines: Systèmes embarqués

André L. de Oliveira, Rosana T. V. Braga, Paulo Cesar Masiero, Ibrahim Habli, Tim Kelly. Impact of Feature Interaction on the Safety Analysis for Unmanned Avionics Product Lines. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00930892⟩