Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr

• Applicant: Professor Dr. Friedrich W. von Henke
• Subject Area: Theoretical Computer Science
• Term: from 1998 to 2003
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Priority Programmes
• Subproject of: SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen