idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
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
Merkmale dieser Pressemitteilung:
Informationstechnik
regional
Studium und Lehre
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
