AdaCore Joins the SOAFEE Initiative to Advance High-Integrity Software for Automotive Systems

AdaCore, a leading provider of high-integrity software development tools and services, today announced its membership in SOAFEE (Scalable and Open Architecture for Embedded Edge), an industry-led initiative focused on enabling cloud-native development and deployment for automotive software.

SOAFEE brings together silicon providers, OEMs, Tier-1 suppliers, and software vendors to address the growing complexity of automotive software systems. By promoting a common, open, and scalable software architecture, SOAFEE aims to accelerate innovation while supporting the stringent safety, security, and reliability requirements of next-generation vehicles.

AdaCore’s participation reflects its long-standing commitment to helping organisations build dependable, certifiable software for safety- and security-critical systems. With over 30 years of experience supporting regulated industries, AdaCore offers industrial-grade toolchains and verification technologies for Ada, SPARK, C/C++, and Rust, enabling developers to address challenges such as memory safety, functional correctness, and compliance with standards including ISO 26262 and IEC 61508.

AdaCore’s SPARK Pro offering is of special interest in the Software-Defined Ecosystem, as it enables the software development team to formally prove the absence of runtime errors and functional correctness for specific software components. This capability is crucial for supporting safety and security-critical software across multiple vehicle platforms and software update cycles.

“As vehicles increasingly become software-defined platforms, the need for robust software foundations is paramount,” said Quentin Ochem, Chief Product Officer of AdaCore. “Joining SOAFEE allows AdaCore to contribute its expertise in high-integrity software and formal verification to a broader ecosystem that is shaping the future of automotive development. We look forward to collaborating with SOAFEE members to help ensure that scalability and openness go hand in hand with safety and assurance.”

By joining SOAFEE, AdaCore reinforces its role as a trusted partner to the automotive industry, supporting development workflows that enable early verification, strong guarantees around run-time behaviour, and toolchains designed for long-lived, automotive software components.