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).
Through a compiler switch you can generate a low-level version of the source program that reveals implementation decisions but stays basically machine independent. This helps support traceability requirements, and may be used as a reference point for verifying that the object code matches the source code. Another compiler switch produces details of data representation (sizes, record layout, etc.), which is also helpful in traceability.
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 »