January 28, 2026. AdaCore, a leading provider of highly integrated 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 automotive software development and deployment.
Categories
Tags
Contact info
Silicon Saxony
Marketing, Kommunikation und Ă–ffentlichkeitsarbeit
Manfred-von-Ardenne-Ring 20 F
Fax: +49 351 8925 889
Contact person:
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 and reliability requirements of next-generation vehicles.
AdaCore’s participation reflects the company’s long-standing commitment to helping organizations develop reliable, certifiable software for safety-critical systems. With over 30 years of experience supporting regulated industries, AdaCore provides industry-grade toolchains and verification technologies for Ada, SPARK, C/C++ and Rust that enable developers to overcome challenges such as memory safety, functional correctness and compliance with standards such as ISO 26262 and IEC 61508.
AdaCore’s SPARK Pro offering is of particular interest to 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 critical for supporting safety-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. “By joining SOAFEE, AdaCore can bring 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 working with SOAFEE members to ensure that scalability and openness go hand in hand with safety and reliability.”
By joining SOAFEE, AdaCore strengthens its role as a trusted partner to the automotive industry, supporting development workflows that enable early verification, strong runtime behavior guarantees and toolchains for long-lived automotive software components.
– – – – – –
👉 www.adacore.com
Photo: pixabay
