Automobilzulieferer JTEKT wählt SPARK Pro für sicherheitskritische Automotive-Software
Paris, 23. Juni 2020 – Formale Methoden und die Toolsuite SPARK Pro von AdaCore unterstützen den Automobilzulieferer JTEKT bei der Reduzierung der Entwicklungs- und Verifikationskosten für sichere autonome Fahrsysteme.
(businesspress24) - JTEKT, ein internationaler Hersteller von elektrischen Servolenkungssystemen ft der SPARK-Technologie vertraut. Der Zulieferer hat gezeigt, wie das SPARK-Ada-Sprach-Subset und formale Methoden Unit-Tests und die Verifizierung des C-Codes des Systems vereinfachen. Gleichzeitig wurde die Fehlerfreiheit des Codes sichergestellt. Mit dem CCG, der SPARK in C-Quellcode kompiliert,
Die Software zur Steuerung der Servolenkung in einem Lenksystem wird ben
SPARK Pro ist ein Toolset, das auf dem formal analysierbaren SPARK-Subset der Ada-Sprache basiert und Entwicklern erm
SPARK-Sprache und das SPARK-Toolset erfolgreich einf
ISO 26262 ist eine Norm f
JTEKT entstand 2006 durch die Fusion von Koyo Seiko, einem Hersteller von Lagern, und Toyoda Machine Works. Einem weltweit f
Themen in dieser Pressemitteilung:
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers
AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
AdaCore
Pamela Trevino
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Datum: 26.06.2020 - 04:10 Uhr
Sprache: Deutsch
News-ID 1550811
Anzahl Zeichen: 5068
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
München
Telefon: +49-89-59997-803
Kategorie:
IT Service
Meldungsart: Produktinformation
Versandart: Veröffentlichung
Freigabedatum:
Anmerkungen:
Diese Pressemitteilung wurde bisher 182 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"Automobilzulieferer JTEKT wählt SPARK Pro für sicherheitskritische Automotive-Software
"
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
