Techdays Alabama

May 9, 2019 — Huntsville, AL

AdaCore presents the latest news and provide technical roadmaps for the company's product offerings - GNAT Pro, CodePeer and SPARK Pro.


9:00 am - 9:30 am

Welcome and Roadmap 

This talk will introduce AdaCore and highlight the company’s current and planned product and service offerings.

9:30 am - 9:50 am

Future Airborne Capability Environment (FACE™) Support 

AdaCore is an active member of the FACE Consortium, a government/industry group focused on reducing system life cycle costs for airborne systems. This talk will discuss AdaCore’s FACE related activities and support, including certifiable run-time libraries that implement the FACE Technical Standard’s Ada Safety/Security capability sets.

9:50 am - 10:20 am — Break

10:20 - 11:00 am

Demo: GNAT Pro Toolsuite and Integrated Development Environment 

AdaCore’s GNAT Pro Ada Environment comes with an extensive set of development and verification tools. This session will demonstrate several and show how they integrate smoothly into the GNAT Programming Studio (GPS) IDE.

11:00 am - 11:25 am

C and C++ Products

This talk will cover AdaCore’s GNAT Pro offerings that support C and/or C++ development.

11:25 am - 12:00 pm

Demo: GNATtest and GNATcoverage 

This demo will focus on two verification tools: the GNATtest unit testing framework and the GNATcoverage code coverage analyzer. GNATcoverage is a non-intrusive analysis tool for Ada and/or C that can handle all levels of coverage up to and including MC/DC.

12:00 pm -1:30 pm — Lunch

1:30 pm - 2:10 pm

AdaCore Technologies for Cyber Security 

This talk will show how to use AdaCore’s verification tools to achieve security objectives such as detecting critical vulnerabilities listed in the MITRE Corporation’s Common Weakness Enumeration (CWE).

2:10 pm - 2:50 pm

Demo: CodePeer Advanced Static Analysis Tool 

CodePeer is AdaCore’s advanced static analysis tool for Ada; it can find a range of potential errors including references to uninitialized variables and unprotected concurrent access to shared data. This demo will show how to use CodePeer to detect such safety and security defects.

2:50 pm - 3:20 pm — Break

3:20 pm - 4:00 pm

Ada Coding Tips 

The Ada language and AdaCore’s GNAT Pro compiler have a number of useful capabilities that are not necessarily well known. This talk will explore several such “hidden gems” and show how they can help developers maintain/port existing code or produce new applications.

4:00 pm - 4:30 pm

"Open Mic" Session

This Q&A session is open to audience questions / comments on any aspect of the Ada language or AdaCore’s products.


If you would like to attend this event, please register by completing the form below. You can also contact us at if you have any questions or would like additional information.

The information above is collected by AdaCore for the purpose of organising the event. Please read our privacy policy if you want to know more about how we process your information and your rights.

Privacy Policy
Commercial contact

The Venue & Accomodations

The Westin Huntsville, 6800 Governors West, Huntsville, AL 35806

We'll be holding the event at The Westin Huntsville part of Marriott International on Thursday, May 9th.