Von der Marmelade zum Airbag: Eingebettete Systeme sind überall, aber ganz schön kompliziert
Vortrag von Prof. Dr. Holger Hermanns,
Universität des Saarlandes
Montag, 8. Mai 2006, 19.00 Uhr bis 20.30 Uhr,
vhs-Zentrum, Am Schlossplatz, Saarbrücken
Immer mehr technische Geräte des Alltags werden von Computerprogrammen gesteuert. Software kontrolliert inzwischen unsere Kühlschränke, Schweineställe und Herzschrittmacher. Sie sorgt dafür, dass Flugzeuge und Autos zuverlässig funktionieren. Die Informationstechnologie in einem Mittelklasse-Auto ist heute fast so umfangreich wie das Rechnernetz einer kleinen Firma, außer dass man von den Kleinst-Computern und Programmen nichts sieht - und als Fahrer des Autos auch nichts sehen will. In seinem Vortrag wird Informatik-Professor Holger Hermanns in mathematischen Grundlagen einführen, die für die so genannte "eingebettete" Informationstechnologie benötigt wird. Am Beispiel eines Airbag-Controllers wird er exemplarisch demonstrieren, welche komplexen Analysen nötig sind, um die Zuverlässigkeit der Soft- und Hardware zu garantieren.
Prof. Hermanns arbeitet in dem Sonderforschungsbereich AVACS mit, der mit rund acht Millionen Euro gefördert wird und von den Universitäten Oldenburg, Freiburg und Saarbrücken sowie dem Max-Planck-Institut für Informatik getragen wird. Darin geht es um die automatische Analyse komplexer Steuerungssysteme, wie sie in Autos, Zügen und Flugzeugen zu finden sind.
Vertreter der Presse sind dazu herzlich eingeladen.
Weitere Informationen unter: http://www.informatik-saarland.de oder
Tel. 0681/302-58099.
Merkmale dieser Pressemitteilung:
Informationstechnik
regional
Buntes aus der Wissenschaft, 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).