Veranstalter	Dr. Alexander Walsch
Modul	IN2244
Typ	Vorlesung
Semester	WS 2015/16
ECTS	2.0
SWS	1V
Hörerkreis	Studierende der Fachrichtungen Informatik, Elekrotechnik/Informationstechnik und Maschinenwesen
Sprache	Englisch
Voraussetzung	Bachelor in Informatik, Elektrotechnik oder Maschinenbau
Zeit & Ort	alle 2 Wochen montags ab 19.10. von 10:30 Uhr, FMI 03.13.010
Übungstermine	keine

Aktuelles

Wichtige Hinweise zur Klausur:

Es sind ausschließlich folgende Hilfsmittel erlaubt:

Englisch-Deutsch Wörterbuch
nicht-programmierbarer Taschenrechner

Achtung Termin- und Ortsaenderung!

Termin:

25.1.2016: 18:15 -- 19:45 Uhr

Ort:

MW 1801, Ernst-Schmidt-Hörsaal, Department for mechanical engineering

Vorlesungstermine:

19.10.2015: 10:30 - 12:00
02.11.2015: 10:30 - 12:00
16.11.2015: 10:30 - 12:00
30.11.2015: 10:30 - 12:00
14.12.2015: 10:30 - 12:00
11.01.2016: 18:15- 19:45

Beschreibung

Die Vorlesung behandelt die Verwendung von eingebetteten Systemem wie sie häufig im industriellen Umfeld verwendet werden. Im speziellen wird auf Echtzeitsysteme zur Steuerung, Überwachung und zum Schutz eingegangen. Fokus der Vorlesung sind, motiviert durch den Standard IEC 61508, qualitätssichernde Massnahmen, die häufig eingesetzt werden um ein gewisses Mass an funktionaler Sicherheit und Zuverlässigkeit zu erreichen. Gängige Hardware und Software Architekturen sowie Design Massnahmen werden erklärt und an Beispielen erläutert. Die Bedeutung von Teststrategien (Modul, Integration, System) wird motiviert und erklärt. Ein Ausblick auf neuere Herangehensweisen wie formale Methoden runden die Vorlesung ab.

The lecture covers the usage of embedded systems as frequently used in industrial environments. In particular real-time systems for control, monitoring, and protection are discussed. Focus of the lecture are quality assurance measures, as motivated by IEC 61508, in order to achieve a required level of functional safety or reliability. Common hardware and software principles as well as design methods are explained and illustrated by examples. The importance of test strategies (Module, Integration, System) is motivated and explained. An outlook includes the application of formal methods in industrial applications.