GNAT Pro User Day: Ada Factory

•Als PPTX, PDF herunterladen•

0 gefällt mir•5,464 views

AdaCore

A presentation from GNAT Pro User Day about AdaCore's internal development and release process.

Technologie

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

Empfohlen

GNAT Pro User Day: GNATdashboard - Tracking and Improving Software QualityAdaCore

GNAT Pro User Day: Latest Advances in AdaCore Static Analysis ToolsAdaCore

GNAT Pro User Day: Ada at Ansaldo STSAdaCore

GNAT Pro User Day: AdaCore InsightsAdaCore

GNAT Pro User Day: QGen: Simulink® static verification and code generationAdaCore

GNATdashboardAdaCore

LCU14 310- Cisco ODP v2Linaro

SFO15-102:ODP Project UpdateLinaro

Empfohlen

GNAT Pro User Day: GNATdashboard - Tracking and Improving Software QualityAdaCore

GNAT Pro User Day: Latest Advances in AdaCore Static Analysis ToolsAdaCore

GNAT Pro User Day: Ada at Ansaldo STSAdaCore

GNAT Pro User Day: AdaCore InsightsAdaCore

GNAT Pro User Day: QGen: Simulink® static verification and code generationAdaCore

GNATdashboardAdaCore

LCU14 310- Cisco ODP v2Linaro

SFO15-102:ODP Project UpdateLinaro

HKG15-110: ODP Project UpdateLinaro

THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.ioDevOpsDays Tel Aviv

HKG15-301: OVS implemented via ODP & vendor SDKsLinaro

Project P Open Workshopmatteobordinadacore

Tech Days 2015: Ada 2012 and Spark Crazyflie and Railway DemoAdaCore

Sci scada toolboxAwesomejk

ARB_gl_spirv: bringing SPIR-V to Mesa OpenGL (FOSDEM 2018)Igalia

.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...NETFest

GWT and Angular - Relatives or FoesGlobalLogic Ukraine

Kubernetes vs dockers swarm supporting onap oom on multi-cloud multi-stack en...Arthur Berezin

ScilabTEC 2015 - Noesis SolutionsScilab

Production Ready Services at NetflixJonah Horowitz

ScilabTEC 2015 - EvidenceScilab

Callgraph analysisRoberto Agostino Vitillo

Asterisk 11to16, What could go wrongJöran Vinzens

Advanced technologies and techniques for debugging HPC applicationsRogue Wave Software

Flink Forward San Francisco 2018: Andrew Gao & Jeff Sharpe - "Finding Bad Ac...Flink Forward

Build and Host Real-world Machine Learning Services from Scratch @ pycontw2019 Chun-Yu Tseng

Continuous Delivery with Spinnaker.ioMartin Roderus

OpenInfraDays2019 Mastering Openstack the DevOps wayscott liao

GNAT Pro User Day: New and Upcoming Developments in the AdaCore TechnologyAdaCore

GNAT Pro User Day: GNATdoc: Automatic Documentation GeneratorAdaCore

Weitere ähnliche Inhalte

Was ist angesagt?

HKG15-110: ODP Project UpdateLinaro

THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.ioDevOpsDays Tel Aviv

HKG15-301: OVS implemented via ODP & vendor SDKsLinaro

Project P Open Workshopmatteobordinadacore

Tech Days 2015: Ada 2012 and Spark Crazyflie and Railway DemoAdaCore

Sci scada toolboxAwesomejk

ARB_gl_spirv: bringing SPIR-V to Mesa OpenGL (FOSDEM 2018)Igalia

.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...NETFest

GWT and Angular - Relatives or FoesGlobalLogic Ukraine

Kubernetes vs dockers swarm supporting onap oom on multi-cloud multi-stack en...Arthur Berezin

ScilabTEC 2015 - Noesis SolutionsScilab

Production Ready Services at NetflixJonah Horowitz

ScilabTEC 2015 - EvidenceScilab

Callgraph analysisRoberto Agostino Vitillo

Asterisk 11to16, What could go wrongJöran Vinzens

Advanced technologies and techniques for debugging HPC applicationsRogue Wave Software

Flink Forward San Francisco 2018: Andrew Gao & Jeff Sharpe - "Finding Bad Ac...Flink Forward

Build and Host Real-world Machine Learning Services from Scratch @ pycontw2019 Chun-Yu Tseng

Continuous Delivery with Spinnaker.ioMartin Roderus

OpenInfraDays2019 Mastering Openstack the DevOps wayscott liao

Was ist angesagt? (20)

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

Andere mochten auch

GNAT Pro User Day: New and Upcoming Developments in the AdaCore TechnologyAdaCore

GNAT Pro User Day: GNATdoc: Automatic Documentation GeneratorAdaCore

Ada 2012AdaCore

GNAT Pro User Day: AdaCore UniversityAdaCore

