SlideShare a Scribd company logo
GNAT Pro User Day: Ada Factory
AdaCore Factory 
Presented by 
Nicolas Roche
GNAT Pro Releases 
• 60 platforms 
• 150 runtimes 
• Not just a compiler: 
• GNATBench, GPS 
• CodePeer, SPARK 
• GNATcoverage, 
GNATemulator, … 
• 3 releases/year
GNAT Pro Wavefronts 
Same as GNAT Releases 
Everyday
• Availability 
• Should work everyday 
• Handle customer Wavefronts requests (1/day) 
• Portability 
• Cross Environments, 
• Non Unix hosts and old Unix 
• Performance 
• Should fit in one day 
• Traceability 
Challenges
Architecture Overview 
Source 
Repositories 
Content 
Manager 
Server 
Monitor & 
Scheduler 
Server 
GNAT 
Tracker 
SERVICES 
send reports receive jobs 
Server Far 
m 
Continuous 
Builder 
Mailserver 
Nightly Build 
Customers 
publish 
sources and binaries p 
ackages 
monitor 
checkout
Architecture Notes 
AdaCore Internal Toolbox/Framework 
GNAT Pro 
7.0.x 
Specifications 
GNAT Pro 
7.2.x 
Specifications 
Wavefront 
Specifications
Technologies 
• Languages: Python, Ada, C, C++, Java, 
• Tool/Framework: GNATemulator, VxSim, psim, VxWorks, 
Django, 
• Homemade: Unix environment for Windows, Canadian 
compilation
Questions

More Related Content

PDF
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
PPTX
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
PDF
GNAT Pro User Day: Ada at Ansaldo STS
PDF
GNAT Pro User Day: AdaCore Insights
PPTX
GNAT Pro User Day: QGen: Simulink® static verification and code generation
PPTX
GNATdashboard
PDF
LCU14 310- Cisco ODP v2
PDF
SFO15-102:ODP Project Update
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
GNAT Pro User Day: Ada at Ansaldo STS
GNAT Pro User Day: AdaCore Insights
GNAT Pro User Day: QGen: Simulink® static verification and code generation
GNATdashboard
LCU14 310- Cisco ODP v2
SFO15-102:ODP Project Update

What's hot (20)

PDF
HKG15-110: ODP Project Update
PPTX
THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.io
PDF
HKG15-301: OVS implemented via ODP & vendor SDKs
PPTX
Project P Open Workshop
PPTX
Tech Days 2015: Ada 2012 and Spark Crazyflie and Railway Demo
PPT
Sci scada toolbox
PDF
ARB_gl_spirv: bringing SPIR-V to Mesa OpenGL (FOSDEM 2018)
PPTX
.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...
PPTX
GWT and Angular - Relatives or Foes
PDF
Kubernetes vs dockers swarm supporting onap oom on multi-cloud multi-stack en...
PDF
ScilabTEC 2015 - Noesis Solutions
PDF
Production Ready Services at Netflix
PDF
ScilabTEC 2015 - Evidence
PDF
Callgraph analysis
PDF
Asterisk 11to16, What could go wrong
PPTX
Advanced technologies and techniques for debugging HPC applications
PPTX
Flink Forward San Francisco 2018: Andrew Gao & Jeff Sharpe - "Finding Bad Ac...
PDF
Build and Host Real-world Machine Learning Services from Scratch @ pycontw2019
ODP
Continuous Delivery with Spinnaker.io
PDF
OpenInfraDays2019 Mastering Openstack the DevOps way
HKG15-110: ODP Project Update
THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.io
HKG15-301: OVS implemented via ODP & vendor SDKs
Project P Open Workshop
Tech Days 2015: Ada 2012 and Spark Crazyflie and Railway Demo
Sci scada toolbox
ARB_gl_spirv: bringing SPIR-V to Mesa OpenGL (FOSDEM 2018)
.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...
GWT and Angular - Relatives or Foes
Kubernetes vs dockers swarm supporting onap oom on multi-cloud multi-stack en...
ScilabTEC 2015 - Noesis Solutions
Production Ready Services at Netflix
ScilabTEC 2015 - Evidence
Callgraph analysis
Asterisk 11to16, What could go wrong
Advanced technologies and techniques for debugging HPC applications
Flink Forward San Francisco 2018: Andrew Gao & Jeff Sharpe - "Finding Bad Ac...
Build and Host Real-world Machine Learning Services from Scratch @ pycontw2019
Continuous Delivery with Spinnaker.io
OpenInfraDays2019 Mastering Openstack the DevOps way
Ad

Viewers also liked (20)

