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:
- Entweder über die Weboberfläche der Listensoftware. Dort mit der KIZ-Adresse links oben einloggen und anschließend "subscribe" wählen.
- 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.