idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instance:
Share on: 
05/18/2007 10:27

Wissenschaftsmatinee: Laufzeitgarantien für Echtzeitsysteme

Saar - Uni - Presseteam Presse- und Informationszentrum
Universität des Saarlandes

    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


    Images

    Criteria of this press release:
    Information technology
    regional
    Miscellaneous scientific news/publications
    German


     

    Help

    Search / advanced search of the idw archives
    Combination of search terms

    You can combine search terms with and, or and/or not, e.g. Philo not logy.

    Brackets

    You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

    Phrases

    Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

    Selection criteria

    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).