Entwurfsmethodik Eingebetteter Systeme

Kürzel

CS7505.000

Leistungspunkte

6

Semesterwochenstunden

4

Sprache

Deutsch

Moduldauer

1 Semester

Turnus

Jährlich, Beginn im Wintersemeter

Modulverantwortlicher

Prof. Dr.-Ing. Frank Slomka

Dozenten

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

Studiengänge

Informatik, MSc, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 7. Fachsemester
Informatik, Dipl, Studienbeginn WiSe oder SoSe, Wahl, empfohlen ab 5. Fachsemester
Medieninformatik, MSc, Studienbeginn WiSe oder 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 theoretischen Grundlagen, welche für die Verifikation, Analyse und Optimierung eingebetteter Systeme notwendig sind, erlernen. Im besonderen sollen die Studierenden grundlegende Kenntnisse in der formalen Echtzeitverifikation erlangen.

Inhalt

Eingebettete Systeme sind weltweit die am meist verbreiteten Rechensysteme und überall im taglichen Leben, wie z.B. im Automobil, DVD-Player, Telefon, etc., zu finden. Das Hauptmerkmal dieser Systeme ist die Integration eines Rechensystems in einen bestimmten technischen Kontext was zu besonderen Herausforderungen bei der Entwicklung führt. In der Vorlesung wird auf verschiedene eingebettete Systeme sowie deren Modellierung, Analyse und Optimierung eingegangen.

Literatur

Jürgen Teich, Digitale Hardware/Software Systeme, Springer
Peter Marwedel, Eingebette Systeme, Springer
Zbigniew Michalewicz und David B. Fogel, Modern Heuristics, Springer
Giorgio Buttazzo, Hard Real-Time Computing Systems, Springer 

Lehrveranstaltungen und Lehrform

Informatik (V+Ü), 4 SWS, 6 LP
Medieninformatik (V+Ü), 4 SWS, 6 LP
Elektrotechnik (V+Ü), 4 SWS, 6 LP
Informationssystemtechnik (V+Ü), 4 SWS, 6 LP

Leistungsnachweise und Prüfungen

Mündliche oder schriftliche Prüfung (abhängig von Teilnehmerzahl).

Notenbildung

Ergebnis der Prüfung

Grundlage für

-

Kernfach

Technische Informatik

Vertiefungsgebiet

Eingebettete Systeme, Verteilte Systeme, Rechnerarchitektur

Termin

Beginn: 18.10.2007

Donnerstag 14:00 - 16:00, Raum: O27/2203
Freitag 10:00 - 12:00, Raum: O28/1002

 

Informationen zu dieser Veranstaltung im Vorlesungsverzeichnis der Universität

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 ees0708.esys

Links

Real-Time Calculus Toolbox