GNAT Pro User Day: AdaCore Insights
0 likes5,333 views
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.
GNAT Pro User Day: AdaCore Insights
- 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
- 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
- 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