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 safety-critical 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.

许多行业使用对安全至关重要的系统和软件，其故障可能导致人员伤亡。本文研究了安全关键软件的开发和认证，重点是航空电子行业。它突出显示了公司在证明符合认证要求时遇到的问题，并指出了当前的行业惯例。它表明了在软件开发过程中紧密和持续集成认证要求的兴趣和重要性。它强调了行业的最新趋势，该趋势包括从敏捷原则中汲取灵感，以确保尽早满足适用于软件开发的认证要求。