Conclusion and outlook

This article presented the general problem of certification from the point of view of the authorities, and gave an overview of industrial practices in various fields of activity (automotive, health, aeronautics, military...). It then dealt more specifically with the development of mission-critical software in the field of avionics. In particular, he highlighted the difficulties encountered by companies, and put into perspective some possible avenues for improvement through model-driven engineering and agile methods, both of which can of course be considered as complementary.

Some agile principles, and their interpretation, are not entirely compatible with a certification process. However, several industrial initiatives have recently experimented with introducing agility into the development process. The results of these initiatives have demonstrated that these new...