idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Das Ziel des neuen DFG-Sonderforschungsbereiches "Automatische Verifikation und Analyse komplexer Systeme (AVACS)": Komplexe computergesteuerte Systeme wie sie in der Flugüberwachung, im Schienenverkehr, in Industrieanlagen oder Kraftwerken zum Einsatz kommen, sollen per Knopfdruck automatisch auf Zuverlässigkeit und Sicherheit geprüft werden können. Störquellen sollen ausgeschaltet und Unfallrisiken minimiert werden.
Das überregionale Großprojekt wird gemeinsam von den Universitäten Oldenburg, Freiburg und Saarbrücken sowie dem Max-Planck-Institut für Informatik in Saarbrücken unter Mitwirkung von Forschern an der ETH Zürich (Schweiz) und der DTU Lyngby (Dänemark) getragen; Sprecheruniversität ist Oldenburg (Professor Dr. Werner Damm). Die Deutsche Forschungsgemeinschaft (DFG) hat für zunächst vier Jahre Fördermittel in Höhe von rund zwei Millionen Euro jährlich zugesagt.
Computergestützte Anflugkontrolle per Autopilot, elektronische Steuerung der Ein- und Ausfuhr des Transrapid in Hochgeschwindigkeitsbahnhöfen, Optimierung der Bremswirkung und Kurvenlage von Autos per ABS und EPS - die Bordelektronik in modernen Flugzeugen, in Zügen und im Automobil ist zu einem hohem Grad automatisiert. Ausgeklügelte computergesteuerte Systeme sind aufeinander abgestimmt und sorgen für den reibungslosen Ablauf des gesamten Luft- und Zugverkehrs. Die Funktionen, die diese elektronischen Steuergeräte erfüllen, werden immer vielfältiger und anspruchsvoller. Alle zwei Jahre verdoppelt sich die Leistungsfähigkeit der Basiskomponenten, die in der Regel schnell und flächendeckend in Verkehrsmitteln eingesetzt werden. Die Piloten, Zugführer und Autofahrer müssen sich hundertprozentig auf die Technik verlassen können. Fehler in sicherheitskritischen Computersystemen von Verkehrsmitteln können Leben gefährden.
Bisher erlaubt die Technik nur die automatische Überprüfung und Analyse von begrenzten Aspekten solcher Systeme, wie zum Beispiel ihrer Stabilität oder Kontinuität. Die an AVACS angeschlossenen Spitzenforscher wollen diese Technologie nun auf eine neue Ebene heben: Die Systemzuverlässigkeit lässt sich nur dann entscheidend verbessern, wenn die Softwareingenieure die kritischen Eigenschaften mit automatisierten Techniken, gewissermaßen auf Knopfdruck, analysieren und überprüfen können. Daher zielt AVACS auf die automatische Analyse hochgradig vernetzter Systeme bereits während der Entwicklungsphase. AVACS wird dabei in neue Größenordnungen der Systemkomplexität vorstoßen, so dass damit Anwendungen wie Flugüberwachungs- oder Zugkontrollsysteme einer mathematisch vollständigen Sicherheitsanalyse unterzogen werden können.
Um dieses Ziel zu verwirklichen, setzen die Forscher aus Oldenburg, Saarbrücken, Freiburg, Zürich und Lyngby auf die Kombination von Methoden der mathematischen Semantik komplexer Systeme (Fundierung) mit algorithmisch-deduktiven Methoden (Automatisierung).
"AVACS baut auf langjährigen Vorarbeiten der Saarbrücker Wissenschaftler im Bereich des rechnergestützten Beweisens und der automatischen Verifikation von Softwareeigenschaften auf, die auch zu Industriekooperationen wie zum Beispiel mit Airbus geführt haben", erklärt Professor Dr. Reinhard Wilhelm, stellvertretender Sprecher und gleichzeitig Standort-Koordinator von AVACS in Saarbrücken.
Sie haben Fragen? Wenden Sie sich bitte an den stellvertretenden Sprecher und gleichzeitig Standort-Koordinator von AVACS in Saarbrücken Professor Dr. Reinhard Wilhelm, Tel. (0681) 302-3434, E-Mail: wilhelm@cs.uni-sb.de
Merkmale dieser Pressemitteilung:
Elektrotechnik, Energie, Informationstechnik, Verkehr / Transport
überregional
Forschungsprojekte
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
