An industrial certification process with Ferrocene and TrustInSoft Analyzer

By Aïssata Maïga and Rolland Dudemaine

Talk - Tuesday, 16 September
11:15

Deploying Rust as a first-tier programming language in a production project requires addressing the entire verification and validation model around it. Employing a controlled toolchain and runtime is essential for achieving relevant certifications, but testing and verifying the code is also critical to ensure a successful delivery. In this talk, we will present qualified solutions that address several of these aspects, from exhaustive verification to complete, automated software qualification.

Speakers

speaker.name

Aïssata Maïga

Aïssata Maïga is a Software Engineer at Ferrous Systems, where she contributes to the Ferrocene Delivery team — the group responsible for the Ferrocene toolchain’s client portal. She has also developed open source training materials for embedded Rust on ESP32 (RISC-V) and nRF52840 (ARM), helping developers get hands-on experience with Rust in real-world embedded environments.

speaker.name

Rolland Dudemaine

Rolland Dudemaine is the Director of Field Engineering at TrustInSoft. He has been active in the embedded software industry for more than 25 years, focusing on low-level software, including high-performance, safety-and security-related RTOS, covering everything from development to safety and cybersecurity aspects. A regular open-source contributor, he remains passionate about programming. In his role at TrustInSoft, he helps customers build high-quality software, while increasing project efficiency along the way.