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