Depending on the application’s criticality level, DO-178B demands varying depths of analysis for showing coverage of the requirements by the software. In general it is sufficient to demonstrate coverage based on the source code. However, at the highest level (DO-178B, Level A), if the compiler generates object code not directly traceable to source code, then the developer needs to perform additional verification on the object code to establish the correctness of such generated code. The GNAT Pro Traceability Analysis Package provides a product/services solution that can reduce this effort.

The GNAT Pro Traceability Analysis Package includes the following items, which AdaCore prepares based on a safety-oriented coding standard supplied by the customer:

Key Features

• Consistency analysis of the coding standard
• Recommendations for those compilation switches and language restrictions offering the best tradeoff between performance of generated code and ease of showing traceability between source and object code
• A test suite representative of the subset of the Ada language allowed by the customer’s coding standard
• The analysis, for each test, of the traceability of the generated object code
• Additional verification to establish the correctness of generated code that is not directly traceable to source code.

Platforms

For the most up-to-date information on available platforms please contact us at: sales@adacore.com