Portal de Periódicos da CAPES

Capítulo de livro Produção Nacional Revisado por pares

BIBTEX RIS

Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems

2012; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-33678-2_30

1611-3349

Rosana Teresinha Vaccare Braga, Onofre Trindade, Kalinka Regina Castelo Branco, Luciano de Oliveira Neris, Jaejoon Lee,

Software Testing and Debugging Techniques

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.