Zukunftsweisendes Forschungsprogramm vertraut auf Eisenbahnexpertise von Thales
Aktuelle Verifikations- und Validierungsansätze für sicherheitskritische Systeme verursachen oftmals hohen Aufwand. Reine Simulationsansätze sind in der Modellierungs- und Berechnungskapazität begrenzt und können die Physik nicht im Detail nachempfinden. Praktische Tests verbrauchen sehr viele Ressourcen und können auch potenziell gefährlich sein.
Die Europäische Initiative ENABLE-S3 zielte darauf ab, die heutige kostenintensive Verifikation und Validierung durch modernere und effizientere Methoden zu ersetzen. Von 2016 bis 2019 hat sich daher das ENABLE-S3 Team – bestehend aus 68 Partnern aus 16 Ländern - zum Ziel gesetzt, eine umfassende Plattform für die kostengünstige Validierung und Verifikation von autonomen und hochautomatisierten Transportmitteln, Satelliten und medizinischen Untersuchungsgeräten zu entwickeln.
Thales beteiligte sich an diesem groß angelegten Forschungsprojekt über neue Verifikations- und Validierungsansätze für hochautomatisierte sicherheitskritische Systeme. Thales war durch ein Expertenteam aus Österreich vertreten.
Quelle: www.enable-s3.eu
Eisenbahnbereich vertraut auf Thales
Das Hauptziel eines Eisenbahnnetzbetreibers ist es, einen pünktlichen und sicheren Zugverkehr zu gewährleisten. Automatisierung und computergesteuerte Zugsteuerung sind dabei wesentliche Elemente für große und komplexe Bahnsysteme. In ENABLE-S3 koordinierte Thales ein Expertenteam zur Entwicklung eines neuartigen Ansatzes für die Verifikation und Validierung, mit Schwerpunkt auf die Senkung der damit verbundenen Kosten durch den Einsatz Formaler Methoden.
Eisenbahnfachwissen kombiniert mit mathematischer Genauigkeit
Weltweit werden immer öfter Formale Methoden zur Verifikation und Validierung in Ausschreibungen gefordert. CENELEC, das Europäische Komitee für elektrotechnische Normung, empfiehlt dringend die Verwendung Formaler Methoden.
Aber worin besteht eigentlich der Nutzen?
In aktuellen Verifikations- und Validierungsansätzen werden Testszenarien durchgeführt, um zu zeigen, dass das Design korrekt ist und alle Anforderungen erfüllt sind. Formale Methoden verwenden mathematisch basierte Techniken, um zusätzlich die Konsistenz, Vollständigkeit und Richtigkeit der Anforderungen, unter der Annahme einer gegebenen Semantik, nachzuweisen. Ein sehr zuverlässiges Konzept, um mögliche Probleme bereits frühzeitig in der System- und Softwareentwicklung zu erkennen und dadurch später höhere Anpassungskosten zu vermeiden.
Erfolgreiche Zusammenarbeit mit der University of Southampton und dem Austrian Institute of Technology (AIT)
Um die Theorie in die Praxis umzusetzen, entwickelte Thales das "Railground model" - das erste Modell zur Verifizierung und Validierung einer Signalisierungsspezifikation mit Formalen Methoden. Das Modell diente als Basis für die Zusammenarbeit mit Universitäten und Forschungseinrichtungen. Zusammen mit der University of Southampton konnte Thales das Modell mathematisch validieren und zusammen mit dem AIT Testfälle daraus generieren.
Basierend auf den daraus entstehenden Erfahrungen konnte Thales das „Railground model“ erweitern um die Möglichkeit einer szenarienbasierten Validierung, die es auch einem fachspezifischen Ingenieur ohne mathematischen Hintergrund ermöglicht, die Formalen Methoden zu nutzen.
Ergebnisse anwendbar für mehrere Projekte
Im Rahmen einer öffentlichen Abschlussveranstaltung diesen Mai in Graz präsentierte ENABLE-S3 erfolgreich die wichtigsten Projektergebnisse aus drei Jahren Forschung.
Thales präsentierte die Ergebnisse und erfolgreiche Umsetzungsbeispiele aus dem Eisenbahnbereich:
Die Ergebnisse dieses Forschungsprojekts führten auch zu mehreren bedeutenden Publikationen, die wertvolle Erkenntnisse für die zukünftige Forschung auf diesem Themengebiet liefern.