Project Details
Projekt
Kombinierte Netz-Objektorientierungs-Spezifikationstechnik für Software von Sicherheitssystemen
Applicant
Professor Dr. Hans-Dieter Ehrich
Subject Area
Theoretical Computer Science
Term
from 1998 to 2003
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5134834
Ziel des Vorhabens ist, die Spezifikationssprachen Troll und Petrinetze so zu integrieren, dass sie als Beschreibungsmittel methodisch durchgängig für verschiedene Aufgabenstellungen in verschiedenen Phasen des Systementwicklungsprozesses eingesetzt werden können. Ausgehend von dem Integrationsansatzes zur Modellierung des Sollverhaltens, der in der ersten Phase entwickelt wurde, wird hier die Weiterentwicklung des Ansatzes zur Spezifikation und zum Nachweis von Sicherheitseigenschaften auf der Ebene der Anforderungsspezifikation beantragt. Im Sinne der Phasen des Systemenwicklungsprozesses wird der Integrationsansatz hinsichtlich des Übergangs von der Anforderungs- zur Entwurfsspezifikation betrachtet und der Aufgabe entsprechend erweitert. Der bereits entwickelte Ansatz zur Integrations- und Metamodellierung soll fortgeführt und formalisiert werden. Neben der Integrationsmodellierung im Einzelprojekt soll die Metamodellierung auch bei der Aufarbeitung der Referenzfallstudie Verkehrsleittechnik zum Einsatz kommen. Die Ergebnisse des Vorhabens werden anhand der Bearbeitung der im Schwerpunktprogramm zur Verfügung gestellten Referenzfallstudie Verkehrsleittechnik erarbeitet und demonstriert. Neben den Arbeiten am Einzelprojekt wird die Betreuung der Referenzfallstudie Verkehrsleittechnik für das gesamte Schwerpunktprogramm übernommen. Insbesondere wird die physikalische Realisierung eines Demonstrators zu wissenschaftlichen Zwecken der am entsprechenden Themenbereich teilnehmenden Einzelprojekte beantragt.
DFG Programme
Priority Programmes
