Darstellung - detailliert

A5.3.3: Fortgeschrittenenpraktikum - Echtzeitsysteme/Eingebettete Systeme (Fortg.Prak.) (080188)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann, Miro Spönemann

Angaben
Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 8, Modul: A5.3.3
Zeit und Ort: Einzeltermin am 14.7.2009 8:00 - 10:00, CAP4 - R.715

Voraussetzungen / Organisatorisches
Werden je nach Praktikumsausrichtung bekanntgegeben.

Inhalt
Lernziele:
Die Teilnehmer sollen erlernen, eine größere, zusammenhängende Aufgabe mit hohem praktischen Anteil aus dem Gebiet der Echtzeitsysteme/eingebetteten Systeme über einen längeren Zeitraum im Team zu bearbeiten und zu präsentieren. Lehrinhalte:
Typische eingebettete Systeme müssen kontinuierlich auf Eingaben aus der Umwelt reagieren. Im Rahmen des Praktikums sollen verschiedene Programmier- und Modellierungssprachen verwendet werden, um eingebette Systeme zu steuern. Nach Möglichkeit wird dabei an realen Demonstratoren gearbeitet (Modellbahn, Flipper, Lego-Mindstorms, ``eingebettetes Orchester''). Weiterhin werden die Praktikumsteilnehmer mit Werkzeugen zum Versions- und Projektmanagement bekannt gemacht.

Empfohlene Literatur
Wird je nach Praktikumsausrichtung bekanntgegeben.

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss09/p-emb-rt/


BA6.1: Projektmodul - Echtzeitsysteme/Eingebettete Systeme (EchtZ) (080115)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann

Angaben
Übung, 6 SWS, ECTS-Studium, ECTS-Credits: 16, Modul: BA6.1
Zeit und Ort: n.V.
Vorbesprechungen: 19.2.2009, 10:00 - 10:45 Uhr, Raum CAP4 - R.1118; 16.4.2009, 15:30 - 16:15 Uhr, Raum CAP4 - R.1118

Inhalt
Das Praktikum beschäftigt sich mit der Implementierung eingebetteter Echtzeitsysteme. Hierbei werden insbesondere Abstraktionsmöglichkeiten durch höhere Sprachen untersucht (z.B. synchrone Sprachen, grafische Modellierungssprachen, o.ä.). Solche Abstraktionen sind nur möglich, wenn Werkzeuge zwischen höheren Sprachen und niedrigen plattformabhängigen Sprachen vermitteln können. Eine ausführlichere Beschreibung entnehmen Sie bitte über den Link der zusätzlichen Informationen.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss09/p-emb-rt/


Fortgeschrittenenpraktikum Diplom - Vertiefende Übung "Echtzeitsysteme/Eingebettete Systeme" (4SWS) (Dipl.Prakt.) (080182)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann, Miro Spönemann

Angaben
Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Einzeltermin am 14.7.2009 8:00 - 10:00, CAP4 - R.715

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss09/p-emb-rt/


Fortgeschrittenenpraktikum Diplom - Vertiefende Übung "Echtzeitsysteme/Eingebettete Systeme" (8SWS) (Dipl.Prakt.) (080185)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann, Miro Spönemann

Angaben
Übung, 8 SWS
Zeit und Ort: n.V.
Vorbesprechungen: 11.2.2009, 10:15 - 11:00 Uhr, Raum LMS2 - R.Ü1; 16.4.2009, 16:15 - 17:00 Uhr, Raum LMS2 - R.Ü1

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss09/p-emb-rt/


G2.1: Informatik II - Algorithmen und Datenstrukturen (Info II) (080127)

Dozent/in
Prof. Dr. Reinhard von Hanxleden

Angaben
Vorlesung, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 8, Modul: G2.1;Fachgebiet: Theoretische Informatik; Credits nur in Verbdg. mit zug. Übung
Zeit und Ort: Mo 10:15 - 11:45, CAP3 - Hörsaal 3; Fr 8:15 - 9:45, CAP3 - Hörsaal 3 (außer Fr 26.6.2009); Einzeltermin am 26.6.2009 8:15 - 9:45, CAP2 - Hörsaal C [Audimax]
ab 17.4.2009
Klausur/Prüfung: 29.7.2009, 9:00 - 12:00 Uhr, Raum CAP2 - Hörsaal G [Audimax]
Nachklausur: 19.10.2009, 9:00 - 12:00 Uhr, Raum CAP3 - Hörsaal 3; 19.10.2009, 9:00 - 12:00 Uhr, Raum CAP3 - Hörsaal 2

Voraussetzungen / Organisatorisches
G1.1

