Software product-line engineering: a family-based software development process
Software product-line engineering: a family-based software development process
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Applying software product line techniques in model-based embedded systems engineering
MOMPES '09 Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Formal Verification of Avionics Software Products
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Adopting software product line principles to manage software variants in a complex avionics system
Proceedings of the 13th International Software Product Line Conference
Usage context as key driver for feature selection
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Development of high-integrity software product lines using model transformation
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Validation and certification of safety-critical embedded systems: the DECOS test bench
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
A safety case approach to assuring configurable architectures of safety-critical product lines
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Incorporating certification in feature modelling of an unmanned aerial vehicle product line
Proceedings of the 16th International Software Product Line Conference - Volume 1
Incorporating certification in feature modelling of an unmanned aerial vehicle product line
Proceedings of the 16th International Software Product Line Conference - Volume 1
Hi-index | 0.00 |
Software Product Line Engineering (SPLE) is a software development paradigm that aims at reducing the development effort and shorting time-to-market through systematic software reuse. While this paradigm has been successfully applied for the development of embedded systems in various domains, new challenges have emerged from the development of safety critical systems that require certification against a specific standard. Existing SPLE approaches do not explicitly consider the various certification standards or levels that products should satisfy. In this paper, we focus on several practical issues involved in the SPLE process, establishing an infrastructure of a product line engineering for certified products. A metamodel is proposed to capture the entities involved in SPL certification and the relationships among them. ProLiCES, which is a model-driven process for the development of SPLs, was modified to serve as an example of our approach, in the context of the UAV (Unmanned Aerial Vehicle) domain.