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
• Teilprojekt zu: TRR 14: AVACS - Automatische Verifikation und Analyse komplexer Systeme
• Antragstellende Institution: Carl von Ossietzky Universität Oldenburg
• Mitantragstellende Institution: Albert-Ludwigs-Universität Freiburg; Universität des Saarlandes
• Teilprojektleiter: Professor Dr. Bernd Becker; Professor Dr. Bernd Finkbeiner; Professor Dr. Bernhard Nebel; Professor Dr.-Ing. Christoph Scholl