Europa wächst immer mehr zusammen – auch auf der Schiene. Damit Züge von Berlin bis Lissabon fahren können, sollen die nationalen Signal- und Zugsteuerungssysteme vereinheitlicht werden und zu einem europäischen Eisenbahnverkehrsleitsystem (European Train Control System – ETCS) zusammen wachsen. Im Rahmen des openETCS Projektes arbeiten daher 44 europäische Partner an der kosteneffizienten, zuverlässigen und quelloffenen Implementierung von ETCS. Fraunhofer FOKUS ist vor allem an der Modellierung und formalen Verifikation von openETCS beteiligt.

Besuchen Sie uns vom 23. bis 26. September 2014 auf der InnoTrans und erfahren Sie mehr über unsere Angebote bei der Verifikation von ETCS-Software. Sie finden Fraunhofer FOKUS in Halle 23B, Stand 206.