Oct 01, 2026 | Demos
GNAT Foundry Intersection
The video discusses GNAT Foundry Intersection, which demonstrates how to integrate artificial intelligence (AI) into software development workflows while maintaining rigorous safety and verification standards.
The project follows standard high-integrity software development practices, including:
- Documentation and Traceability: The system includes a concept of operations document, high-level requirements (HLR), low-level requirements (LLR), and full traceability throughout the development process.
- Testing and Verification: The code achieves 100% code coverage, including Modified Condition/Decision Coverage (MCDC).
- Accessibility: The project is available on GitHub for public review
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_
