Detailseite
Projekt
Kombinierte Netz-Objektorientierungs-Spezifikationstechnik für Software von Sicherheitssystemen
Antragsteller
Professor Dr.-Ing. Eckehard Schnieder
Fachliche Zuordnung
Theoretische Informatik
Förderung
Förderung von 2000 bis 2004
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren
Schwerpunktprogramme
