Model-Driven Testing and Certification: Digital Twins, Tools, and Languages for Next-Gen Avionics
Simulation-Driven Validation for Mode 5 Certification and CMS Testing: A Dual Approach Using SkyRF Generator
Domien De Ruyck Managing Director / Intersoft Electronics Services, Belgium
The Strategic Shift in Avionic Validation – Towards the Testing Ecosystem
Franco Alfonsetti Head of Test Solutions Engineering / Leonardo Electronics Division, Italy
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.