PDF
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
PPTX
GNAT Pro User Day: GNATdoc: Automatic Documentation Generator
PPTX
Ada 2012
PPTX
GNAT Pro User Day: AdaCore University
PPTX
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
PDF
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
PPTX
GNAT Pro User Day: VISIUM™ and Ada
PPT
GNAT GPL For Mindstorms
PDF
Euclid open network - Project Work at #sds2013
PDF
Ada 95 - Programming in the large
PDF
Rails Girls Cluj: Programming in the real world
PDF
Ada Lovelace Day - 200 anos
PDF
Entrevista exclusiva tim berners lee
PPTX
ADA programming language
PDF
Ada Seminar — An Introduction to Ada
PPTX
Euclid and his contribution in development of math
PDF
High performance fibres
KEY
Evolution of Programming Languages
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology
GNAT Pro User Day: GNATdoc: Automatic Documentation Generator
Ada 2012
GNAT Pro User Day: AdaCore University
GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...
GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...
GNAT Pro User Day: VISIUM™ and Ada
GNAT GPL For Mindstorms
Euclid open network - Project Work at #sds2013
Ada 95 - Programming in the large
Rails Girls Cluj: Programming in the real world
Ada Lovelace Day - 200 anos
Entrevista exclusiva tim berners lee
ADA programming language
Ada Seminar — An Introduction to Ada
Euclid and his contribution in development of math
High performance fibres
Evolution of Programming Languages
Ad

Similar to GNAT Pro User Day: Ada Factory (20)

PDF
AdaCore Paris Tech Day 2016: Arnaud Chalet - GNAT Pro Roadmap
PDF
Building the Ultimate Device Matrix
PDF
The tools & technologies behind Resin.io
PPTX
Board Design and System Software
PDF
AdaCore Paris Tech Day 2016: Cyrille Comar - Looking Ahead
PPTX
Web e device in real time con asp.net Signal R
PPTX
Tech Days 2015: Embedded Product Update
PPTX
Modern Web-site Development Pipeline
PPTX
Continuous Deployment into the Unknown with Artifactory, Bintray, Docker and ...
PDF
It's Time to ROCm!
PDF
A2 e overview
PPTX
Kiss.ts - The Keep It Simple Software Stack for 2017++
PPTX
Hands on Java8 and RaspberryPi
PDF
DevOpsCon 2015 - DevOps in Mobile Games
KEY
Benefits of an Open environment with Wakanda
PPT
HD CCTV -Arecont Exacq Pivot3.ppt
PDF
"OpenCV for Embedded: Lessons Learned," a Presentation from itseez
PPTX
Asynchrone Echtzeitanwendungen für SharePoint mit SignalR und knockout.js
PPSX
Radiumboards- Complete Solution for Digital Security and Surveillance (DSS) I...
PDF
321 codeincontainer brewbox
AdaCore Paris Tech Day 2016: Arnaud Chalet - GNAT Pro Roadmap
Building the Ultimate Device Matrix
The tools & technologies behind Resin.io
Board Design and System Software
AdaCore Paris Tech Day 2016: Cyrille Comar - Looking Ahead
Web e device in real time con asp.net Signal R
Tech Days 2015: Embedded Product Update
Modern Web-site Development Pipeline
Continuous Deployment into the Unknown with Artifactory, Bintray, Docker and ...
It's Time to ROCm!
A2 e overview
Kiss.ts - The Keep It Simple Software Stack for 2017++
Hands on Java8 and RaspberryPi
DevOpsCon 2015 - DevOps in Mobile Games
Benefits of an Open environment with Wakanda
HD CCTV -Arecont Exacq Pivot3.ppt
"OpenCV for Embedded: Lessons Learned," a Presentation from itseez
Asynchrone Echtzeitanwendungen für SharePoint mit SignalR und knockout.js
Radiumboards- Complete Solution for Digital Security and Surveillance (DSS) I...
321 codeincontainer brewbox

More from AdaCore (20)

PDF
RCA OCORA: Safe Computing Platform using open standards
PDF
Have we a Human Ecosystem?
PDF
Rust and the coming age of high integrity languages
PDF
SPARKNaCl: A verified, fast cryptographic library
PDF
Developing Future High Integrity Processing Solutions
PDF
Taming event-driven software via formal verification
PDF
Pushing the Boundary of Mostly Automatic Program Proof
PDF
RCA OCORA: Safe Computing Platform using open standards
PDF
Product Lines and Ecosystems: from customization to configuration
PDF
Securing the Future of Safety and Security of Embedded Software
PDF
Spark / Ada for Safe and Secure Firmware Development
PDF
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
PDF
The Future of Aerospace – More Software Please!
PDF
Adaptive AUTOSAR - The New AUTOSAR Architecture
PDF
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
PDF
Software Engineering for Robotics - The RoboStar Technology
PDF
MISRA C in an ISO 26262 context
PPTX
Application of theorem proving for safety-critical vehicle software
PDF
The Application of Formal Methods to Railway Signalling Software
PDF
Bounded Model Checking for C Programs in an Enterprise Environment
RCA OCORA: Safe Computing Platform using open standards
Have we a Human Ecosystem?
Rust and the coming age of high integrity languages
SPARKNaCl: A verified, fast cryptographic library
Developing Future High Integrity Processing Solutions
Taming event-driven software via formal verification
Pushing the Boundary of Mostly Automatic Program Proof
RCA OCORA: Safe Computing Platform using open standards
Product Lines and Ecosystems: from customization to configuration
Securing the Future of Safety and Security of Embedded Software
Spark / Ada for Safe and Secure Firmware Development
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
The Future of Aerospace – More Software Please!
Adaptive AUTOSAR - The New AUTOSAR Architecture
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Software Engineering for Robotics - The RoboStar Technology
MISRA C in an ISO 26262 context
Application of theorem proving for safety-critical vehicle software
The Application of Formal Methods to Railway Signalling Software
Bounded Model Checking for C Programs in an Enterprise Environment

