Ü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
Hinweise zur Teilnahme:
Bewerbung und Informationen zum Summercamp gibts auf folgender Internetseite:
Termin:
07.09.2008 - 12.09.2008
Veranstaltungsort:
Fachrichtung Informatik der Universität des Saarlandes
Campus Saarbrücken
66123 Saarbrücken
Saarland
Deutschland
Zielgruppe:
Studierende
E-Mail-Adresse:
Relevanz:
regional
Sachgebiete:
Informationstechnik
Arten:
Eintrag:
02.07.2008
Absender:
Saar - Uni - Presseteam
Abteilung:
Presse- und Informationszentrum
Veranstaltung ist kostenlos:
nein
Textsprache:
Deutsch
URL dieser Veranstaltung: http://idw-online.de/de/event24065
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).