Reihe "Schlossgespräche" am Montag, 4. Juni 2007, 16.00 Uhr im Großen Saal von Schloss Birlinghoven (Fraunhofer-Institutszentrum Schloss Birlinghoven) / Die allgemeine Öffentlichkeit ist herzlich eingeladen!
SANKT AUGUSTIN. Wolfgang J. Paul ist Professor für Informatik an der Universität des Saarlandes in Saarbrücken und hat einen Gesellenbrief als Koch. Zum Birlinghovener Schlossgespräch serviert er einen Vortrag zum Thema "Garantiert fehlerfreies Design in industriellen Computersystemen".
Formale Verifikation gestattet heute den Nachweis, dass ganze Computersysteme von industrieller Komplexität - von der Hardware über das Betriebssystem und die Kommunikationssysteme bis zu den Anwendungen - fehlerfrei entworfen sind. Paul erläutert die wesentlichen Theorien und Werkzeuge, mit denen solche Nachweise in den letzten Jahren möglich gemacht worden sind.
Im Nachhinein zeigt sich, dass man die gleichen Ergebnisse auch zehn bis 15 Jahre früher hätte erzielen können. Deshalb untersucht der Vortrag kurz die Mechanismen im Wissenschaftsbetrieb, die für diese Verzögerung verantwortlich sein könnten.
Professor Paul beschließt den Vortrag mit einem Überblick über laufende Industriekooperationen.
http://www.izb.fraunhofer.de
http://www-wjp.cs.uni-sb.de/leute/individuum.php?person=1
Merkmale dieser Pressemitteilung:
Gesellschaft, Informationstechnik, Mathematik, Physik / Astronomie
regional
Buntes aus der Wissenschaft, Forschungs- / Wissenstransfer
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).