Project Details
Projekt
Combined Net-object-oriented-specification-technique for software of safety-relevant systems
Applicant
Professor Dr.-Ing. Eckehard Schnieder
Subject Area
Theoretical Computer Science
Term
from 2000 to 2004
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5279066
Im Projekt KNOSSOS werden die Spezifikationssprachen Petrinetze und Troll methodisch integriert. Dadurch wird eine durchgängig formale Technik von den betrieblichen Anforderungen bis zum Entwurf des Informationssystems einer ingenieurwissenschaftlichen Anwendung entwickelt. Petrinetze werden zu diesem Zweck zur Spezifikation des betrieblichen Verhaltens auf Systemebene, Troll zur komponentenbasierten Spezifikation des Informationssystems und seiner Umgebung verwendet. Die Verbindungen zwischen diesen Techniken müssen auf einer formal eindeutigen Basis stehen. Deshalb wird im Projekt KNOSSOS im Bereich Metamodelle untersucht, wie verschiedene formale Beschreibungstechniken über die Charakterisierung ihrer Verwendungsweisen in Abhängigkeit von einer bestimmten Anwendungsdomäne miteinander in Bezug gesetzt werden können. Die Ergebnisse der Arbeiten werden in der Bearbeitung der Fallstudie eines funkbasierten Bahnübergangs erprobt und erweitert. Die Betreuung dieser Referenzfallstudie Verkehrsleittechnik, die von sechs weiteren Projekten innerhalb des Schwerpunktprogramms bearbeitet wird, ist ebenfalls Teil des Projekt KNOSSOS. Im Rahmen dieser Betreuung wird ein physikalisches Modell in Form einer Modelleisenbahnanlage realisiert. Sie dient der Vorführung, Erprobung und Validierung von Steuerungsimplementierungen aus den einzelnen Projekten des Schwerpunktprogramms.
DFG Programme
Priority Programmes
