Download type: Case study
To ensure that software developed for safety-critical systems is fit for purpose, every part of the development process needs to be evaluated. One critical element is the compiler, used to convert human-readable source code into object code.
While compilers for the Ada programming language are subject to a compiler conformity assessment, this assessment does not consider the suitability of the generated code for deployment to safety-related applications.
Learn how Rapita validated an Ada compiler, demonstrating that the code generated by it is suitable for deployment to safety-related applications.