BERICHTE Department für Informatik Zwei-Jahresbericht des ...

Kapitel 6
Abteilungsübergreifende Projekte
6.1 Sonderforschungsbereich / Transregio 14 AVACS
Automatic Verification and Analysis of Complex Systems
Sprecher Herr Prof. Dr. Werner Damm
Finanzierung Deutsche Forschungsgemeinschaft (DFG)
Laufzeit Erste Förderperiode: 01.01.2004-31.12.2007
Zwei weitere vierjährige Förderperioden sind geplant
Beteiligte Universitäten
Carl von Ossietzky Universität Oldenburg (Sprecherhochschule)
Albert-Ludwigs Universität Freiburg
Universität des Saarlandes
Max-Planck-Institut für Informatik, Saarbrücken
Beteiligte Arbeitsgruppen an der CvO Universität
Abteilung Entwicklung korrkter Systeme, Prof. Dr. E.-R. Olderog
Abteilung Hybride Systeme, Prof. Dr. M. Fränzle
Abteilung Sicherheitskritische Systeme, Prof. Dr. W. Damm
Abteilung Systemsoftware und verteilte Systeme, Prof. Dr. O.Theel
Homepage http://www.avacs.org/
Inhalt
Wie kaum ein anderes Gebiet muss sich die Informationstechnik der Herausforderung stellen,
dass ihre Artefakte flexibel und mit vergleichsweise geringem Aufwand technisch machbar sind,
bei gleichzeitiger Verdoppelung der technischen Leistungsfähigkeit ihrer Basiskomponenten alle
2 Jahre. Dies hat dazu geführt, dass komplexe Computer-basierte Systeme gebaut und flächendeckend
eingesetzt werden, von deren korrektem Verhalten man sich zwar durch Testen zu
überzeugen versucht, deren Funktionsweise man in ihrer Gesamtheit aber nicht überschaut.
Was technisch gemacht wird übersteigt bei weitem das, was man analytisch versteht. Dieses ist
nicht nur vom wissenschaftlichen Standpunkt unbefriedigend, es birgt auch ein hohes Risiko für
Leib und Leben der Menschen, die diesen Systemen etwa in Haushalt, Auto, Bahn, Flugzeug,
Kraftwerken, Industrieanlagen ausgesetzt sind, ganz abgesehen von den hohen ökonomischen
Schäden, wenn es durch Fehler zur Zerstörung teurer Anlagen (Ariane V) kommt oder wenn
Schadensersatzleistungen anderer Art notwendig werden.
Der Sonderforschungsbereich / Transregio AVACS widmet sich besonders den Systemen,
die in sicherheitskritischen Bereichen eingesetzt werden und dort physikalische und technische
Prozesse kontrollieren und steuern, wie etwa im Transportwesen bei Auto, Eisenbahn und Flug-
173