Inhalt
Laufzeitanalyse, pessimale und amortisierte Laufzeiten, Pseudocode, abstrakter Datentyp, Sortieralgorithmen, Listen, Prioritätsschlangen, Suchbäume, Hashtabellen, Graphalgorithmen.

Empfohlene Literatur
Thomas H. Cormen, Charles E. Leiserson, und Ronald L. Rivest, Clifford Stein: Introduction to Algorithms, Boston: MIT Press, 2001.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 120
www: http://www.ti.informatik.uni-kiel.de/info2-ss09/

Zugeordnete Lehrveranstaltungen
UE: Übungen zu: Informatik II - Algorithmen und Datenstrukturen (080102)
Dozentinnen/Dozenten: Prof. Dr. Reinhard von Hanxleden, Dr. Henning Schnoor
Zeit und Ort: Mo, Fr 14:15 - 15:45, WSP3 - Seminarraum 1; Mo 14:15 - 15:45, WSP3 - Seminarraum 2, WSP3 - Seminarraum 3; Mi, Fr 12:15 - 13:45, WSP3 - Seminarraum 1; Mi 16:15 - 17:45, WSP3 - Seminarraum 1


MS1101: - Modellbasierter Entwurf und Verteilte Echtzeitsysteme (ModVertEchtz) (080129)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann

Angaben
Vorlesung, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 8, Modul: MS1101; Fachgebiet:Technische Informatik/Praktische Informatik
Zeit und Ort: Di, Do 10:15 - 11:45, LMS2 - R.Ü1
ab 14.4.2009

Inhalt
Der Modellbasierte Entwurf beschäftigt sich mit abstrakten Formalismen zur Entwicklung von Systemen. Verteilte Systeme sind Rechneranlagen mit mehreren physisch getrennten Rechnern, die über Netzwerke synchronisiert werden müssen, um ein Gesamtsystem zu kontrollieren. Eine ausführlichere Beschreibung entnehmen Sie bitte über den Link der zusätzlichen Informationen.

