Oct 08, 2026 | Demos
Flight Demo: Preventing Flight Software Failures Using CodeSonar
This video demonstrates how AdaCore's CodeSonar static analysis tool can identify and help resolve software defects during the development process to prevent critical failures.
The Role of Static Analysis in Software Safety:
- The video illustrates a scenario where an aircraft experiences a total flight control failure due to a software issue.
- Such issues, including null pointer dereferences common in C and C++ code, can be detected early during development using CodeSonar.
Author
Mark Hermeling
Head of Technical Marketing, AdaCore
Mark has over 25 years’ experience in software development tools for high-integrity, secure, embedded and real-time systems across automotive, aerospace, defence and industrial domains. As Head of Technical Marketing at AdaCore, he links technical capabilities to business value and is a regular author and speaker on on topics ranging from the software development lifecycle, DevSecOps to formal methods and software verification.
Videos_
