Am Sonntag, 3. Juni, 11.00 Uhr findet wieder eine Wissenschaftsmatinee des WissenschaftsForums Saar statt. Sie beginnt im Hochwald-Gymnasium Wadern mit einem Vortrag über "Laufzeitgarantien für Echtzeitsysteme" des Saarbrücker Informatik-Professors Dr. Reinhard Wilhelm. Nach einer Diskussionsrunde wird die Matinee im Schloss Dagstuhl fortgesetzt, wo die Teilnehmer das Schloss und das Internationale Begegnungs- und Forschungszentrum für Informatik besichtigen können.
Zum Vortrag: Viele sicherheitskritische, eingebettete Systeme wie Airbag, ABS und automatische Flugzeugsteuerung müssen "pünktlich" reagieren.
So muss der Airbag aufgeblasen sein, bevor der Autofahrer auf das Lenkrad schlägt. Der Hersteller des Systems muss garantieren, dass der eingesetzte Rechner die notwendigen Berechnungen innerhalb der vorgegebenen Fristen durchführen kann. Der Vortrag gibt Einblick in die in Saarbrücken entwickelten Methoden und Systeme zur Zeitanalyse, die bei der Zertifizierung zeitkritischer Systeme des Airbus A380 eingesetzt wurden.
Zur Person: Reinhard Wilhelm ist seit 1978 Professor für Informatik an der Universität des Saarlandes in Saarbrücken und seit 1990 Wissenschaftlicher Direktor des Internationalen Begegnungs- und Forschungszentrums für Informatik, Schloss Dagstuhl. Er ist Mitbegründer der Firma AbsInt, die Werkzeuge zur Unterstützung der Entwicklung von korrekter Software anbietet. 2007 erhielt er vom französischen Minister für Forschung den Gay-Lussac-Humboldt-Forschungspreis
In der Wissenschaftsmatinee präsentieren Forscher aus dem Saarland hervorragende Resultate ihrer wissenschaftlichen Arbeit.
Die Wissenschafts-Matinee ist eine Veranstaltungsreihe des WissenschaftsForum-Saar e.V., die in Zusammenarbeit mit unterschiedlichen Partnerorganisationen an wechselnden Orten im Saarland durchgeführt wird.
Zu Vortrag und Diskussion im Hochwaldgymnasium sowie zu anschließendem Umtrunk mit Mittagessen und Führungen laden ein:
WissenschaftsForum Saar
Internationales Begegnungs- und Forschungszentrum Schloss Dagstuhl
Hochwaldgymnasium
Für das Mittagessen wird ein geringer Kostenbeitrag erhoben.
Anmeldung und weitere Informationen:
http://www.wissenschaftsforum-saar.de
Internationales Begegnungs- und Forschungszentrum für Informatik gem.GmbH.
Schloss Dagstuhl
66687 Wadern-Dagstuhl
Angelika Müller
Tel.: 0681 - 302 3847 (Universität)
Email: angelika.mueller@dagstuhl.de
Criteria of this press release:
Information technology
regional
Miscellaneous scientific news/publications
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).