Automatisierte Verifikation kooperierender Verkehrssysteme (H03)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2004 bis 2015
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5485999

Im Teilprojekt soll die Verifikation kooperierender hybrider Systeme behandelt werden: Hierbei sollzum einen untersucht werden, welche leicht überprüfbaren Kooperationsprinzipien für die Konstruktionsicherheitskritischer Systeme folgen und zum anderen, welche bestimmten Muster die Interaktionvon steuernder und gesteuerter Einheit und/oder komplexe Steuerkomponentenmodelle mit nichttrivialen,diskreten Kontrollanteilen und komplexen Daten beinhalten. Allen Beispielen solcher Systeme istein schichtenartiger Aufbau gemeinsam, in dem globale Kooperationen von lokaler Steuerung separiertist. Das Vorhaben will eine Verifikationsmethodologie entwickeln, welche diese schichtenartigeEntwurfsstruktur ausnutzt.

• 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; Max-Planck-Institut für Informatik
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr. Ernst Althaus; Professor Dr. Werner Damm; Professor Dr. Ernst-Rüdiger Olderog; Professor Dr.-Ing. Christoph Scholl; Professorin Dr. Viorica Sofronie-Stokkermans; Dr.-Ing. Uwe Waldmann