openETCS: Modellbasiert, agil und open Source - Ergebnisse aus dem ITEA2- Förderprojekt.

In parallel to an commercial ETCS (European Train Control System) retrofit project for the ICE-T train sets of Deutsche Bahn in which an open source license for the ETCS on-board equipment software, and a software maintenance contract had been contracted for the first time, a research and development project had been started in 2012 and was finished in 2015 with the goal to develop a model based formalization of the official ETCS specification. The objective was to derive from the formal model a vendor-neutral reference software to give future users and test laboratories an independent reference implementation for the assessment of conformity with the specifications. In order for this „reference“ to be trustworthy, it must be completely transparent. Therefore, the „open proofs“ principle should come to use, in which are not only the reference software itself, but also the software tools and „proofs“ were under open source licenses. The paper reports on the results of the work within the international ITEA2 (Information Technology for the European Advancement) funded project. [ABSTRACT FROM AUTHOR]