Architecture and Software Development & Certification

Leveraging multi-core processors for Safety-Critical Applications on IMA platforms

Damien Chabrol VP Innovation and Strategy, Co-founder / Asterios Technologies

Multicore Certification with Bare-Metal Ada

Jose Ruiz Product Manager / AdaCore, France

Importance of Control Coupling and Data Flow Analysis in Certifying Multicore Systems

Mark Richardson Lead Field Application Engineer / TASKING

Intel and Avionics - Powering Avionics Safety & Accelerating Safety Certification

Maurizio Iacaruso Functional Safety Software Architect / Intel Corp, Italy

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?