Friedrich-Alexander-Universität UnivisSuche FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
VEZS
 
  Vorlesungsüberblick
  Schein, Prüfung
  Übung
Department Informatik  >  Informatik 4  >  Lehre  >  SS 2013  >  VEZS

Verlässliche Echtzeitsysteme (SS 2013)

News

03.07.2013  Die Vorlesung findet am 08.07.2013 statt, wir werden über aktuelle Forschungsarbeiten des Lehrstuhls auf dem Gebiet verlässlicher, eingebetetter Systeme berichten.

Inhalt der Vorlesung

Viele Echtzeitsysteme sind in Bereiche des täglichen Lebens eingebettete, die hohe Anforderungen an die funktionale Sicherheit dieser Systeme stellen. Beispiele hierfür sind Fahrerassistenzsysteme in modernen Automobilen, medizinische Geräte, Prozessanlagen in Kernkraftwerken oder Chemiefabriken oder Flugzeuge. Fehlfunktionen in diesen Anwendungen ziehen mitunter katastrophale Konsequenzen nach sich - Menschen können ernsthaft verletzt oder sogar getötet werden, Landstriche können unbewohnbar gemacht oder zumindest großer finanzieller Schaden verursacht werden. Diese Veranstaltung "Verlässliche Echtzeitsysteme" betrachtet Methoden und Werkzeuge, die uns helfen können, einerseits zuverlässig Software zu entwickeln (also Fehler im Programm zu entdecken und zu vermeiden), und andererseits zuverlässige Software zu entwickeln (also Abstraktionen, die auch im Fehlerfall ihre Gültigkeit behalten). Hierbei steht weniger die Vermittlung theoretischer Grundkenntnisse auf diesen Gebieten im Vordergrund, also vielmehr

  • die praktische Anwendung existierende Werkzeuge und Methoden
  • sowie die Erfahrung und das Verständnis ihrer Grenzen.
Auf diese Weise soll ein Fundament für die konstruktive Umsetzung verlässlicher Echtzeitsysteme gelegt werden. Dieses Modul soll daher fundierte Anknüpfungspunkte für die Entwicklung verlässlicher Echtzeitsysteme vermitteln, die Ad-hoc-Techniken möglichst ersetzen sollen.

Weitere Informationen zur Vorlesung...

Inhalt der Übung

Dozenten und Betreuer

Dr.-Ing. Fabian Scheler Prof. Dr.-Ing. Wolfgang Schröder-Preikschat Dipl.-Ing. Martin Hoffmann Dipl.-Ing. Florian Franzmann Dipl.-Inf. Isabella Stilkerich

Terminübersicht (Wochenplanung)

Mo Di Mi Do Fr
08:00
09:00
10:00
10:15 - 11:45
Ü EZS2
(Hoffmann)
00.153-113
11:00
12:00
12:15 - 13:45
EZS2
(Scheler)
01.255-128
13:00
14:00
14:15 - 15:45
Ü EZS2
(Hoffmann)
00.153-113
15:00
16:00
17:00

Prüfung

In der Veranstaltung kann u.a. in folgenden Prüfungen verwendet werden:

  • Bachelor/Master: Modul Echtzeitsysteme mit wahlweise 2.5 oder 5 ECTS (abhängig von der belegten Übung)
  • Diplomstudiengänge (z.B. Informatik, I&K, Mechatronik): Benoteter/unbenoteter Schein, als Teil einer Diplomprüfung (z.B. in Kombination mit Betriebssysteme oder Verteilte Systeme)

Weitere Informationen zur Prüfung finden sie hier, für tiefergehende Fragen konsultieren Sie bitte ihre Prüfungsordnung oder das Prüfungsamt.

  Impressum Stand: 2013-07-03 15:55   scheler