Übersicht


AVACS besteht aus drei Forschungs-Projektbereichen namens R, H und S. Jeder Projektbereich fasst drei bis vier Teilprojekte zusammen. Ein weiterer Projektbereich namens Z stellt zentrale Dienste zur Verfügung. Die Links in der folgenden Übersicht öffnen Fenster mit Kurzbeschreibungen der jeweiligen Bereiche.

Abkürzungen:

  • CvOU: Carl von Ossietzky Universität Oldenburg

  • ALU: Albert-Ludwigs-Universität Freiburg

  • UdS: Universität des Saarlandes

  • MPII: Max-Planck-Institut für Informatik, Saarbrücken

  • ASCR: Academy of Sciences of the Czech Republic

SFB/TRR 14 AVACS

Übersicht über die Teilprojekte und Projektbereiche


Sprecher : W. Damm; Stellv. Sprecher : B. Becker, B. Finkbeiner
Vorstand : B. Becker, W. Damm, B. Finkbeiner, M. Fränzle, E. Olderog, A. Podelski
Vision -- Zusammenfassung

Projektbereich R
Realzeit-Systeme
Koordinator: E. Olderog, CvOU
Zusammenfassung
(Nur in Englisch)

Projektbereich H
Hybride Systeme
Koordinator: Fränzle
Zusammenfassung
(Nur in Englisch)

Projektbereich S
Grobgranulare Systemstrukturen
Koordinator: Podelski
Zusammenfassung
(Nur in Englisch)

R1: Mehr als Timed Automata Koordinator: E. Olderog, CvOU
Projektleiter:
B. Finkbeiner, UdS
M. Fränzle, CvOU
A. Podelski, ALU
V. Sofronie- Stokkermans, MPII



H1/2: Constraint-basierte Verifikation hybrider Systeme
Koordinator: M. Fränzle, CvOU
Projektleiter:
E. Althaus, MPII
B. Becker, ALU
K. Mehlhorn, MPII
C. Weidenbach, MPII
Weitere Personen:
S. Ratschan, ASCR

S1: Kompositionelle Verifikation komplexer Systeme
Koordinator: B. Finkbeiner, UdS
Projektleiter:
B. Becker, ALU
B. Nebel, ALU
C. Scholl, ALU



R2: Zeitanalysen, Scheduling und Verteilung von Realzeit-Tasks
 Koordinator: Wilhelm, UdS
Projektleiter:
E. Althaus, MPII
W. Damm, CvOU
S. Hack, UdS
J. Reineke, UdS

H3: Automatische Abstraktion für Hybride Controller Koordinator: W. Damm, CvOU
Projektleiter:
E. Althaus, MPII
E. Olderog, CvOU
C. Scholl, ALU
Sofronie-Stokkermanns, MPII
U. Waldmann, MPII

S2: Dynamische Kommunikationssysteme Koordinator: A. Podelski, ALU
Projektleiter:
W. Damm, CvOU
B. Finkbeiner, UdS
H. Hermanns, UdS
J: Reineke, UdS
C. Weidenbach, MPII

R3: Heuristisches Suchen und Abstraktes Model-Checking für Realzeit-Systeme
Koordinator: B. Nebel, ALU
Projektleiter:
B. Finkbeiner, UdS
A. Podelski, ALU

H4: Automatische Verifikation von Stabilitätseigenschaften in Hybriden Systemen Koordinator: O. Theel, CvOU
Projektleiter: M. Fränzle, CvOU
H. Hermanns, UdS
A. Podelski, ALU
V. Wolf, UdS

S3: Formale Verifikation von Verfügbarkeitseigenschaften Koordinator: H. Hermanns, UdS
Projektleiter:
B. Becker, ALU
O. Theel, CvOU
V. Wolf, UdS

Projektbereich Z: Zentrale Dienste
Koordinator: W. Damm, CvOU
Projektleiter:
B. Becker, ALU
B. Finkbeiner, UdS