Software

AdaCore: Beitritt zur SOAFEE-Initiative, um hochintegrierte Software für Automobilsysteme voranzutreiben

28. Januar 2026. AdaCore, ein führender Anbieter von hochintegrierten Softwareentwicklungswerkzeugen und -dienstleistungen, gab heute seine Mitgliedschaft in SOAFEE (Scalable and Open Architecture for Embedded Edge) bekannt, einer branchengeführten Initiative, die sich auf die Ermöglichung der Cloud-nativen Entwicklung und Bereitstellung von Automobilsoftware konzentriert.

Symbolbild Softwareentwicklung / pixabay geralt

Kategorien

Software

Schlagworte

Automatisierung·Digitalisierung·Mobilität·Softwareentwicklung

Kontakt

Silicon Saxony

Marketing, Kommunikation und Öffentlichkeitsarbeit

Manfred-von-Ardenne-Ring 20 F

Telefon: +49 351 8925 886

Fax: +49 351 8925 889

redaktion@silicon-saxony.de

Ansprechpartner:

Julia Nitzschner

julia.nitzschner@silicon-saxony.de

Telefon: +49 351 8973 3865

Robert Krauße

robert.krausse@silicon-saxony.de

Telefon: +49 351 8925 886

SOAFEE bringt Silizium-Anbieter, OEMs, Tier-1-Zulieferer und Softwareanbieter zusammen, um der wachsenden Komplexität von Automobil-Softwaresystemen zu begegnen. Durch die Förderung einer gemeinsamen, offenen und skalierbaren Softwarearchitektur will SOAFEE Innovationen beschleunigen und gleichzeitig die strengen Anforderungen an Sicherheit und Zuverlässigkeit von Fahrzeugen der nächsten Generation unterstützen.

Die Teilnahme von AdaCore spiegelt das langjährige Engagement des Unternehmens wider, Organisationen bei der Entwicklung zuverlässiger, zertifizierbarer Software für sicherheitskritische Systeme zu unterstützen. Mit über 30 Jahren Erfahrung in der Unterstützung regulierter Branchen bietet AdaCore industrietaugliche Toolchains und Verifikationstechnologien für Ada, SPARK, C/C++ und Rust, mit denen Entwickler Herausforderungen wie Speichersicherheit, funktionale Korrektheit und die Einhaltung von Normen wie ISO 26262 und IEC 61508 bewältigen können.

Das Angebot SPARK Pro von AdaCore ist für das Software-Defined Ecosystem von besonderem Interesse, da es dem Software-Entwicklungsteam ermöglicht, die Abwesenheit von Laufzeitfehlern und die funktionale Korrektheit für bestimmte Softwarekomponenten formal nachzuweisen. Diese Fähigkeit ist entscheidend für die Unterstützung sicherheitskritischer Software über mehrere Fahrzeugplattformen und Software-Update-Zyklen hinweg.

„Da Fahrzeuge zunehmend zu softwaredefinierten Plattformen werden, ist der Bedarf an robusten Software-Grundlagen von größter Bedeutung“, sagte Quentin Ochem, Chief Product Officer von AdaCore. „Durch den Beitritt zu SOAFEE kann AdaCore sein Fachwissen im Bereich hochintegrierter Software und formaler Verifizierung in ein breiteres Ökosystem einbringen, das die Zukunft der Automobilentwicklung prägt. Wir freuen uns auf die Zusammenarbeit mit den SOAFEE-Mitgliedern, um sicherzustellen, dass Skalierbarkeit und Offenheit mit Sicherheit und Zuverlässigkeit Hand in Hand gehen.“

Durch den Beitritt zu SOAFEE stärkt AdaCore seine Rolle als vertrauenswürdiger Partner der Automobilindustrie und unterstützt Entwicklungsworkflows, die eine frühzeitige Verifizierung, starke Garantien hinsichtlich des Laufzeitverhaltens und Toolchains für langlebige Automobil-Softwarekomponenten ermöglichen.

– – – – –