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
Informatik, BSc (2000), Studienbeginn WiSe ode SoSe, Wahl, empfohlen ab 5. Fachsemester
Informatik, Dipl, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 5. Fachsemester
Medieninformatik, MSc, Studienbeginn WiSe ode SoSe, Wahl
Medieninformatik, Dipl, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 5. Fachsemester
Elektrotechnik, MSc, Studienbeginn WiSe oder SoSe, Wahl
Elektrotechnik, Dipl, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 5. Fachsemester
Informationssystemtechnik, MSc, Studienbeginn WiSe ode SoSe, Wahl

Voraussetzungen

-

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 und praktisch umsetzen.

Inhalt

Eine Vielzahl von eingebetteten Systemen muss ihre Aufgaben innerhalb festgelegter Zeitintervalle erfüllen. Systeme mit solchen Anforderungen bezeichnet man als eingebettete Echtzeitsysteme. Im Seminar werden Methoden und Ansätze beleuchtet, die es ermöglichen, eingebettete Echtzeitsysteme zu entwerfen und zu verifizieren. Dabei sollen im ersten Teil die theoretischen Grundlagen erarbeitet werden. Im zweiten Teil werden diese Grundlagen algorithmisch umgesetzt und in ein Framework integriert. Somit bietet dieses Seminar, die theoretischen Grundlagen mittels einer praktischen Umsetzung zu vertiefen.

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 ein Vortrag und eine Implementierung eines gegebenen Problems.

Notenbildung

Die Note wird aus dem Vortrag und der Implementierung gebildet.

Grundlage für

-

Kernfach

-

Vertiefungsgebiet

-

Termin

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

Anmeldeformalitäten

Um eine Voranmeldung per email wird gebeten. (steffen.kollmann(at)uni-ulm.de.) Die Plätze sind wegen der praktischen Arbeit auf 10 Plätze beschränkt.

Mailingliste

Es wurde eine Mailingliste eingerichtet, auf der sich die Hörer des Seminars 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 ezt09.esys

Material

Bei der Themenvergabe werden zu jedem Thema Fachaufsätze bereitgestellt, die als Basis für die praktische Umsetzung dienen sollen.