The document discusses AdaCore's 20 years of innovation in supporting the development of critical systems. It highlights AdaCore's open source and commercial tools like GNAT, GNATcheck, GNATmetric, GNATtest, GNATcoverage, GNATprove, and CodePeer. It also notes AdaCore's certification pedigree in industries like railway, space, and avionics, as well as their commitment to continuous innovation, open source, and collaborative relationships with customers.

1. AdaCore Insights
Michaël Friess
Presented by

3. 20 Years of
Continuous Innovation
Open Source

4. Toolset Evolution
GNATdashboard
GNATdoc
GNATcoverage
Research
AdaCore/Customer Funding
New Features
Enhancements

5. Introducing the LabCom

6. 20 Years of
Continuous Innovation
Open Source
Support for the Development of Critical Systems

7. New Milestones in the Certification World
Sustained Branch Subscription
Qualification Material for CodePeer
EN 50128 (railway) Certificatefor Ravenscar Run-Time

10. ISO 9001:2008Compliant

11. Certification Pedigree
Railway
Space
Compiler (GNAT Pro)
Coding Standard Checker (GNATcheck)
Code Metrics (GNATmetric)
Testing Framework (GNATtest& AUnit)
Code Coverage (GNATcoverage)
Absence of RTE (GNATprove–SPARK Pro)
Data & Controls Flow Analysis (CodePeer)
Run-Times
Tools
RavenscarMinimal(PowerPC bareboard)
RavenscarSFP(ERC32, LEON2, LEON3 bareboard)
Coding Standard Checker (GNATcheck)
Code Coverage (GNATcoverage)
Run-Time Error Detection (CodePeer)
Avionics
Cert(PowerPC VxWorks653)
Other
Traceability Study
(on medium and high optimization)

12. 20 Years of
Ada Commitment
Continuous Innovation
Open Source
Support for the Development of Critical Systems

13. LibreWebsite
Public Training
Partners(here today)
Ada Evolution (ARG)
Ada Support
Professional Products
GNAT GPL
SW Engineering Partnership
…
GAP

14. AdaCore Software Engineering Partnership

15. 20 Years of
Passion
Ada Commitment
Continuous Innovation
Open Source
Collaborative Relationships with You
Support for the Development of Critical Systems

16. Thank You For Joining Us!
AdaCore