Validation of COTS Ada Compiler for Safety-Critical Applications

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.