idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instance:
Share on: 
11/23/2011 14:56

Sonderforschungsbereich verlängert: 10 Millionen für Erforschung sicherheitskritischer Systeme

Dr. Corinna Dahm-Brey Presse und Kommunikation
Carl von Ossietzky-Universität Oldenburg

    Großer Erfolg für die Oldenburger Informatik: Die Deutsche Forschungsgemeinschaft (DFG) entschied heute, den vor acht Jahren ins Leben gerufenen Sonderforschungsbereich (Transregio) „Automatic Verification and Analysis of Complex Systems“ (AVACS) für weitere vier Jahre zu fördern. Dafür stellt sie 10 Millionen Euro bereit.

    Sprecher des Sonderforschungsbereichs ist der Oldenburger Hochschullehrer für Sicherheitskritische eingebettete Systeme, Prof. Dr. Werner Damm. Neben den Oldenburger Informatikern Prof. Dr. M. Fränzle, Prof. Dr. Ernst-Ruediger Olderog und Prof. Dr. Oliver Theel sind WissenschaftlerInnen der Universitäten in Freiburg und Saarbrücken sowie des Max-Planck-Instituts für Informatik in Saarbrücken beteiligt. Partner der Forschungsarbeiten ist außerdem die Akademie der Wissenschaften der Tschechischen Republik.

    „Die DFG bestätigt mit ihrer Entscheidung eindrücklich die Qualität der Forschung, die die Wissenschaftlerinnen und Wissenschaftler in den letzten acht Jahren geleistet haben. Sie unterstreicht aber auch zugleich die besondere Relevanz dieser Arbeiten für die Zukunft des Verkehrs und die Mobilität unserer Gesellschaft“, betonte Universitätspräsidentin Prof. Dr. Babette Simon.

    Seit Januar 2004 arbeiten die WissenschaftlerInnen von AVACS daran, Techniken zur mathematisch exakten Verifikation und zur Analyse von sicherheitskritischen eingebetteten Systemen zu entwickeln. Neben fachlich ausgezeichneten Ergebnissen sei insbesondere die Zusammenarbeit der Experten unterschiedlicher Teildisziplinen ausschlaggebend für den Erfolg von AVACS, betonte Damm. Die Verlängerung der Förderung werde dazu beitragen, die Sicherheit von verkehrstechnischen Anwendungen in Autos, Flugzeugen und Bahnen mit mathematischen Methoden nachzuweisen. „Die Vision von AVACS ist es, dass die Sicherheitseigenschaften auch von hochgradig vernetzten Systemen automatisch per Knopfdruck überprüft werden können – und zwar sowohl auf der Modellebene als auch in den realen Anwendungen im Verkehr“, so Damm.

    Kontakt: Prof. Dr. Werner Damm, Tel.: 0441/9722-500, E-Mail: werner.damm@informatik.uni-oldenburg.de


    More information:

    http://www.avacs.org


    Images

    Prof. Dr. Werner Damm im Fahrsimulator der Universität zur Erprobung neuer Assistenzfunktionen. Mit dem Simulator lassen sich AVACS-Techniken auf Störungsfreiheit überprüfen.
    Prof. Dr. Werner Damm im Fahrsimulator der Universität zur Erprobung neuer Assistenzfunktionen. Mit ...

    None


    Criteria of this press release:
    Journalists, Scientists and scholars
    Electrical engineering, Information technology, Mathematics, Physics / astronomy, Traffic / transport
    transregional, national
    Research projects, Science policy
    German


     

    Prof. Dr. Werner Damm im Fahrsimulator der Universität zur Erprobung neuer Assistenzfunktionen. Mit dem Simulator lassen sich AVACS-Techniken auf Störungsfreiheit überprüfen.


    For download

    x

    Help

    Search / advanced search of the idw archives
    Combination of search terms

    You can combine search terms with and, or and/or not, e.g. Philo not logy.

    Brackets

    You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

    Phrases

    Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

    Selection criteria

    You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).

    If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).