Suchen  |Lageplan  |Sitemap  |Login  |Druckversion
Echtzeitsysteme / Eingebettete Systeme
Deutsch
English

Darstellung - detailliert

A5.3 Vertiefende Übung "Das eingebettete Orchester" - Fortgeschrittenenpraktikum (080106)

Dozent/in
Dipl.-Inf. Hauke Fuhrmann

Angaben
Übung, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 6
Zeit und Ort: Mi 14:00 - 18:00, CAP4 - R.1114; Bemerkung zu Zeit und Ort: der Zeitpunkt kann sich noch ändern!
Vorbesprechung: 11.7.2006, 12:30 Uhr, Raum CAP4 - R.1118

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/p-orchestra


A5.3 Vertiefende Übung "Das eingebettete Orchester" - Fortgeschrittenenpraktikum (080213)

Dozent/in
Dipl.-Inf. Hauke Fuhrmann

Angaben
Übung, 8 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 12
Zeit und Ort: 14:00 - 18:00, CAP4 - R.1114; Bemerkung zu Zeit und Ort: der Zeitpunkt kann sich noch ändern!
Vorbesprechung: 11.7.2006, 12:30 Uhr, Raum CAP4 - R.1118

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/p-orchestra


BA5 - Modellbasierter Entwurf und Verteilte Echtzeitsysteme (ModVertEchtz) (080120)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen

Angaben
Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8, Modul: BA5; Fachgebiet: Praktische Informatik/Technische Informatik
Zeit und Ort: Mi 10:15 - 11:45, CAP3 - R.I; Fr 10:15 - 11:45, CAP2 - R.E[Audimax]

Inhalt
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. Ein inzwischen gängiger Ansatz für die Entwicklung komplexer Echtzeitsysteme ist der modellbasierten Entwurf, welches der Inhalt des ersten Teils dieser Vorlesung sein wird. Dabei werden behandelt:

  • Grundlagen - Ausführungsmodelle für diskrete und kontinuierliche Systeme, Modellierung zeitlichen Verhaltens, Synchronizitätshypothese
  • Beschreibung reaktiver Systeme - Esterel, Statecharts
  • Modellierungswerkzeuge - Esterel-Studio, SCADE, Matlab/Simulink/Stateflow

Eine Vielzahl von Echtzeitanwendungen bestehen nicht aus einer einzelnen, monolithischen Rechnerkomponente, sondern werden durch eine Vielzahl von eingebetteten Teilsystemen realisiert. Der zweite Teil der Vorlesung befasst sich mit solchen verteilten Echtzeitsystemen, wie sie zum Beispiel im modernen Kraftfahrzeug oder im Fly-by-Wire Flugzeug eingesetzt werden. Dabei werden behandelt:

  • Zeitgesteuerte vs. Ereignisgesteuerte Systeme
  • Globale Zeitbasis, Uhrensynchronisation
  • Echtzeitkommunikationsprotokolle (CAN, TTP)

Die begleitenden Übungen bestehen aus theoretischen und praktischen Aufgabenstellungen. Als abschließende Aufgabe ist geplant, eine einfache, verteilte Echtzeit-Problemstellung auf der Modellbahn des Instituts modellbasiert zu entwickeln.

Empfohlene Literatur

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/v-model

Zugeordnete Lehrveranstaltungen
UE: Übungen zu: Modellbasierter Entwurf und Verteilte Echtzeitsysteme (080191)
Dozentinnen/Dozenten: Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
Zeit und Ort: Mi 14:15 - 15:45, Raum n.V.
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/v-model/


BA6 - Modellbasierte Entwicklung reaktiver Systeme (080227)

Dozent/in
Dipl.-Inf. Steffen H. Prochnow

Angaben
Übung, 6 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 16, Projektmodule BA6
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: nach Vereinbarung

Inhalt
Der Schwerpunkt dieses Projekte liegt auf der modellbasierten Beschreibung reaktiven Verhaltens mit Hilfe des graphischen Statechart-Formalismus. Mit SSMs (Safe State Machines) kann man das dynamische Verhalten eines reaktiven Systems abbilden. Dabei sind die SSMs ein Dialekt der von Harel definierten Statecharts. Esterel-Programme können unter Erhaltung des reaktiven Verhaltens auf SSMs abgebildet werden. Bei dieser Transformation entstehen SSM-Komponenten, die automatisch angeordnet werden. Die so erzeugten SSMs zeigen auf grafische Weise das Verhalten des in Esterel textuell spezifizierten Systems. Die Aufgabestellung in dieser Veranstaltung ist nun die gute Verfügbarmachung dieser grafischen Darstellung in LaTeX-Dokumenten.


MS1102 - Echtzeit-Betriebssysteme und -Bussysteme (SemRT) (080110)

Dozentinnen/Dozenten
Dipl.-Inf. Steffen H. Prochnow, Prof. Dr. Reinhard von Hanxleden

Angaben
Seminar, 2 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 4, Modul: MS1102
Zeit und Ort: Di 16:45 - 17:45, CAP4 - R.1114
Vorbesprechung: 11.7.2006, 12:00 Uhr, Raum CAP4 - R.1118

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

