AdaCore

As software becomes more complex, the chances of human error greatly increase, opening up potential for security and safety risks. NVIDIA is working with AdaCore to implement Ada and SPARK programming languages into certain firmware elements to reduce this potential error. In this webinar you will learn how the combination …

Hosted by Rob Tice, Lead Technical Account Manager for AdaCore. This webinar will present the present and future of the GNATPro toolsuite’s collection of tools and utilities for Ada, C, and C++ development. We will discuss AdaCore’s tool roadmap and demo the suite of tools you have access to right …

Hosted by Rob Tice, Lead Technical Account Manager for AdaCore. CodePeer is AdaCore’s tool solution for your advanced static analysis needs. CodePeer is more than a simple linter, it is capable of finding potential safety and security vulnerabilities in legacy and actively developed code bases. We will demo CodePeer and …

A look at a few of the things people have made with Ada. Make something yourself in the competition at http://makewithada.org/

Presented by Raphaël Amiard, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-2-1-2-Amiard- Ada_SPARK_Community.pptx

Presented by Michelle Ricardo, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-1-4-2-Ricardo- Technology_Adoption_Services.pptx

Presented by Jamie Ayre, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-1-2-2-Ayre- Market_Perspective.pptx

Presented by Quentin Ochem, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-1-3-2-Ochem- GPU.pptx

Presented by Nico Setton, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-1-3-3-Setton- Integrating_GPS_into_Your_Workflow.pptx

Presented by Yannick Moy at Embedded World 2019

Presented by Patrick Rogers, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-2-1-1-Rogers- Why_Switch_To_Latest_Ada.pptx

Presented by Robert Tice, Technical Account Manager, AdaCore November 14, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-RobertTice.pptx

Presented by Ben Brosgol, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-2-1-4-brosgol- face.pptx

Presented by Arnaud Charlet November 14, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-1-4-3-Charlet- CodePeer_Update.pptx

Presented by Yannick Moy, AdaCore November 14, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-1-4-1-Moy- Cyber_Security.pptx

Presented by Raphaël Amiard, AdaCore November 15, 2018 Slides from presentation available here: https://www.adacore.com/uploads/page_content/presentations/TechDaysUS2018-2-1-3-Amiard- Libadalang_Update.pptx

 [Ada Java lunar lander demo](http://www.youtube.com/watch?v=5X9lJjXCNSk&feature=youtube_gdata) This video shows an example mixed-language application. The application is a modified version of the Lunar Lander demonstrator, with Ada now used to calculat... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 46      1 ratings Time: 02:36 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [Managing Avionics Safety Certification in UAS Platforms](http://www.youtube.com/watch?v=7wiFX9x19bg&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 115      2 ratings Time: 01:02:02 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [Managing Avionics Safety Certification in UAS Platforms](http://www.youtube.com/watch?v=7wiFX9x19bg&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 60      1 ratings Time: 01:02:02 More in [Science & Technology](http://www.youtube.com/videos?c=28)