Session 5: Keynote 2AST 2026 at Oceania VI
Chair(s): Breno Miranda Federal University of Pernambuco

9:00 — Keynote by Marcelo José Ruv Lemes, EMBRAER

Title: Verification of Embedded Software for Aeronautical Applications

Abstract: The development of embedded software for aeronautical applications is carried out in a highly regulated environment, with one of the main activities being the verification. Software verification in this context encompasses reviews, analyses, and testing. This presentation aims to provide an overview of verification activities for embedded software for aeronautical applications, placing them within the broader context of aircraft verification.

Bio: Marcelo Lemes holds a degree in Data Processing Technology and Mathematics from the University of Taubaté. He also holds a Master degree in Software Engineering from the Aeronautics Institute of Technology and a Doctorate in Digital Systems from the Polytechnic School of the University of São Paulo. He worked for 12 years at the Institute of Aeronautics and Space (IAE) of the Aerospace Technical Center (CTA), spending most of the time involved in the development of embedded software for the Brazilian Satellite Launch Vehicle (VLS). Since 1997, he has worked at EMBRAER involved with development and certification of embedded software applications. He currently works alongside the company’s Chief Engineer, coordinating embedded software activities for the company.