idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Ringvorlesung zum Informatikjahr
Vortrag von Prof. Dr. Wolfgang Paul
Lehrstuhl für Rechnerarchitektur der Universität des Saarlandes
Montag, 24. April, 19 Uhr bis 20 Uhr 30,
Schlosskeller im Saarbrücker Schloss
In einem Auto der Oberklasse befinden sich heute rund 80 Prozessoren, also Mini-Computer, die unter anderem die Bremssysteme, Airbags und Multimediageräte steuern. Damit ihr Zusammenspiel reibungslos funktioniert, müssen die einzelnen Rechenschritte der Software exakt aufeinander abgestimmt sein. Prof. Wolfgang Paul von der Universität des Saarlandes hat dafür eine Methode erfolgreich eingesetzt, die so genannte formale Verifikation. Mit ihrer Hilfe kann bewiesen werden, dass Computersysteme ihre mathematisch exakten Vorgaben korrekt erfüllen, also keine Fehler mehr enthalten. Bisher will kein Hersteller eine Garantie auf fehlerfreie Software geben, dank der Verifikation wird dies aber möglich werden. Im Rahmen des Forschungsprojektes Verisoft, das vom Bundesministerium für Bildung und Forschung (BMBF) mit 14,8 Mio. Euro gefördert wird, entwickeln Prof. Paul und sein Team die dafür notwendigen Werkzeuge. Als Beispiel für ein komplexes verteiltes System nehmen sie derzeit den automatischen Autonotruf eCall unter die Lupe. Der Autonotruf, der ab 2009 in alle Neuwagen eingebaut werden soll, hat zum Ziel, dass die Autos selbst nach einem Unfall die nächste Rettungsstelle alarmieren.
Zum Informatikjahr 2006 bietet das Kompetenzzentrum Informatik der Universität des Saarlandes die Ringvorlesung zum Thema "Was Informatik an Wissen schafft" an. Informatik-Professoren der Universität, des Max-Planck-Instituts für Informatik, des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) und der Hochschule für Technik und Wirtschaft stellen ihre aktuellen Forschungsergebnisse der breiten Öffentlichkeit vor. Die Ringvorlesung, die das Kompetenzzentrum Informatik gemeinsam mit dem Stadtverband und der Stadt Saarbrücken veranstaltet, findet jeweils montags von 19 Uhr bis 20 Uhr 30 im vhs-Zentrum am Saarbrücker Schlossplatz statt. Der Eintritt ist frei.
Vertreter der Presse sind dazu herzlich eingeladen.
Weitere Informationen unter: http://www.informatik-saarland.de oder Tel. 0681/302-58099.
Merkmale dieser Pressemitteilung:
Informationstechnik, Verkehr / Transport
regional
Buntes aus der Wissenschaft, 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).
