Üblicherweise geht man davon aus, dass ein Computerprogramm eine Funktion ist, die aus einer Eingabe in endlich vielen Schritten ein Ergebnis berechnet. Bei modernen Computern ist jedoch gerade das nicht der Fall, denn sie sind reaktiv, das heißt, sie kommen mit ihren Berechnungen nie zu einem Ende, sondern reagieren ständig auf Impulse der Umgebung. Handys sind ein Beispiel dafür, aber auch drahtlose Netzwerke oder eingebettete Steuersysteme wie etwa die Bremsen eines Autos. Dabei kommt es auf Timing und Zuverlässigkeit an: Ein Airbag muss innerhalb weniger Millisekunden zünden. WLAN muss auch dann noch funktionieren, wenn gelegentlich die Mikrowelle läuft.
Thema des Summercamps werden daher die Steuerung von Echtzeit-Systemen, die Regelung biotechnischer Prozesse, die Koordination von Sensornetzwerken und ganz allgemein die korrekte Funktion von Hardware und Software sein. Um reaktive Systeme modellieren und analysieren zu können, muss man so manche Fesseln der klassischen Automatentheorie abstreifen: Was passiert, wenn Berechnungen aus unendlich vielen Schritten bestehen? Was, wenn der Raum der möglichen Zustände unbegrenzt groß wird? Antworten auf diese Fragen gibt es bei dem Summercamp
Fragen beantworten:
Prof. Dr. Holger Hermanns; Lehrstuhl für Verlässliche Systeme; Tel. 0681/302-5631
Dr. Michelle Carnell; Saarbrücker Graduiertenschule der Informatik; Tel. 0681/302-5523
Information on participating / attending:
Bewerbung und Informationen zum Summercamp gibts auf folgender Internetseite:
Date:
09/07/2008 - 09/12/2008
Event venue:
Fachrichtung Informatik der Universität des Saarlandes
Campus Saarbrücken
66123 Saarbrücken
Saarland
Germany
Target group:
Students
Email address:
Relevance:
regional
Subject areas:
Information technology
Types of events:
Entry:
07/02/2008
Sender/author:
Saar - Uni - Presseteam
Department:
Presse- und Informationszentrum
Event is free:
no
Language of the text:
German
URL of this event: http://idw-online.de/en/event24065
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).