Recently uploaded (20)

PDF
Reach Out and Touch Someone: Haptics and Empathic Computing
PPTX
Big Data Technologies - Introduction.pptx
PDF
A comparative analysis of optical character recognition models for extracting...
PPTX
Digital-Transformation-Roadmap-for-Companies.pptx
PPTX
20250228 LYD VKU AI Blended-Learning.pptx
PDF
Building Integrated photovoltaic BIPV_UPV.pdf
PDF
Mobile App Security Testing_ A Comprehensive Guide.pdf
PDF
Agricultural_Statistics_at_a_Glance_2022_0.pdf
PPTX
SOPHOS-XG Firewall Administrator PPT.pptx
PDF
Assigned Numbers - 2025 - Bluetooth® Document
PPTX
KOM of Painting work and Equipment Insulation REV00 update 25-dec.pptx
PDF
Electronic commerce courselecture one. Pdf
PPTX
1. Introduction to Computer Programming.pptx
PDF
Dropbox Q2 2025 Financial Results & Investor Presentation
PDF
TokAI - TikTok AI Agent : The First AI Application That Analyzes 10,000+ Vira...
PDF
gpt5_lecture_notes_comprehensive_20250812015547.pdf
PDF
Advanced methodologies resolving dimensionality complications for autism neur...
PDF
Per capita expenditure prediction using model stacking based on satellite ima...
PDF
Approach and Philosophy of On baking technology
PDF
Blue Purple Modern Animated Computer Science Presentation.pdf.pdf
Reach Out and Touch Someone: Haptics and Empathic Computing
Big Data Technologies - Introduction.pptx
A comparative analysis of optical character recognition models for extracting...
Digital-Transformation-Roadmap-for-Companies.pptx
20250228 LYD VKU AI Blended-Learning.pptx
Building Integrated photovoltaic BIPV_UPV.pdf
Mobile App Security Testing_ A Comprehensive Guide.pdf
Agricultural_Statistics_at_a_Glance_2022_0.pdf
SOPHOS-XG Firewall Administrator PPT.pptx
Assigned Numbers - 2025 - Bluetooth® Document
KOM of Painting work and Equipment Insulation REV00 update 25-dec.pptx
Electronic commerce courselecture one. Pdf
1. Introduction to Computer Programming.pptx
Dropbox Q2 2025 Financial Results & Investor Presentation
TokAI - TikTok AI Agent : The First AI Application That Analyzes 10,000+ Vira...
gpt5_lecture_notes_comprehensive_20250812015547.pdf
Advanced methodologies resolving dimensionality complications for autism neur...
Per capita expenditure prediction using model stacking based on satellite ima...
Approach and Philosophy of On baking technology
Blue Purple Modern Animated Computer Science Presentation.pdf.pdf

GNAT Pro User Day: Ada Factory

  • 2. AdaCore Factory Presented by Nicolas Roche
  • 3. GNAT Pro Releases • 60 platforms • 150 runtimes • Not just a compiler: • GNATBench, GPS • CodePeer, SPARK • GNATcoverage, GNATemulator, … • 3 releases/year
  • 4. GNAT Pro Wavefronts Same as GNAT Releases Everyday
  • 5. • Availability • Should work everyday • Handle customer Wavefronts requests (1/day) • Portability • Cross Environments, • Non Unix hosts and old Unix • Performance • Should fit in one day • Traceability Challenges
  • 6. Architecture Overview Source Repositories Content Manager Server Monitor & Scheduler Server GNAT Tracker SERVICES send reports receive jobs Server Far m Continuous Builder Mailserver Nightly Build Customers publish sources and binaries p ackages monitor checkout
  • 7. Architecture Notes AdaCore Internal Toolbox/Framework GNAT Pro 7.0.x Specifications GNAT Pro 7.2.x Specifications Wavefront Specifications
  • 8. Technologies • Languages: Python, Ada, C, C++, Java, • Tool/Framework: GNATemulator, VxSim, psim, VxWorks, Django, • Homemade: Unix environment for Windows, Canadian compilation