Automated Verification of Cooperating Traffic Agents (H03)

• Subject Area: Software Engineering and Programming Languages
• Term: from 2004 to 2015
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: CRC/Transregios
• Subproject of: TRR 14: Automatic Verification and Analysis of Complex Systems
• Applicant Institution: Carl von Ossietzky Universität Oldenburg
• Co-Applicant Institution: Albert-Ludwigs-Universität Freiburg; Max-Planck-Institut für Informatik
• Project Heads: 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