Quick Takeaways
  • SOAFEE automotive software ecosystem expands with AdaCore’s focus on safety-critical and certifiable development.
  • The move reinforces industry alignment toward cloud-native and software-defined vehicle architectures.
On January 27, AdaCore announced its membership in SOAFEE, marking a strategic step in advancing SOAFEE automotive software built on cloud-native principles. The industry-led initiative aims to simplify development and deployment across increasingly complex automotive embedded systems.

SOAFEE automotive software and industry collaboration

SOAFEE brings together a broad mix of stakeholders to address software-defined vehicle challenges, including:
  • Silicon providers
  • OEMs
  • Tier-1 suppliers
  • Automotive software vendors
This collaboration supports scalable architectures that align in-vehicle software with modern cloud workflows.

AdaCore’s role in safety-critical automotive software

AdaCore’s participation reflects its long-standing commitment to dependable, certifiable solutions for safety- and security-critical systems. Its SPARK Pro offering is particularly relevant, as it enables development teams to formally prove the absence of runtime errors and validate functional correctness for specific software components, strengthening confidence in next-generation automotive software ecosystems.
Company Press Release

Click above to visit the official source.

Share: