9:00 am - 9:30 am
Welcome and Roadmap (slides)
This talk will introduce AdaCore and highlight the company’s current and planned product and service offerings.
9:30 am - 9:50 am
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 (slides)
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 (slides)
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
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 (slides)
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.