Search  |Map  |Sitemap  |Login  |Druckversion
Real-Time and Embedded Systems
Deutsch
English

Darstellung - detailliert

Echtzeitsysteme II (EchtZ) (080076)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Prof. Dr. Willem-Paul de Roever

Angaben
Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 4,0, Fachgebiet: Technische Informatik
Zeit und Ort: Di, Do 16:15 - 17:45, LMS2 - R.Ü1

Voraussetzungen / Organisatorisches
Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.) sowie Studierende mit Nebenfach Informatik.

Inhalt
Vorlesung: Echtzeitsysteme II

Fast immer, wenn wir es im Alltag mit mikroprozessorgesteuerten Systemen zu tun haben, handelt es sich dabei um Echtzeitsysteme - die Reaktionszeit ist ebenso entscheidend wie das Ausgabeergebnis selbst.
Aufbauend auf der Vorlesung Echtzeitsysteme I, welche sich mit dem Entwurf von nicht-verteilten Echtzeitsystemen und deren Programmierung in klassischen Hochsprachen (C/Java/Ada) befasste, behandelt diese Vorlesung folgende Schwerpunkte:
  • Modellbasierter Entwurf
  • Synchrone Sprachen
  • Verteilte Echtzeitsysteme

Die praktischen Übungsaufgaben sollen zum Teil auf Lego Mindstorms Robotern implementiert werden, in C, Java, oder Real-Time Java.

Empfohlene Literatur

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss03/v-rt2/index.html


Ehrendoktorwürde Leslie Lamport (080023)

Dozentinnen/Dozenten
Prof. Dr. Willem-Paul de Roever, Prof. Dr. Reinhard von Hanxleden

Angaben
Kolloquium, Sonderveranstaltung
Zeit und Ort: Einzeltermin am 10.7.2003 11:00 - 13:00, CAP3 - R.III


Oberseminar (080077)

Dozent/in
Prof. Dr. Reinhard von Hanxleden

Angaben
Oberseminar, 2 SWS, ECTS-Studium, ECTS-Credits: 4
Zeit und Ort: Do 14:15 - 15:45, CAP4 - R.1210

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss03/s-ober/index.html


Organisation und Architektur von Rechnern (OrgArchRe) (080078)

Dozent/in
Prof. Dr. Reinhard von Hanxleden

Angaben
Vorlesung, 3 SWS
Zeit und Ort: Mi 10:00 - 11:15, CAP3 - R.III; Do 10:00 - 11:00, CAP3 - R.III; Einzeltermin am 16.7.2003 9:00 - 12:00, CAP4 - R.709

Voraussetzungen / Organisatorisches
Der Inhalt dieser Vorlesung wird zukünftig im Rahmen des Prüfungsfachs "Informatik B" geprüft. Die Teilnahme an den begleitenden Übungen ist für Studierende der Diplom-Informatik Pflicht. Das Hardwarepraktikum ist verkürzt worden, es bietet nicht mehr die sogenannte Aufgabenserie 300 an. Diese Aufgaben werden im Rahmen dieser Vorlesung durchgeführt. Der Leistungsschein für das bisherige Hardwarepraktikum wird deshalb ersetzt durch den Leistungsschein des verkürzten Hardwarepraktikums und durch den Leistungsschein zu dieser Vorlesung.

Inhalt
Grundlagen der Organisation und Architektur von Rechnern - unter Betonung der Anwenderperspektive.

Empfohlene Literatur

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss03/v-arch/index.html


Seminar: Codeanalyse und Optimierung für Echtzeitsysteme (SemCOE) (080082)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Jan Lukoschus, Dipl.-Phys. Alwin Stengel

Angaben
Seminar, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4
Zeit und Ort: Di 14:15 - 15:45, CAP4 - R.1210
ab 22.4.2003

Voraussetzungen / Organisatorisches
Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.) sowie Studierende mit Nebenfach Informatik.

Inhalt
Die Mehrzahl der heute produzierten Mikroprozessoren werden als eingebettetes Echtzeitsystem für Steuerungsaufgaben in einem vordefiniertem Umfeld eingesetzt - in einem Hörgerät oder Handy, zur Motorsteuerung, in medizinischen Geräten, im by-wire Flugzeug, etc. Typische Randbedingungen sind:

  • Sehr hohe Anforderungen hinsichtlich Ausführungszeit und Codegröße
  • Software lässt sich nachträglich kaum modifizieren
  • Oft sicherheitskritische Anwendungen


In diesem Seminar werden wir uns mit aktuellen Forschungsarbeiten beschäftigen, welche sich mit diesen Anforderungen auseinandersetzen. Die Themen sind dabei wie folgt gegliedert:

1. Compilation for Digital Signal Processors
2. Power Consumption Optimization
3. Safety Analysis and Software Faults
4. Robust C Programs
5. Robust Java Programs

Die hier vorgestellten Ansätze sind generell aus dem Gebiet der Echtzeitsysteme motiviert, lassen sich häufig aber auch auf nicht-Echtzeitsysteme anwenden, insbesondere was die Themenblöcke "Robust C/Java Programs" betrifft.

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss03/s-rtcode/index.html


Übung zur Vorlesung: Echtzeitsysteme II (Ü-EchtZ) (080129)

Dozentinnen/Dozenten
Dipl.-Inf. Jan Lukoschus, Dipl.-Phys. Alwin Stengel

Angaben
Übung, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4,0
Zeit und Ort: Mi 14:15 - 15:45, WSP3 - R.1, CAP4 - R.709

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss03/v-rt2/index.html


Übung zur Vorlg.: Organisation und Architekturen von Rechnern (ÜOrgArchRe) (080080)

Dozentinnen/Dozenten
Dipl.-Phys. Alwin Stengel, Dipl.-Inf. Jan Lukoschus

Angaben
Übung, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4
Zeit und Ort: Mo 14:15 - 15:45, LMS2 - R.Ü2; Mo, Mi 16:15 - 17:45, LMS2 - R.Ü1; Mi 16:15 - 17:45, LMS2 - R.Ü2; Mi 14:15 - 15:45, LMS2 - R.Ü1; Mo 18:15 - 19:45, LMS2 - R.Ü1

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss03/v-arch/index.html

Last modified: 2006-11-16 -  Reinhard von Hanxleden