Towards a continuous certification of safety-critical avionics software

Claude Baron (1) , Vincent Louis (2)

1 LAAS-ISI - Équipe Ingénierie Système et Intégration
2 DGA-TA - Direction générale de l'armement - Techniques aéronautiques

Many industries use safety-critical systems and software, the failure of which may result in the loss of human lives. This article investigates the development and certification of safetycritical software, with a focus on the avionics industry. It highlights the problems encountered in companies to demonstrate compliance with the certification requirements and indicates current industrial practices. It demonstrates the interest and importance of closely and continuously integrating certification requirements in the software development process. It underlines a very recent trend in industry that consists in taking inspiration from agile principles in order to ensure that certification requirements applicable to software development are met as early as possible. It presents some successful industrial experiments and concludes on practical lessons that could be transferred to other projects.

Mots clés: Agile development; development process; certification standards; avionics; safety-critical software engineering

Domaines: Intelligence artificielle [cs.AI]; Ingénierie, finance et science [cs.CE]; Systèmes embarqués; Ingénierie assistée par ordinateur; Modélisation et simulation; Performance et fiabilité [cs.PF]; Génie logiciel [cs.SE]; Systèmes et contrôle [cs.SY]

Claude Baron, Vincent Louis. Towards a continuous certification of safety-critical avionics software. Computers in Industry, 2021, 125, pp.103382. ⟨10.1016/j.compind.2020.103382⟩. ⟨hal-03093923⟩