HITACHI Rail STS wählt GNAT Pro von AdaCore für neue Eisenbahnsicherheitsplattform
(IINews) - Paris, 13. Oktober 2020 – HITACHI Rail STS hat sich für die GNAT-Pro-Software-Entwicklungsumgebung von AdaCore für seine neue Eisenbahnsicherheitsplattform entschieden.
AdaCore, ein Anbieter von Softwareentwicklungs- und Verifikations-Tools, hat verkündet, dass HITACHI Rail STS (Signalling and Transportation Systems) die Ada-Entwicklungsumgebung GNAT Pro für ARM-Prozessoren ausgewählt hat. Ziel ist die Modernisierung seiner Eisenbahnsicherheitsplattform CSD (Calculator of available safety), um den sicheren Verkehr von Zügen auf Bahnstrecken und in U-Bahnnetzen zu gewährleisten.
Technische Herausforderungen der Modernisierung
Im März 2017 rollte HITACHI Rail STS das Stellwerk-Management-System des Gare de Lyon in Paris im Rahmen eines von der französischen Staatsbahn SNCF in Auftrag gegebenen Modernisierungsprojekts aus. Das System, das von einer einzigen Sicherheitsplattform unterstützt wird, steuert zeitgleich 170 Weichen, 115 Signale und 800 Fahrstraßen. Dafür benötigt es eine sichere und zuverlässige Plattform.
Angesichts überholter Technik und des Bedarfs an immer höherer Computerleistung beschloss HITACHI Rail STS ein Jahr später, die Sicherheitsplattform weiter zu modernisieren. Ziel war es, eine einzige Plattform zu entwickeln, die auch den Anforderungen von rollendem Material und Bodensignalen entspricht.
Die ersten Projekte waren die Modernisierung der U-Bahnlinien in Brüssel mit einem Communication-Based-Train-Control (CBTC)-System und die Erneuerung der Stellwerksysteme auf der ersten, 450 Kilometer langen Hochgeschwindigkeitsstrecke zwischen Paris und Lyon.
HITACHI Rail STS identifizierte zwei Kernbereiche für die Umsetzung dieser Projekte:
1. Ausführung der Logiksynthese auf der 68K-CPU, um die "Voter"-Funktion des CSD im Verarbeitungssystem dieser Komponente unterzubringen. Das ermöglicht es, die codierte Monoprozessor-Produktionskette der bestehenden Voter-Software wiederzuverwenden.
2. Portierung der vorhandenen Anwendungssoftware, die in Ada 95 entwickelt wurde, auf einen ARM-Cortex-A53-Prozessor im Bereich der Programmierbaren Logik.
Entscheidung für AdaCore-Lösungen
Die durch die Portierung der Anwendungssoftware auf einen ARM-Prozessor bedingten Einschränkungen veranlassten HITACHI Rail STS, AdaCore zu kontaktieren, um Lösungsmöglichkeiten zu finden – einschließlich der Entscheidung für eine Ada-Runtime und eines auf ARM ausgelegten Compilers.
HITACHI Rail STS entschied sich für die Linux-gehostete GNAT-Pro-Ada-Entwicklungsumgebung von AdaCore in Kombination mit einer Ravenscar-SFP-Runtime, die auf mehreren Faktoren basiert:
1. Die Möglichkeit, die Runtime gemäß der Eisenbahnnorm EN 50128 zu zertifizieren;
2. Zugang zu einer POSIX/Linux-Entwicklungsumgebung, die in Kombination mit Ada-Kompilierungs-Tools eine Generierung von Binärprogrammen ermöglicht;
3. Die Möglichkeit der Wiederverwendung von Linux-Tools;
4. Zugang zu verschiedenen AdaCore-Werkzeugen, darunter
a. GNATcheck zur Verifizierung von Coding-Standards, einschließlich Komplexitätsmetriken
b. GNATemulator, der es ermöglicht, einen ARMv8-Prozessor auf einem Host-System zu emulieren.
Neue Sicherheitsplattform für Strecken- und On-Board-Projekte
Die Entwicklung der Plattform begann 2017 mit dem Entwurf einer neuen CCTEP-Schaltplatine. Es folgte die Portierung der CSD-Softwarekomponenten sowie die Risikoanalyse und Validierung.
Bis Ende 2020 soll die neue Plattform nach EN 50128 zertifiziert sein (www.adacore.com/industries/rail/en50128). Künftig wird HITACHI Rail STS die universelle Sicherheitsplattform in allen Strecken- und On-Board-Projekten einsetzen.
Weitere Informationen
Case Study von HITACHI Rail STS: https://www.adacore.com/papers/hitachi-case-study
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
Themen in diesem Fachartikel:
Unternehmensinformation / Kurzprofil:
HITACHI Rail STS Frankreich betreut die regionalen Geschäfte für HITACHI Rail STS in Nord- und Westeuropa, Nordafrika, China und Korea. Rund 800 Ingenieure und Techniker sind in den Bereichen Forschung und Entwicklung, Engineering, Projektmanagement, Fertigung und Wartung tätig.
HITACHI Rail STS Frankreich wurde 1902 gegründet und hat die Signal- und Zugbeeinflussungssysteme entwickelt, die zur ständigen Verbesserung der Bahnsicherheit und -kapazität auf Hauptstrecken und Nahverkehrsbahnen weltweit beitragen.
Bei großen internationalen Eisenbahnprojekten, insbesondere in Europa, Asien, Afrika und Südamerika, ist das Unternehmen in der Lage, ausfallsichere Systeme termingerecht und im Rahmen des Budgets zu liefern. Dank der Nähe zu seinen Kunden und der internationalen Präsenz in West- und Nordeuropa sowie in Asien verwaltet HITACHI Rail STS Frankreich Projekte effizient und bewältigt Herausforderungen, erkennt den Bedarf frühzeitig und bietet innovative Lösungen.
Über AdaCore
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: 14.10.2020 - 11:50 Uhr
Sprache: Deutsch
News-ID 1852079
Anzahl Zeichen: 0
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49 89 59997 803
Kategorie:
Internet
Anmerkungen:
Dieser Fachartikel wurde bisher 197 mal aufgerufen.
Der Fachartikel mit dem Titel:
"HITACHI Rail STS wählt GNAT Pro von AdaCore für neue Eisenbahnsicherheitsplattform
"
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).