Mentorship includes training sessions that provide your developers with a fundamental understanding of our technology. This training is customized to your team and project and is provided when needed. Topics can include Programming Languages, Using Proofs and Proof Technologies, and Tool Usage. See this page for more detail on our training offer.
Additional support follow-up by the mentor
AdaCore’s on-line support is provided directly by the technology developers themselves. Your team will receive the same high level of support as customers under a standard product subscription. In addition, the AdaCore mentor can assist on ticket submission, including help in preparing reproducers or code samples.
A proof of concept or prototyping migration from C to Ada and SPARK (3 to 12 months)
The Ada and SPARK languages are relatively easy to learn for an embedded C developer. To take full advantage of the technology, however, programming patterns and development methodologies must be adapted. The AdaCore mentor is a senior software developer who will be tasked to understand the context of your project and work with your team to develop the first pieces of code in Ada and SPARK. He or she will also contribute to the design and verification activities.
Deploying and optimizing CodePeer in an existing workflow (1 to 2 months)
Integrating a static analysis tool such as CodePeer into an existing workflow raises several questions, such as:
- Which error or warning messages should be taken into account?
- At which level should the tool be configured?
- When should reviews be conducted?
- How should potential errors be analyzed and repaired?
- How should the tool be integrated into the team workflow?
The answers to those questions depend on the context and what you are trying to achieve. The AdaCore mentor will help with tool configuration and integration, allowing you to get the best results and benefits.
Migration to GNAT Pro from another Ada compiler (2 to 4 months)
Although Ada is a very portable language, every Ada compiler has vendor-specific behavior and extensions that are allowed by the standard (pragmas, attributes, elaboration order, etc.). Migrating from a different vendor to GNAT Pro may thus require some source code adaptation. The AdaCore mentor will be able to leverage our in-house expertise to help solve potential migration issues.