Portuguese abstract: Este artigo apresenta a ProLiCES, uma abordagem para o desenvolvimento de sistemas embarcados críticos, bem como seu uso no desenvolvimento de uma linha de produtos para veículos aéreos não tripulados (VANT). A motivação para a ProLiCES surgiu em decorrência do desenvolvimento do Tiriba, que é uma família de aeronaves não tripuladas de pequeno porte, movidas a eletricidade. A maioria dos artefatos produzidos para o Tiriba exigiram modificações para torná-los reutilizáveis em um projeto mais complexo, o SarVANT, que terá que acomodar várias novas features que incrementam as variabilidades dos produtos finais. No projeto Tiriba, uma abordagem metodológica chamada SAFE-CRITES tinha sido desenvolvida e testada. Atenção especial já havia sido dispensada ao aspecto de reúso de software, baseado em desenvolvimento dirigido a modelos e geração automática de código. O processo de certificação, baseado no padrão DO-178B, também tem sido uma preocupação. A ProLiCEs estende a SAFE-CRITES para integrar a engenharia de linha de produtos ao processo de desenvolvimento, com o objetivo de aumentar o reúso de software. A extensão proposta neste artigo foi realizada criando-se atividades adicionais no processo para lidar com a engenharia de domínios da linha de produtos.A ProLiCES está sendo utilizada atualmente no projeto SARVant, no qual VANTs de maior complexidade serão produzidos, com estimativa de entrega em dois anos.

Abstract This paper presents ProLiCES, an approach for the development of safety-critical embedded applications and its usage to develop a product line for unmanned aerial vehicles (UAV). The motivation of ProLiCES emerged after the development of Tiriba, a family of small, electric-powered unmanned aircraft. Most software artifacts produced for Tiriba required modifications to be reused in a more complex project, the SARVANT, which has to accommodate several new features that increase the variability of the end products. In the Tiriba project, a methodological approach, named SAFE-CRITES, was defined and used. Special care was taken about software reuse, based on Model Driven Development and automatic code generation. The certification process, based on the DO-178B standard, was also taken into account. ProLiCEs extends SAFE-CRITES to integrate Product Line Engineering into the development process, aiming better software reuse. This extension was done by creating a second parallel path to the process, dealing with the Product Line Domain Engineering. ProLiCES is being currently used in the SARVANT project, which will deliver a much more complex UAV and is estimated to be deployed in two years.