Empfohlene Literatur
Nicolas Halbwachs, Synchronous programming of reactive systems, a tutorial and commented bibliography, {\em Tenth International Conference on Computer-Aided Verification (CAV'98)}, Vancouver (B.C.), LNCS 1427, Springer Verlag, June 1998 Stephen A. Edwards, {\em Languages for Digital Embedded Systems}, Kluwer, 2000, ISBN 0-7923-7925-X Using Simulink \& Stateflow in Automotive Applications, The Mathworks, 1998 Hermann Kopetz, {\em Real-Time-Systems: Design Principles for Distributed Embedded Applications}, Kluwer, Boston etc., 1997 Paulo Veríssimo, Luis Rodrigues, {\em Distributed Systems for Systems Architects}, Kluwer, Boston etc., 2001

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 50
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss09/v-model/

Zugeordnete Lehrveranstaltungen
UE: Übung zu: Modellbasierter Entwurf und Verteilte Echtzeitsysteme (080081)
Dozentinnen/Dozenten: Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann
Zeit und Ort: Mi 14:15 - 15:45, JMS4 - R.28
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss09/v-model/


MSP1101: Projekt - Echtzeitsysteme/Eingebettete Systeme (Prakt.) (080193)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann

Angaben
Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 12, Modul: MSP1101
Zeit und Ort: n.V.
Vorbesprechungen: 11.2.2009, 10:15 - 11:00 Uhr, Raum LMS2 - R.Ü1; 16.4.2009, 16:15 - 17:00 Uhr, Raum LMS2 - R.Ü1

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/practicals


MSS1101: Seminar - Echtzeitsysteme / Eingebettete Systeme (Seminar Synthese Graphischer Systemmodelle) (080190)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Miro Spönemann

Angaben
Seminar, 2 SWS, ECTS-Studium, ECTS-Credits: 4, Modul: MSS1101
Zeit und Ort: Einzeltermin am 10.7.2009 9:00 - 12:30, CAP4 - R.715

Zusätzliche Informationen
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss09/s-model/


Oberseminar (Ob.Sem.) (080192)

Dozent/in
Prof. Dr. Reinhard von Hanxleden

Angaben
Oberseminar
Zeit und Ort: Einzeltermine am 16.6.2009 13:00 - 18:00, LMS2 - R.Ü2/K; 17.6.2009 9:00 - 13:00, LMS2 - R.Ü2/K

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


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

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann

Angaben
Übung, 2 SWS
Zeit und Ort: Mi 14:15 - 15:45, JMS4 - R.28
vom 13.4.2009 bis zum 17.7.2009

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 50
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss09/v-model/

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


Übungen zu: Informatik II - Algorithmen und Datenstrukturen (Übg. Info II) (080102)

Dozentinnen/Dozenten
Prof. Dr. Reinhard von Hanxleden, Dr. Henning Schnoor

Angaben
Übung, 2 SWS, ECTS-Studium
Zeit und Ort: Mo, Fr 14:15 - 15:45, WSP3 - Seminarraum 1; Mo 14:15 - 15:45, WSP3 - Seminarraum 2, WSP3 - Seminarraum 3; Mi, Fr 12:15 - 13:45, WSP3 - Seminarraum 1; Mi 16:15 - 17:45, WSP3 - Seminarraum 1

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 175

Zugeordnet zu: G2.1: Informatik II - Algorithmen und Datenstrukturen (080127)

Grundstudium

G2.2: Systemorientierte Informatik II - Organisation und Architektur von Rechnern (SysInf II) (080176)

Dozent/in
Prof. Dr.-Ing. Reinhard Koch

Angaben
Vorlesung, 3 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 7, Modul:G2.2; Leistungsnachweis (Modulprüfungszeugnis) und Leistungspunkte werden nur im Zusammenhang mit den zugehörigen Übungen ausgestellt
Zeit und Ort: Mo 12:15 - 13:45, CAP3 - Hörsaal 3; Di 8:30 - 10:00, CAP3 - Hörsaal 3 (außer Di 19.5.2009, Di 2.6.2009, Di 16.6.2009, Di 30.6.2009, Di 7.7.2009); Einzeltermin am 16.6.2009 8:30 - 10:00, CAP3 - Hörsaal 2
vom 14.4.2009 bis zum 14.7.2009
Klausur/Prüfung: 15.10.2009, 10:00 - 12:00 Uhr, Raum LMS2 - R.Ü1

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

Empfohlene Literatur
1. Randal E. Bryant and David R. O'Hallaron, Computer Systems: A Programmer's Perspective (CS:APP), Prentice Hall, 2003, ISBN 0-13-034074-X.

2. The Art of Assembly Language Programming, On-Line book maintained by Randall Hyde

3. Programmieren in C (Zweite Ausgabe ANSI C), Kernighan, Ritchie, Carl Hanser Verlag, 1990

Online C-Kurse:
1. C und C++ für UNIX,DOS und MS-Windows, Ausführliche Vorstellung von C und C++ im Postscript und PDF-Format (deutsch).
2. Tutorial C: Systematische Vorstellung der Komponenten von C anhand funktionsfähiger Beispiele (englisch).
3. C und C++-Tutorials: Sammlung von Links auf verschiedene Online-Tutorials.
4. Crashkurs in C - Begleitendes Handout.
Cygwin:

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 150
www: http://www.informatik.uni-kiel.de/rtsys/teaching/sommersemester-2009/systemorientierte-informatik-ii/

Zugeordnete Lehrveranstaltungen
UE: Übung zu: Systemorientierte Informatik II - Organisation und Architekturen von Rechnern (080089)
Dozentinnen/Dozenten: Prof. Dr.-Ing. Reinhard Koch, Dipl.-Inf. Claus Traulsen
Zeit und Ort: Mi, Fr 12:15 - 13:45, 16:15 - 17:45, WSP3 - Seminarraum 2; Fr 14:15 - 15:45, WSP3 - Seminarraum 2; Do 13:15 - 14:45, HRS3 - R.105; Einzeltermine am 15.4.2009 16:00 - 20:00, HRS3 - R.105; 16.4.2009 19:00 - 21:00, HRS3 - R.105; Bemerkung zu Zeit und Ort: Do 13-15 Uhr = betreute Rechnerzeit
www: http://www.informatik.uni-kiel.de/rtsys/teaching/sommersemester-2009/systemorientierte-informatik-ii/


Übung zu: Systemorientierte Informatik II - Organisation und Architekturen von Rechnern (ÜSysInf II) (080089)

Dozentinnen/Dozenten
Prof. Dr.-Ing. Reinhard Koch, Dipl.-Inf. Claus Traulsen

Angaben
Übung, 2 SWS
Zeit und Ort: Mi, Fr 12:15 - 13:45, 16:15 - 17:45, WSP3 - Seminarraum 2; Fr 14:15 - 15:45, WSP3 - Seminarraum 2; Do 13:15 - 14:45, HRS3 - R.105; Einzeltermine am 15.4.2009 16:00 - 20:00, HRS3 - R.105; 16.4.2009 19:00 - 21:00, HRS3 - R.105; Bemerkung zu Zeit und Ort: Do 13-15 Uhr = betreute Rechnerzeit
vom 14.4.2009 bis zum 17.7.2009

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 30
www: http://www.informatik.uni-kiel.de/rtsys/teaching/sommersemester-2009/systemorientierte-informatik-ii/

Zugeordnet zu: G2.2: Systemorientierte Informatik II - Organisation und Architektur von Rechnern (080176)