German Verification Day - AVACS und VERISOFT präsentieren Forschungsprojekte

Gerhard Harms

Presse und Kommunikation

Carl von Ossietzky-Universität Oldenburg

25.02.2005 10:40

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

URL dieser Pressemitteilung: http://www.idw-online.de/pages/de/news102209

Merkmale dieser Pressemitteilung:

Informationstechnik, Mathematik, Physik / Astronomie, Verkehr / Transport

regional

Buntes aus der Wissenschaft, Forschungsprojekte, Wissenschaftliche Tagungen

Deutsch

Sie müssen angemeldet sein, um die Pressemitteilung einem Admin zu melden.

Druckansicht forward

Kurzlink