Upload
adacore
View
725
Download
4
Embed Size (px)
DESCRIPTION
A presentation from the GNAT Pro User Day highlighting AdaCore's 20 years of continuous innovation.
Citation preview
AdaCore Insights
Michaël FriessPresented by
20 Years ofContinuous Innovation
Open Source
Toolset Evolution
GNATdashboard
GNATdoc
GNATcoverage
Research
AdaCore/Customer Funding
New FeaturesEnhancements
Introducing the LabCom
20 Years ofContinuous Innovation
Open SourceSupport for the Development of Critical Systems
New Milestones in the Certification World
Sustained Branch Subscription Qualification Material for CodePeerEN 50128 (railway) Certificate for
Ravenscar Run-Time
ISO 9001:2008Compliant
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)
20 Years of
Ada Commitment
Continuous Innovation
Open SourceSupport for the Development of Critical Systems
Libre Website
Public Training
Partners(here today)
Ada Evolution (ARG)
Ada Support
Professional Products
GNAT GPL
SW Engineering Partnership
…GAP
AdaCore Software Engineering Partnership
20 Years of
Passion
Ada Commitment
Continuous Innovation
Open Source
Collaborative Relationships with
You
Support for the Development of Critical Systems
Thank You For Joining Us!
AdaCore