Seminar Echtzeittheorie

Kürzel

CS5900.045

Leistungspunkte

4

Semesterwochenstunden

2

Sprache

Deutsch

Moduldauer

1 Semester

Turnus

Jährlich, Beginn im Sommersemester

Modulverantwortlicher

Prof. Dr.-Ing. Frank Slomka

Dozenten

Prof. Dr.-Ing. Frank Slomka, Dipl.-Inform. Steffen Kollmann

Studiengänge und Einordnungen

Informatik, MSc, Studienbeginn WiSe ode SoSe, Wahl, empfohlen ab 7. Fachsemester
Informatik, Dipl, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 5. Fachsemester
Medieninformatik, MSc, Studienbeginn WiSe ode SoSe, Wahl, empfohlen ab 7. Fachsemester
Medieninformatik, Dipl, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 5. Fachsemester
Elektrotechnik, MSc, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 7. Fachsemester
Elektrotechnik, Dipl, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 5. Fachsemester
Informationssystemtechnik, MSc, Studienbeginn WiSe ode SoSe, Wahl, empfohlen ab 7. Fachsemester

Voraussetzungen

Vordiplom oder Bachelor

Lernziele

Die Studierenden sollen die Herausforderungen, welche bei dem Entwurf und der Analyse von eingebetteten Echtzeitsystemen entstehen, kennenlernen. Darüber hinaus sollen die Studierenden das selbstständige Arbeiten in einem wissenschaftlichen Themengebiet erlernen.

Inhalt

Eine Vielzahl von eingebetteten Systemen muss ihre Aufgaben innerhalb festgelegter Zeitintervalle erfüllen. Systeme mit solchen Anforderungen bezeichnet man als eingebettete Echtzeitsystem. Im Seminar werden Methoden und Ansätze beleuchtet, die es ermöglichen, eingebettete Echtzeitsysteme zu entwerfen und zu verifizieren.

Literatur

Wird bei der Themenvergabe bekannt gegeben.

Lehrveranstaltungen und Lehrform

Informatik (S), 2 SWS, 4 LP
Medieninformatik (S), 2 SWS, 4 LP
Elektrotechnik (S), 2 SWS, 4 LP
Informationssystemtechnik (S), 2 SWS, 4 LP

Leistungsnachweise und Prüfungen

Ein Leistungsnachweis für die erfolgreiche Teilnahme am Seminar ist eine Ausarbeitung und ein Vortrag.

Notenbildung

Die Note wird aus der Ausarbeitung und dem Vortrag gebildet. Die 10 - 12 Seiten umfassende Ausarbeitung wird als PDF abgegeben. Als Grundlage dient das Format der IEEE (http://www.ieee.org/web/publications/authors/transjnl/index.html). Die Vortragsdauer beträgt 30 Minuten, wobei die Art der Präsentation freigestellt ist.

Grundlage für

-

Kernfach

Technische Informatik

Vertiefungsgebiet

Eingebettete Systeme, Verteilte Systeme, Rechnerarchitektur

Termin

Die Besprechung und Vergabe der Themen finden am 15.04.2008 um 10:00 Uhr im Raum 027/312 statt.

Anmeldeformalitäten

Um eine Voranmeldung per email wird gebeten. (steffen.kollmann@uni-ulm.de)

Mailingliste

Es wurde eine Mailingliste eingerichtet, auf der sich die Hörer der Vorlesung bei Interesse selbst einschreiben können. Diese Liste soll sowohl dem Versand organisatorischer Informationen dienen, aber auch für Sie als Austauschplattform für interessante Inhalte dienen - etwa Hinweise auf gute Literatur oder als Verteiler für schöne Lösungen der Übungsaufgaben.

Um sich auf der Liste einzutragen, gibt es die folgenden beiden Möglichkeiten:

1. Entweder über die Weboberfläche der Listensoftware. Dort mit der KIZ-Adresse links oben einloggen und anschließend "subscribe" wählen.
2. Oder per eMail an die Adresse sympa[at]lists.uni-ulm.de und dem folgenden Text (ohne Umbruch) als Inhalt: subscribe ezt08.esys

Themen

• Modelle und Schedulingverfahren der Echtzeittheorie
• Antwortzeitanalyse
• Ereignisstrommodell
• Approximative Verfahren zur Echtzeitanalyse
• Hinreichende Verfahren der Echtzeitanalyse
• Variable Rate Execution Model
• Recurring Real-Time Task Model
• Real-Time-Calculus
• Symta
• Analyse von verteilten Systemen
• Scheduling und gemeinsame Ressourcen

Material

Bei der Themenvergabe werden zu jedem Thema 2-3 Fachaufsätze bereitgestellt, die als Basis für die Ausarbeitung dienen sollen.