idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
idw-Abo
Medienpartner:
Wissenschaftsjahr


Teilen: 
25.02.2005 10:40

German Verification Day - AVACS und VERISOFT präsentieren Forschungsprojekte

Gerhard Harms Presse & Kommunikation
Carl von Ossietzky-Universität Oldenburg

    Der erste German Verification Day, zu dem hochkarätige Referenten und über einhundert Gäste erwartet werden, wird am Freitag, 4. März 2005, im Hörsaalzentrum der Universität Oldenburg stattfinden. Im Rahmen des Workshops präsentieren die beiden größten deutschen Forschungsprojekte auf dem Gebiet der Verifikation und Analyse eingebetteter Systeme, der von der Deutschen Forschungsgemeinschaft (DFG) geförderte Sonderforschungsbereich AVACS und das vom Bundesforschungsministerium (BMBF) geförderte Verbundprojekt VERISOFT, ihre Ergebnisse nach einem Jahr Forschung.

    AVACS ist ein gemeinsames Grundlagen-Forschungsprojekt der Universitäten Oldenburg (Sprecherhochschule), Freiburg und Saarbrücken sowie des Max-Planck-Instituts für Informatik in Saarbrücken. Rund 70 WissenschaftlerInnen arbeiten daran, Techniken zur mathematisch exakten Verifikation und zur Analyse von sicherheitskritischen eingebetteten Systemen, die beispielsweise in Flugzeugen, Kraftfahrzeugen und im Schienenverkehr eingesetzt werden, so zu verbessern, dass eine umfassende Sicherheitsanalyse möglichst vollautomatisch durchgeführt werden kann.

    Ziel des Projekts VERISOFT ist die Bereitstellung vollständig verifizierter Komponenten für den industriellen Entwurf sicherheitskritischer eingebetteter Systeme. Dazu arbeiten WissenschaftlerInnen zusammen mit Vertretern der Industrie (unter anderem BMW, Infineon, T-Systems) an der formalen Verifikation solcher Komponenten (beispielsweise Prozessoren, Compiler und Betriebssysteme).

    Prof. Dr. Werner Damm (Universität Oldenburg) und Prof. Dr. Wolfgang Paul (Universität des Saarlands) sind die Organisatoren des Oldenburger Workshops.

    Kontakt: Prof. Dr. Werner Damm, Tel.: 0441/97200-500, E-Mail: damm@informatik.uni-oldenburg.de
    Jürgen Niehaus, Tel.: 0441/9722503, E-Mail: juergen.niehaus@offis.de


    Weitere Informationen:

    http://www.avacs.org/gvd
    http://www.verisoft.de


    Merkmale dieser Pressemitteilung:
    Informationstechnik, Mathematik, Physik / Astronomie, Verkehr / Transport
    regional
    Buntes aus der Wissenschaft, Forschungsprojekte, Wissenschaftliche Tagungen
    Deutsch


    Hilfe

    Die Suche / Erweiterte Suche im idw-Archiv
    Verknüpfungen

    Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

    Klammern

    Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

    Wortgruppen

    Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

    Auswahlkriterien

    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).

    Cookies optimieren die Bereitstellung unserer Dienste. Durch das Weitersurfen auf idw-online.de erklären Sie sich mit der Verwendung von Cookies einverstanden. Datenschutzerklärung
    Okay