Detailseite
Projekt Druckansicht

Kompositionelle Verifikation komplexer Systeme (S01)

Fachliche Zuordnung Softwaretechnik und Programmiersprachen
Förderung Förderung von 2004 bis 2015
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5485999
 
Ziel dieses Teilprojekts ist die Entwicklung von automatischen Verifikationsmethoden für verteilteSysteme, die aus mehrere statisch miteinander verbundenen Komponenten aufgebaut sind. Ein typischesBeispiel ist die Steuerelektronik in Zügen. Die Verifikation komplexer verteilter Systeme ist inder Regel nur mit kompositionalen Methoden möglich, weil es zu aufwändig ist, die Implementierungsdetailsaller Komponenten gleichzeitig zu betrachten. Auf Grundlage der Verifikationstechnikensoll schließlich ein automatisches Syntheseverfahren für Annahmen über Komponenten entwickeltwerden.
DFG-Verfahren Transregios
Antragstellende Institution Carl von Ossietzky Universität Oldenburg
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung