AdaCore Blog

Jamie Ayre

Jamie Ayre

Jamie Ayre is Marketing Director of AdaCore. A confirmed practitioner of agile marketing techniques, he strongly believes in the impact social media can have on the corporate ecosystem and, in particular, the way it can reshape a company's relationship with key stakeholders. He is an active participant and animator of various communities that he comes into contact with both through his professional activities and personal interests. Through his work at AdaCore, he is also a strong supporter of Free Software and the positive influence the FLOSS community-driven development model has had on business practices.

4 entries written by Jamie Ayre

by Jamie Ayre

Welcoming New Members to the GNAT Pro Family

As we see the importance of software grow in applications, the quality of that software has become more and more important. Even outside the mission- and safety-critical arena customers are no longer accepting software failures (the famous blue screens of death, and there are many...). Ada has a very strong answer here and we are seeing more and more interest in using the language from a range of industries. It is for this reason that we have completed our product line by including an entry-level offer for C/C++ developers wanting to switch to Ada and reinforced our existing offer with GNAT Pro Assurance for programmers building the most robust software platforms with life cycles spanning decades.

#GNAT Pro    #Ada   

by Jamie Ayre

Verification on Ada code with Static and Dynamic Code Analysis - Webinar

One of the main challenges to get certification in Ada projects is the achievement of 100% code coverage but in most projects an amount of more than 95% structural coverage is hard to achieve. What can you do with the last 5% of code that can't be covered? DO-178C for example, provides a framework for the integration of various techniques in the development process to solve the problem. In this webinar you learn how static analysis and dynamic testing can help complete analysis for pieces of code that are not covered.

#CodePeer    #Code Coverage    #Dynamic Analysis    #Static Analysis    #DO-178    #DO-178C