Sessions

• Model-Driven Testing and Certification: Digital Twins, Tools, and Languages for Next-Gen Avionics

  Model-Driven Testing and Certification

  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.