Inhalt
Echtzeit-Betriebssysteme: An Eingebettete Systeme werden oft Echtzeitanforderungen gestellt. Unter Echtzeit ist dabei die garantierte Bearbeitung einer Aufgabe innerhalb einer definierten Zeitspanne zu verstehen. Ein Echtzeit-Betriebssytem soll die Hardwareschicht verdecken, eine Abstraktionsschicht einführen und es (Software-) Entwicklern so ermöglichen, echtzeitfähige Applikationen zu programmieren.

Echtzeit-Bussysteme: Ein Echtzeit-Bussystem ist der Kern eines Echtzeit-Systems. Er verbindet verschiedene (Echtzeit-) Knoten eines verteilten Systems. Um die zeitgerechte Zustellung von Daten innerhalb eines Echtzeit-Systems zu garantieren, muss er deshalb Echtzeit-Anforderungen genügen.

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/s-rt


Oberseminar (OSemEZ) (080112)

Dozent/in
Prof. Dr. Reinhard von Hanxleden

Angaben
Oberseminar, 2 SWS, Fachgebiet:Technische Informatik/Praktische Informatik
Zeit und Ort: Do 10:00 - 12:00, Raum n.V.; Bemerkung zu Zeit und Ort: Raum: 715 (im Hochhaus, 7. Stock)

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/s-ober/


Übung zu: Modellbasierter Entwurf und Verteilte Echtzeitsysteme (ÜModVertEchtz) (080105)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen

Angaben
Übung, 2 SWS, Schein, benoteter Schein, ECTS-Studium, Modul: WI; Fachgebiet: Technische Informatik/Praktische Informatik
Zeit und Ort: Mi 14:15 - 15:45, CAP3 - R.I; Bemerkung zu Zeit und Ort: Räume werden noch bekannt gegeben

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/v-model/

Zugeordnet zu: WI - Modellbasierter Entwurf und Verteilte Echtzeitsysteme (080129)


Übungen zu: Modellbasierter Entwurf und Verteilte Echtzeitsysteme (ÜModVertEchtz) (080191)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen

Angaben
Übung, 2 SWS, benoteter Schein, ECTS-Studium, Modul: BA5; Fachgebiet: Technische Informatik/Praktische Informatik
Zeit und Ort: Mi 14:15 - 15:45, Raum n.V.

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/v-model/

Zugeordnet zu: BA5 - Modellbasierter Entwurf und Verteilte Echtzeitsysteme (080120)


WI - Modellbasierter Entwurf und Verteilte Echtzeitsysteme (ModVertEchtz) (080129)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen

Angaben
Vorlesung, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 7, Modul: WI; Fachgebiet:Technische Informatik/Praktische Informatik
Zeit und Ort: Mi, Fr 10:15 - 11:45, Raum n.V.; Bemerkung zu Zeit und Ort: Mittwoch: CAP3-R.I und Freitag: CAP2-R.E

Inhalt
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. Ein inzwischen gängiger Ansatz für die Entwicklung komplexer Echtzeitsysteme ist der modellbasierten Entwurf, welches der Inhalt des ersten Teils dieser Vorlesung sein wird. Dabei werden behandelt:

  • Grundlagen - Ausführungsmodelle für diskrete und kontinuierliche Systeme, Modellierung zeitlichen Verhaltens, Synchronizitätshypothese
  • Beschreibung reaktiver Systeme - Esterel, Statecharts
  • Modellierungswerkzeuge - Esterel-Studio, SCADE, Matlab/Simulink/Stateflow

Eine Vielzahl von Echtzeitanwendungen bestehen nicht aus einer einzelnen, monolithischen Rechnerkomponente, sondern werden durch eine Vielzahl von eingebetteten Teilsystemen realisiert. Der zweite Teil der Vorlesung befasst sich mit solchen verteilten Echtzeitsystemen, wie sie zum Beispiel im modernen Kraftfahrzeug oder im Fly-by-Wire Flugzeug eingesetzt werden. Dabei werden behandelt:

  • Zeitgesteuerte vs. Ereignisgesteuerte Systeme
  • Globale Zeitbasis, Uhrensynchronisation
  • Echtzeitkommunikationsprotokolle (CAN, TTP)

Die begleitenden Übungen bestehen aus theoretischen und praktischen Aufgabenstellungen. Als abschließende Aufgabe ist geplant, eine einfache, verteilte Echtzeit-Problemstellung auf der Modellbahn des Instituts modellbasiert zu entwickeln.

Empfohlene Literatur

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/v-model/

Zugeordnete Lehrveranstaltungen
UE: Übung zu: Modellbasierter Entwurf und Verteilte Echtzeitsysteme (080105)
Dozentinnen/Dozenten: Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
Zeit und Ort: Mi 14:15 - 15:45, CAP3 - R.I; Bemerkung zu Zeit und Ort: Räume werden noch bekannt gegeben
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws06-07/v-model/

Stand: 04.12.2006 -  Reinhard von Hanxleden