idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
idw - Informationsdienst
Wissenschaft
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
Criteria of this press release:
Information technology, Mathematics, Physics / astronomy, Social studies
regional
Miscellaneous scientific news/publications, Transfer of Science or Research
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).
