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.
Criteria of this press release:
Information technology, Traffic / transport
regional
Miscellaneous scientific news/publications, Scientific conferences
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
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).
