Simplification of Certification Effort
You can restrict language features that, although not requiring a run-time library, nevertheless could complicate the test coverage analysis part of the certification effort. For example, you can prohibit the use of constructs that would result in code with implicit loops and conditionals (such as a slice assignment).
Advanced Static Analysis
The GNATstack static analysis tool is supplied with this edition. GNATstack statically calculates the maximum stack space required by each task in an application. The computed bounds can be used to ensure that sufficient space is reserved, thus guaranteeing safe, predictable execution with respect to stack usage. GNATstack uses conservative analysis to deal with complexities such as subprogram recursion, while avoiding unnecessarily pessimistic estimates. The tool's output data can be used directly to satisfy DO-178B / DO-178BC requirements (Table A-5, Objective 6, which relates to the Accuracy and consistency issues itemized in Section 6.3.4f) and the associated sections from DO-278 for native safety systems.
For additional kinds of advanced static analysis of your Safety-Critical Ada code, our CodePeer toolset is recommended.
More about GNATstack »
More about CodePeer»
Safety-Critical Support and Expertise
At the heart of every AdaCore subscription are the consulting and support services we provide to our customers. AdaCore staff are recognized experts on the Ada language, certification, compilation technologies and static and dynamic verification. They have a strong experience in supporting customers in avionics, railway, energy, space, air traffic management and military projects.
Every piece of technology provided by AdaCore comes with first-hand support provided directly by these experts, who are also the developers of the technology. This ensures that customers' questions (requests for advice, technology enhancements or bug reports) are handled efficiently and effectively.
On top of this bundled support, AdaCore provides training on language and/or tools, as well as on- site consulting to help deploy the technology and provide additional help in case of start-up issues. On-demand tool development or ports to new platforms complete the service offer. More about our Frontline Support »