GNAT Pro User Day: AdaCore Insights
-
Upload
adacore -
Category
Technology
-
view
725 -
download
4
description
Transcript of GNAT Pro User Day: AdaCore Insights
![Page 1: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/1.jpg)
AdaCore Insights
Michaël FriessPresented by
![Page 2: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/2.jpg)
![Page 3: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/3.jpg)
20 Years ofContinuous Innovation
Open Source
![Page 4: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/4.jpg)
Toolset Evolution
GNATdashboard
GNATdoc
GNATcoverage
Research
AdaCore/Customer Funding
New FeaturesEnhancements
![Page 5: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/5.jpg)
Introducing the LabCom
![Page 6: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/6.jpg)
20 Years ofContinuous Innovation
Open SourceSupport for the Development of Critical Systems
![Page 7: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/7.jpg)
New Milestones in the Certification World
Sustained Branch Subscription Qualification Material for CodePeerEN 50128 (railway) Certificate for
Ravenscar Run-Time
![Page 8: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/8.jpg)
![Page 9: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/9.jpg)
![Page 10: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/10.jpg)
ISO 9001:2008Compliant
![Page 11: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/11.jpg)
Certification PedigreeRailway 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
-Tim
esTo
ols
Ravenscar Minimal
(PowerPC bareboard)
Ravenscar SFP
(ERC32, LEON2, LEON3 bareboard)
Coding Standard Checker (GNATcheck)
Code Coverage (GNATcoverage)
Run-Time Error Detection (CodePeer)
Avionics
Cert
(PowerPC VxWorks 653)
Oth
er Traceability Study
(on medium and high optimization)
![Page 12: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/12.jpg)
20 Years of
Ada Commitment
Continuous Innovation
Open SourceSupport for the Development of Critical Systems
![Page 13: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/13.jpg)
Libre Website
Public Training
Partners(here today)
Ada Evolution (ARG)
Ada Support
Professional Products
GNAT GPL
SW Engineering Partnership
…GAP
![Page 14: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/14.jpg)
AdaCore Software Engineering Partnership
![Page 15: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/15.jpg)
20 Years of
Passion
Ada Commitment
Continuous Innovation
Open Source
Collaborative Relationships with
You
Support for the Development of Critical Systems
![Page 16: GNAT Pro User Day: AdaCore Insights](https://reader034.fdocuments.us/reader034/viewer/2022051323/547ea647b47959b1508b4b96/html5/thumbnails/16.jpg)
Thank You For Joining Us!
AdaCore