29th-30th JUNE 2027 – LONDON, UK

Jose Ruiz

Jose Ruiz

  • Product Manager
  • AdaCore, France

Jose Ruiz is a Product Manager at AdaCore with 30 years of experience in embedded, safety-critical, and real-time systems. He has authored or co-authored nearly 50 publications in these areas and holds a Ph.D. in real-time and multimedia systems, with research spanning scheduling policies, resource management, and the design of real-time operating systems.

He is a recognized expert in the certification of high-integrity systems across the aeronautics, space, railway, and automotive domains. His work includes certifying run-time libraries, and qualifying verification tools and automatic code generators from modelling languages.

Throughout his career, Jose Ruiz has contributed to the definition of programming language profiles for embedded systems and to the design and implementation of the run-time libraries required for bare-metal execution on constrained targets. His current work focuses on bringing robust, certifiable technologies to modern embedded architectures and safety-critical development workflows.

Sessions

  • Architecture and Software Development & Certification

    Multicore Certification with Bare-Metal Ada

    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?

  • 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.