GNAT Pro User Day: Ada 2012, Ravenscar and SPARK running on an Atmel ARM M4 (...AdaCore

GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...AdaCore

GNAT Pro User Day: VISIUM™ and AdaAdaCore

GNAT GPL For MindstormsAdaCore

Euclid open network - Project Work at #sds2013Guglielmo Apolloni

Ada 95 - Programming in the largeGneuromante canalada.org

OopJun-jun Lagman

Rails Girls Cluj: Programming in the real worldMircea Mare

Ada Lovelace Day - 200 anosTania Andrea

Entrevista exclusiva tim berners leeAlexandre Grolla

ADA programming languageAisha Kalsoom

Ada Seminar — An Introduction to AdaAdrian Hoe

Euclid and his contribution in development of mathAkshay Kumar

High performance fibresA S M AHASANUL KABIR

Evolution of Programming LanguagesSayanee Basu

Ada 2012Justo Raúl Venereo Gutierrez

Andere mochten auch (20)

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

Oop

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

Ada 2012

Ähnlich wie GNAT Pro User Day: Ada Factory

AdaCore Paris Tech Day 2016: Arnaud Chalet - GNAT Pro Roadmapjamieayre

Building the Ultimate Device MatrixCarly Vanderwert

The tools & technologies behind Resin.ioGreeceJS

Board Design and System SoftwareeInfochips (An Arrow Company)

AdaCore Paris Tech Day 2016: Cyrille Comar - Looking Aheadjamieayre

Web e device in real time con asp.net Signal RLuca Zulian

Tech Days 2015: Embedded Product UpdateAdaCore

Modern Web-site Development PipelineGlobalLogic Ukraine

Continuous Deployment into the Unknown with Artifactory, Bintray, Docker and ...Gilad Garon

It's Time to ROCm!inside-BigData.com

A2 e overviewDrew Traver

Kiss.ts - The Keep It Simple Software Stack for 2017++Ethan Ram

Hands on Java8 and RaspberryPiPance Cavkovski

DevOpsCon 2015 - DevOps in Mobile GamesAndreas Katzig

Benefits of an Open environment with WakandaAlexandre Morgaut

HD CCTV -Arecont Exacq Pivot3.pptPawachMetharattanara

"OpenCV for Embedded: Lessons Learned," a Presentation from itseezEdge AI and Vision Alliance

Asynchrone Echtzeitanwendungen für SharePoint mit SignalR und knockout.jsChristian Heindel

Radiumboards- Complete Solution for Digital Security and Surveillance (DSS) I...RadiumBoards

321 codeincontainer brewboxLino Telera

Ähnlich wie GNAT Pro User Day: Ada Factory (20)

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

Mehr von AdaCore

RCA OCORA: Safe Computing Platform using open standardsAdaCore

Have we a Human Ecosystem?AdaCore

Rust and the coming age of high integrity languagesAdaCore

SPARKNaCl: A verified, fast cryptographic libraryAdaCore

Developing Future High Integrity Processing SolutionsAdaCore

Taming event-driven software via formal verificationAdaCore

Pushing the Boundary of Mostly Automatic Program ProofAdaCore

RCA OCORA: Safe Computing Platform using open standardsAdaCore

Product Lines and Ecosystems: from customization to configurationAdaCore

Securing the Future of Safety and Security of Embedded SoftwareAdaCore

Spark / Ada for Safe and Secure Firmware DevelopmentAdaCore

Introducing the HICLASS Research Programme - Enabling Development of Complex ...AdaCore

The Future of Aerospace – More Software Please!AdaCore

Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaCore

Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...AdaCore

Software Engineering for Robotics - The RoboStar TechnologyAdaCore

MISRA C in an ISO 26262 contextAdaCore

Application of theorem proving for safety-critical vehicle softwareAdaCore

The Application of Formal Methods to Railway Signalling SoftwareAdaCore

Bounded Model Checking for C Programs in an Enterprise EnvironmentAdaCore

Mehr von AdaCore (20)

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

Kürzlich hochgeladen

What Are The Drone Anti-jamming Systems Technology?Antenna Manufacturer Coco

EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEarley Information Science

Boost PC performance: How more available memory can improve productivityPrincipled Technologies

Powerful Google developer tools for immediate impact! (2023-24 C)wesley chun

Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...apidays

Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...Miguel Araújo

08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls

🐬 The future of MySQL is Postgres 🐘RTylerCroy

Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024The Digital Insurer

Artificial Intelligence: Facts and MythsJoaquim Jorge

GenAI Risks & Security Meetup 01052024.pdflior mazor

How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes

Tech Trends Report 2024 Future Today Institute.pdfhans926745

Strategies for Landing an Oracle DBA Job as a FresherRemote DBA Services

08448380779 Call Girls In Greater Kailash - I Women Seeking MenDelhi Call girls

08448380779 Call Girls In Civil Lines Women Seeking MenDelhi Call girls

Data Cloud, More than a CDP by Matt RobisonAnna Loughnan Colquhoun

Presentation on how to chat with PDF using ChatGPT code interpreternaman860154

Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Igalia

Exploring the Future Potential of AI-Enabled Smartphone Processorsdebabhi2

Kürzlich hochgeladen (20)

What Are The Drone Anti-jamming Systems Technology?

EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx

Boost PC performance: How more available memory can improve productivity

Powerful Google developer tools for immediate impact! (2023-24 C)

Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...

Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...

08448380779 Call Girls In Diplomatic Enclave Women Seeking Men

🐬 The future of MySQL is Postgres 🐘

Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024

Artificial Intelligence: Facts and Myths

GenAI Risks & Security Meetup 01052024.pdf

How to Troubleshoot Apps for the Modern Connected Worker

Tech Trends Report 2024 Future Today Institute.pdf

Strategies for Landing an Oracle DBA Job as a Fresher

08448380779 Call Girls In Greater Kailash - I Women Seeking Men

08448380779 Call Girls In Civil Lines Women Seeking Men

Data Cloud, More than a CDP by Matt Robison

Presentation on how to chat with PDF using ChatGPT code interpreter

Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...

Exploring the Future Potential of AI-Enabled Smartphone Processors

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

9. Questions