idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
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
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
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).
