GNAT Pro Traceability Analysis Package
The GNAT Pro Traceability Analysis Package, from AdaCore, helps developers demonstrate compliance of safety-critical software with the DO-178B avionics standard. The Traceability Analysis Package complements 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.
GNAT Pro Traceability Analysis Package
- 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
More info: AdaCore
Custom Search
EDA Blog Newsletter
Don't have time to visit EDA Blog everyday? Then sign up for our free newsletter. We'll send you an email when we have something to share with you. Your email address will be kept confidential and we will not share, sell, or rent it to anyone. You can unsubscribe at any time by clicking a link in the email.
If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.