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
