GNAT Pro User Day: AdaCore Insights

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