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.%Begleitend zu einem ETCS (European Train Control System) -Ausrüstungsprojekt für den ICE-T der Deutschen Bahn, bei dem erstmals eine open Source Lizenz für die ETCS-Bordgerätesoftware sowie ein Softwarepflegevertrag vertraglich vereinbart worden waren, wurde 2012 ein Forschungs- und Entwicklungsprojekt begonnen und Ende 2015 abgeschlossen. Ziel dieses Projektes war es eine Formalisierung der offiziellen ETCS-Spezifikation zu entwickeln, aus der dann eine herstellerneutrale Referenzsoftware abgeleitet werden sollte, um zukünftig den Nutzern und Testlaboratorien ein neutrales Mittel für die Beurteilung der Konformität mit der Spezifikation an die Hand zu geben. Damit diese „Referenz" vertrauenswürdig ist, muss sie vollständig transparent sein. Daher sollte das „open Proofs"-Prinzip zum Einsatz kommen, bei dem nicht nur die Referenzsoftware selber, sondern auch die Software-Werkzeuge und „Proofs" (Korrekt-heits- und Sicherheitsnachweise) unter open Source Lizenzen stehen. Der Vortrag berichtet über den Stand zum Abschluss der Arbeiten im Rahmen des internationalen ITEA2)-Förderprojektes.