AdaCore have announced the availability of the GNAT pro traceability analysis package. The GNAT pro traceability analysis package, available from Dedicated Systems Australia , comprises an Ada language feature analysis, including test cases and GNAT pro switch recommendations, which can help developers to demonstrate compliance of safety-critical software with the DO-178B avionics standard.
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 the 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.
According to AdaCore, the GNAT pro traceability analysis package uses the Ada programming language and the GNAT pro technology to provide accurate source-to-object code traceability analysis. AdaCore observe that the GNAT pro traceability analysis package allows developers to use richer subsets of AdaCore while reducing certification costs.
Although the code compiled for a sophisticated feature might not be directly traceable to the source program construct, the analyses supplied in the package provide the additional verification needed for compliance with DO-178B, level A. The result is an overall reduction of effort and better usage of AdaCore language features.
The GNAT pro traceability analysis package includes the following items, which AdaCore prepares based on a safety-oriented coding standard supplied by the customer:
- 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 AdaCore 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 the source code
The GNAT pro traceability analysis package is an addition to AdaCore’s existing GNAT pro high-integrity edition for DO-178B. This environment includes GNATcheck, a coding standard verification tool. With GNATcheck developers can enforce the specified coding standard or language subset covered by the traceability analysis package.
Along with their partners, AdaCore are involved in ‘Project coverage,’ an open source code coverage project for DO-178B and safety-critical systems. Project coverage will produce a free software coverage analysis toolset together with artifacts that allow the tools to be used by developers of safety-critical and mission-critical projects, including systems that need to be certified under safety standards such as DO-178B. Project Coverage participants are AdaCore, Open Wide, ENST and LIP6 with financial support from French public funds.