The goal of the SAT project, coordinated by Thales Communications Belgium, is to develop new technologies for smarter aircraft systems. The project is composed of five parts. CETIC is coordinating the Certif_2 sub-project which aims to improve certification following the critical embedded software standards RTCA DO-178B (or 178C) and equipment (RTCA DO-254) systems. The focus of research is on incremental certification in a product line context using models-oriented techniques both in terms of process and variability modelling.
CETIC’s work is focused on coordination, requirements gathering, integration and validation of the Certif_2 sub-project. A process model of incremental certification was produced and articulated on three key aspects: a variability model, certification process workflow and safety objectives. A tool has been developed to effectively support the incremental certification process. It is deployable in both commercial and open source tool chains.
Certification costs for enforcing safety standards applicable in aeronautics are very high and can increase development costs by up to 150%. Moreover, this extra cost does not decrease when the system needs to be recertified to address the needs of new clients. The incremental process proposed will help Walloon companies to develop efficient reuse strategies and result in substantial savings, in turn improving competitiveness and providing better access to key markets.