Verification of ETCS-Software
Europe is growing together more and more – also with regard to its railway system. In order to conveniently travel from Berlin to Lisbon, we need a European Rail Traffic Management System, which unifies national signaling and train control systems. In the project openETCS 44 European partners are working on the cost-efficient, reliable and open-source implementation of the European Train Control System (ETCS). Fraunhofer FOKUS is primarily involved in the modeling and formal verification of openETCS.
Visit us from September 23-26, 2014 at the InnoTrans and learn more about our services for the verification of ETCS-Software. You will find Fraunhofer FOKUS in hall 23B, booth 206.