GNAT Pro Releases and Wavefronts in 40 Characters

•Descargar como PPTX, PDF•

0 recomendaciones•5,464 vistas

AdaCore

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

Tecnología

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

Más contenido relacionado

La actualidad más candente

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

La actualidad más candente (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

Destacado

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

Destacado (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

Similar a GNAT Pro Releases and Wavefronts in 40 Characters

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

Similar a GNAT Pro Releases and Wavefronts in 40 Characters (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

Más de 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

Más de 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

Último

New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024BookNet Canada

DMCC Future of Trade Web3 - Special EditionDubai Multi Commodity Centre

The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptxLoriGlavin3

DevEX - reference for building teams, processes, and platformsSergiu Bodiu

Dev Dives: Streamline document processing with UiPath Studio WebUiPathCommunity

Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptxLoriGlavin3

TeamStation AI System Report LATAM IT Salaries 2024Lonnie McRorey

Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada

DevoxxFR 2024 Reproducible Builds with Apache MavenHervé Boutemy

SAP Build Work Zone - Overview L2-L3.pptxNavinnSomaal

Digital Identity is Under Attack: FIDO Paris Seminar.pptxLoriGlavin3

Are Multi-Cloud and Serverless Good or Bad?Mattias Andersson

Advanced Computer Architecture – An IntroductionDilum Bandara

Take control of your SAP testing with UiPath Test SuiteDianaGray10

Connect Wave/ connectwave Pitch Deck PresentationSlibray Presentation

"ML in Production",Oleksandr BaganFwdays

Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Mark Simos

The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptxLoriGlavin3

What's New in Teams Calling, Meetings and Devices March 2024Stephanie Beckett

"Debugging python applications inside k8s environment", Andrii SoldatenkoFwdays

GNAT Pro Releases and Wavefronts in 40 Characters

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

GNAT Pro Releases and Wavefronts in 40 Characters

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Destacado

Destacado (20)

Similar a GNAT Pro Releases and Wavefronts in 40 Characters

Similar a GNAT Pro Releases and Wavefronts in 40 Characters (20)

Más de AdaCore

Más de AdaCore (20)

Último

Último (20)

GNAT Pro Releases and Wavefronts in 40 Characters