29th-30th JUNE 2027 – LONDON, UK

Dr. Antoine Colin

Dr. Antoine Colin

  • Chief Technology Officer (CTO)
  • Rapita Systems, UK

Dr Antoine Colin is a founder of Rapita Systems Ltd and leads the team in charge of the development of all the hardware and software product lines of the company, and the engineering services team in charge of delivering solutions to customers. He is the software architect for the RVS software platform and has been the main developer for a large part of its key technologies. His expertise lies in on-target analysis for safety critical and real-time systems (timing analysis, structural coverage, constraints checking, etc.) and he has been involved in several research projects ranging from simulation of cryptographic processors, analysis of the impact of modern CPU architecture for space applications, to automatic code transformation for fault detection.

Sessions

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

    Rust

    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.