AdaCore - Channel

AdaCore

AdaCore

This channel is dedicated to presenting videos produced by AdaCore, the leading provider of commercial, open software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are absolutely critical. Here you'll see videos on topics such as: The Ada programming language Open-Source and Free Software development Safety-Critical software development Lean and Agile software development The DO-178b, DO-178c certification standards

299 videos

Sort by views Sort by oldest Sorted by newest Sort by newest - no shorts

1:01:48

What’s New in GNAT Pro: Key Features and Roadmap

4:59

Life at AdaCore

2:35:40

Ada and SPARK for Academics Workshop 2024 | GNAT Academic Program

32:47

How to run Ada and SPARK code on NVIDIA GPUs and CUDA

1:11:52

High Integrity Technology Update | April 2024

48:42

Proving Software Security with SPARK Pro

39:16

Memory Safety with Formal Proof Webinar

46:05

Webinar | SPARK Pro for Embedded and Systems Programming

13:59

Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2023)

17:26

Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)

25:16

SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)

38:07

Real-Time Parallel Programming (AdaCore GAP Workshop June 21, 2023)

3:00

GAP Capstone Projects (AdaCore GAP Workshop June 21, 2023)Description:

19:41

Design and Implementation of a Networked, Embedded Oscilloscope (AdaCore GAP Workshop June 21, 2023)

24:14

Assertive Programming with SPARK (AdaCore GAP Workshop June 21, 2023)

0:50

adareducer at work

14:55

Unity & Ada

43:02

The Beauty of Epiphanies in the Learning of Concurrency (AdaCore GAP Workshop June 21, 2022)

39:19

SPARK/Ada in Formal Software System Modeling and Design (AdaCore GAP Workshop June 21, 2022)

19:22

Technical Update on Ada, SPARK, Libadalang, and VS Code (AdaCore GAP Workshop June 21, 2022)

37:34

Developing a Secure Programming Course (AdaCore GAP Workshop June 21, 2022)

32:08

Introducing Students to Formal Methods through SPARK (AdaCore GAP Workshop June 21, 2022)

17:27

Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2022)

2:31

GNAT Pro Assurance

26:06

Developing FACE™ conformant software in Ada — Tech Days 2021

17:56

Cost-effective Approach to Software Certification — Tech Days 2021

24:51

How auto code generation tools can help save time/money and streamline the certification process

18:49

Ada migration to Helix/VxWorks made simple — Tech Days 2021

25:54

Refactoring with confidence: A pattern-based approach built on top of LibAdaLang to save money

20:52

Meeting today’s Cybersecurity Challenges — Tech Days 2021

1:27

AdaCore: Helping People Build Software That Matters

5:24

Getting started with GNATtracker 3.0

16:21

Streamline Certification using QGen TQL-1 Qualifiable Auto Code Generator for Simulink®/Stateflow®

21:33

Engineering Self-Verified Software

15:10

Ada for the Embedded C Developer

12:01

Verifying FACE Conformance of Ada Non-OSS UoCs

1:00:11

How To Enable the Intelligent Edge for Critical Avionics Software

58:37

NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

5:58

Product Roadmap 2020 — GNAT Studio

12:33

Product Roadmap 2020 — CodePeer

11:19

Product Roadmap 2020 — SPARK

12:09

Product Roadmap 2020 — GNATcoverage

11:29

Product Roadmap 2020 — GNAT Pro

50:37

Confident Algorithms with Formal Proof Techniques

32:28

Using AdaCore's tools with VxWorks 653 3.x

10:08

Getting Started with GNATtest (Part 1)

23:56

SPARK and Ada Do Autonomy — AdaCore R&D project with the AFRL

22:32

AdaCore Support for Embedded C/C++

27:45

Ada Language Tips

34:26

Role of Design Languages and Tools in Building Secure Systems

41:53

QGen (Model Based Engineering) and SSI (Software-to-System Integrity) Roadmap

55:41

GNATPro Product Roadmap for 2019

25:33

AdaCore Technology For Cybersecurity

38:49

AdaCore Market Trends in 2019

13:23

AdaCore Fuzzing for Cybersecurity

21:36

Ada and SPARK Education and Community Resources

44:50

Beyond the boundaries of C: writing ASIL-4 software with verification-centric language

1:08:19

Meeting the Challenges of Large and Complex Multi Language Software Projects

57:16

The GNATPro Toolsuite Integrated Development Environment for Ada, C, and C++

58:25

CodePeer Webinar Demonstration — Advanced Static Analysis for Ada

0:30

Make with Ada Programming Competition Trailer

18:46

The Spark Ada Community

13:35

Technology Adoption Services — AdaCore Tech Days Boston 2018

24:23

Market Perspective

20:05

General Programming on Graphical Processing Units — AdaCore Tech Days Boston 2018

21:29

Integrating GPS into your Workflows — AdaCore Tech Days Boston 2018

10:40

A MISRA-C Developer’s Introduction to Program Proving in SPARK — Embedded World 2019

21:18

Why Switch to the Latest Version of Ada — AdaCore Tech Days Boston 2018

19:10

AdaCore's C and C++ Offering — AdaCore Tech Days Boston 2018

24:44

Future Airborne Capability Environment FACE Support — AdaCore Tech Days Boston 2018

33:08

CodePeer Update — AdaCore Tech Days Boston 2018

18:10

AdaCore Technologies for Cybersecurity — AdaCore Tech Days Boston 2018

19:33

Libadalang Update — AdaCore Tech Days Boston 2018

22:59

Covering CWE with Programming Languages and Tools — AdaCore Tech Days Boston 2018

44:48

Assured Software A Journey and Discussion — AdaCore Tech Days Boston 2018

28:21

GNAT Pro Update — AdaCore Tech Days Boston 2018

8:06

What's New in CodePeer 19

1:19

Support for Concurrency — SPARK Demo Part 4

0:39

Counterexamples — SPARK Demo Part 3

0:49

Ghost Code — SPARK Demo Part 2

0:59

What is SPARK? — SPARK Demo Part 1

39:41

Cyber Security & You: Vulnerability Exists Between Chair and Keyboard

30:51

Controlling Costs with Software Language Choice | VDC Research

6:16

Part 1 - How CodePeer Works, Annotations — Advanced Features of CodePeer

15:13

Part 2 - Taking Advantage of CodePeer Annotations — Advanced Features of CodePeer

5:10

Part 3 - Race Conditions — Advanced Features of CodePeer

9:16

Part 4 - Demonstration of Race Conditions — Advanced Features of CodePeer

3:19

Part 5 - Running CodePeer Faster with no False Positives — Advanced Features of CodePeer

41:54

Webinar: GPGPU Programming with Ada

27:26

Ada:Spark 006 - Lesson 5 - Functional Correctness

19:06

Ada:Spark 006 - Lesson 4 - State Abstraction

22:27

Ada:Spark 006 - Lesson 3 - Program Integrity

19:54

Ada:Spark 006 - Lesson 2 - Flow Analysis

14:12

Ada:Spark 006 - Lesson 1 - Overview

25:25

Ada 005 - Concurrency in Ada — Basic Concepts

34:03

Ada 004 - Lesson 4 - Ada and Java

35:26

Ada 004 - Lesson 3 - Ada and C++

24:26

Ada 004 - Lesson 2 - Ada and C

20:37

Ada 004 - Lesson 1 - Mixed Language Introduction

22:54

Ada 003 - Lesson 5 - Genericity