Liebe Studierende, die Vorlesung "Design of Reliable and Dependable Systems" mit begleitenden Übungen finden in diesem Semester als gemeinsame Veranstaltung für Studierende der Univ. Heidelberg und der Univ. Mannheim in den Informatikstudiengängen statt. Aus diesem Grund wurde die Schnittmenge der Vorlesungszeiten vom 15.10.2012 bis zum 07.12.2012 gewählt um Studierenden beider Universitäten die Teilnahme zu ermöglichen. Zusatztermine werden mit Rücksprache der Teilnehmer festgelegt. Die Vorlesungen bzw. Übungen finden Montags von 9.30 Uhr bis 11.00 Uhr und von 11.15 Uhr bis 12.45 in Mannheim, B6, 26, Hörsaal A3.02 statt. Praktische Übungen werden im Lehrlabor in A2.01 durchgeführt. Neben Methoden aus dem Bereich der klassischen Zuverlässigkeits- und Sicherheitstechnik werden Modellierungs- Analyse- und Entwurfsmethoden für verlässliche dynamische Syteme mit Beispielen aus der Medizinrobotik, Luft- und Raumfahrt sowie dem Automobilbau vorgestellt. Viele Grüße Achim Wagner -- ========================= Dr.-Ing. Achim Wagner Automation Laboratory Institute of Computer Engineering University of Heidelberg B6, 23-29 Bldg. B D-68131 Mannheim Germany Tel. +49-621-181-3048 Fax. +49-621-181-2739 URL:www.proaut.uni-hd.de =========================