GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
GNAT Pro User Day: AdaCore University
-
Upload
adacore -
Category
Technology
-
view
743 -
download
3
description
Transcript of GNAT Pro User Day: AdaCore University
The Ada MarketCommercial / Military Avionics
Rail Transportation
Space Domain
Defence
Energy: UPS | Oil & Gas
Automotive Industry
Security Critical | Data Encryption | Financial Systems
[…]
Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training
Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training
GNAT GPL
Grass roots
Open Source tools available for hobbyists & students
libre.adacore.com
ARM bare board support in 2014 edition
Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training
GAP
GNAT Academic Program
Over 200 members across 34 countries
Objective: To support and increase the use of Ada in Academic environments
Delivery of Ada/SPARK presentations, webinars & lessons
Access to tools & support
GAP
GNAT Academic Program
Over 200 members across 34 countries
Objective: To support and increase the use of Ada in Academic environments
Delivery of Ada/SPARK presentations, webinars & lessons
Access to tools & support
Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training
AdaCore University
AdaCore University is the platform for self-education on Ada and related technologies.
AdaCore University
Ada 001 – Overview
Ada 002 – Basic concepts
Ada 003 – Programming in the large
Ada 004 – Mixed language programming
Roadmap
Cover all aspects of Ada 2012
Advanced concepts | architecture | concurrency | real time | object orientation | contracts
SPARK 2014
Introductory courses
Spreading the Ada know-how
GNAT GPL
GAP (GNAT Academic Program)
AdaCore University
Professional Training
Training
Ada | SPARK 2014 | Tools
Professional on-site training
Public training courses
Ada, SPARK & GNAT technology experts