2. Requirements repository for certification of embedded software in aeronautics

Companies seeking to comply with existing regulations should take into consideration the numerous best practice guides and normative recommendations, which are the result of a consensus within the aviation community and contain shared best practices.

The DO-178C/ED12C standard is generally the benchmark for embedded software development in the aerospace industry. It defines five levels of software criticality called DAL (Development Assurance Level), ranging from A (most critical) to E (least critical). The closer the DAL level is to A, the greater the number of requirements.

DO-178C/ED12C also specifies the technical activities of the development process and the verification activities designed to detect errors in a preventive manner. It describes the steps required to demonstrate that the software correctly implements the expected functions....