Avionics & Testing Innovations
Join AdaCore at booth 10 and listen to our conference talks to learn about our tools for high-integrity development in Ada/SPARK, C/C++, and Rust.
Agenda
June 2, 2026 11:00 am - 12:30 pm BST
Accelerating Airworthiness: Automation's Role in Faster Verification for DO-178C Certification
AI and ML in Testing Track
AI and ML are emerging in aerospace and avionics, raising complex testing and certification challenges, presenting significant verification and validation challenges. AI use cases are broadly categorized into narrow/specialized AI (e.g., object detection) and generative models, which pose greater unpredictability due to non-deterministic outputs. Current architectures favour non-safety-critical, passive AI/ML systems operating in parallel with primary avionics functions—supporting anomaly detection, predictive maintenance, and decision support. In light of limited data availability, what methods are most appropriate for testing and validating? How do you approach verification and validation of non-deterministic AI systems within the constraints of deterministic safety standards like ED-324/DO-178C? Where will EUROCAE technical standards (WG114) support the development of systems and the certification of aeronautical systems implementing AI-technologies?
June 2, 2026 2:00 pm - 3:30 pm BST
Rust
Model-Driven Testing and Certification: Digital Twins, Tools, and Languages for Next-Gen Avionics Track
Advanced avionics systems demand a shift in how we test and certify software. This session explores the rise of model-driven approaches—spanning digital twins, simulation, and model-based testing—alongside emerging tools and languages like Rust and CHERI. These technologies promise improved scalability, security, and assurance, but also raise new challenges for validation and certification. How can simulation, virtualization, and automation shape the verification processes, and how are standards like ED-12C/DO-178C and ED-215/DO-330 adapting to support tool qualification and digital validation? How do we validate digital models? What qualifies as a certifiable toolchain? This session explores the convergence of advanced testing technologies and modern certification frameworks.
June 3, 2026 2:00 pm - 3:30 pm BST
Multicore Certification with Bare-Metal Ada
Architecture and Software Development & Certification Track
Most software development complies with standards like DO-178C and AMC 20-193, prioritizing determinism, partitioning, and interference mitigation. How can hardware-software co-design enable robust scheduling, partitioning, and interference management, ensuring deterministic system behaviour. Furthermore, what does verification and certification truly entail for multicore avionics platforms, considering the complex interplay between hardware and software in safety-critical environments?