Detailseite
Projekt
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
Antragsteller
Professor Dr. Friedrich W. von Henke
Fachliche Zuordnung
Theoretische Informatik
Förderung
Förderung von 1998 bis 2003
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5292084
Gegenstand des hier beantragten Forschungsvorhabens ist die Integration von ingenieurwissenschaftlichen Techniken und informellen, semiformalen und formalen Methoden aus der Informatik und Softwaretechnik mit dem Ziel, Softwaresysteme zu spezifizieren und den Nachweis sicherheitsrelevanter Eigenschaften führen zu können. Ihre Einsetzbarkeit wird anhand der Fallstudie aus der Verkehrsleittechnik erprobt, die auch als Grundlage für die Integration und Adaption von Spezifikationsmethoden dienen soll. Dazu werden verschiedene betriebliche Situationen modelliert. Die Arbeiten werden in enger Kooperation zwischen Informatikern und Ingenieuren aus den Bereichen Eisenbahnwesen und Verkehrssicherung sowie Automatisierungs- und Softwaretechnik durchgeführt.
DFG-Verfahren
Schwerpunktprogramme
