Safety AD EU 2025

Meet TrustInSoft at Safety AD EU 2025

Get ready for Safety AD 2025 in Berlin, Germany at the Titanic Chaussee Hotel Berlin September 29 – 30, 2025!

Solutions Study: Unified safety & security verification in automotive

Join Solutions Engineer Rolland Dudemaine Monday September 29th 10:00-10:30 PM.

The growing complexity of automotive embedded systems has led to an increasingly critical need for safe and secure software. Traditionally, safety and cybersecurity verifications are conducted separately, resulting in duplicated or tripled V-cycle efforts. This talk explores how formal methods empower C/C++ and Rust developers to proactively address specific categories of vulnerabilities and bugs in a single, unified verification step. Combining static analysis with abstract interpretation, full context sensitivity, and hardware memory awareness enables more comprehensive detection of potential bugs and vulnerabilities. This integrated approach leads to more dependable and secure software.

By processing activities such as robustness testing, interface testing, fault injection, data and control flow integrity, determinism check, penetration testing, and fuzz testing at the bottom of the V-cycle with a single tool, we significantly reduce the upward effort for both safety and security. This unified approach demonstrates that the cost of combined activities is lower than the sum of separate activities. This approach aligns with industry best practices, including ISO 26262 and ISO 21434, empowering C/C++/Rust developers to deliver reliable, safe, and secure embedded systems that meet today’s and tomorrow’s application demands. We will illustrate this approach using the TrustInSoft Analyzer, showcasing how it accelerates verification for large codebases and improves developer efficiency.