SD
SIGNAL+DRAHT | Issue 11/2020

GNAT Pro von AdaCore für neue Eisenbahnsicherheitsplattform von Hitachi Rail STS

November 2020 | Editor

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.

Futher articles in this issue: