Informatik-Studenten im zweiten bis fünften Semester können sich jetzt für ein kostenloses Summercamp zum Thema "Entfesselte Automaten" vom 7. bis 12. September bewerben. Dabei geht es um reaktive Systeme wie zum Beispiel die Steuerung eines Airbags, die fortlaufend auf Impulse der Umgebung reagiert. Das Summercamp wird von fünf erfahrenen Wissenschaftlern geleitet, die an reaktiven und verlässlichen Systemen, Realzeitsteuerungen und BioTech-Anwendungen forschen. Nur 30 Studenten dürfen an dem Camp teilnehmen, das aus Mitteln der Exzellenzinitiative des Bundes und der Länder finanziert wird und in der Europäischen Akademie in Otzenhausen stattfindet.
Ü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
http://www.entfesselte-automaten.de
Criteria of this press release:
Information technology
regional
Studies and teaching
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).