Ada
Course Index
28 Lessons · 3 Sections
Master Ada — the safety-critical language of Boeing 787 flight software, Eurostar train control & US DoD systems. Covers GNAT, tasking, SPARK formal verification & DO-178C compliance 2026. Includes 4 builds: concurrent tasking system, SPARK verified program, embedded Ada app & safety-critical algorithm.
28Lessons
3Sections
4Projects
FreeAccess
Section 1Ada FundamentalsLessons 1–10
Lesson 1
What is Ada? Safety-Critical Systems Language
Lesson 2
Ada Setup: GNAT & GPS IDE
Lesson 3
Ada Basics: Packages, Types & Variables
Lesson 4
Scalar Types: Integer, Float, Enumeration
Lesson 5
Control Flow: if, case, loops & exit
Lesson 6
Subprograms: Procedures & Functions
Lesson 7
Arrays, Records & Access Types
Lesson 8
Strong Typing & Subtypes in Ada
Lesson 9
Exceptions & Error Handling
Lesson 10
Packages & Private Types
Section 2Tasking, SPARK & Safety-CriticalLessons 11–22
Lesson 11
Ada Tasking: Concurrent Programming
Lesson 12
Protected Objects & Synchronisation
Lesson 13
Generics in Ada
Lesson 14
Object-Oriented Ada: Tagged Types
Lesson 15
Ada for Embedded Systems: GNAT RTS
Lesson 16
SPARK: Formal Verification with Ada
Lesson 17
Ada & C Interoperability
Lesson 18
Ada in Aerospace: DO-178C Compliance
Lesson 19
Ada in Defence & Rail Systems
Lesson 20
Testing Ada: AUnit & GNATtest
Lesson 21
Ada vs Rust vs C++ for Safety-Critical 2026
Lesson 22
Ada in 2026: Ada 2022 Features & SPARK
Section 3Anti-Patterns, Best Practices & ProjectsLessons 23–28