Darstellung - detailliert

A.3.3L: - Softwarepraktikum (für das Lehramt) (SW-Prakt.) (080126)

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

Angaben
Praktikum, 3 SWS, Schein, ECTS-Studium, ECTS-Credits: 5
Zeit und Ort: Mi 14:15 - 15:45, Raum n.V.; Bemerkung zu Zeit und Ort: Raum: LMS2-R.Ü1 / 16 - 18 Uhr, Raum: CAP4-R709
vom 14.4.2008 bis zum 18.7.2008

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 45
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/swprak/


A3.3: - Softwarepraktikum (SW-Prakt.) (080081)

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

Angaben
Praktikum, 3 SWS, Schein, ECTS-Studium, ECTS-Credits: 4,5
Zeit und Ort: Mi 14:15 - 15:45, LMS2 - R.Ü1 (außer Mi 9.7.2008); Mi 16:00 - 18:00, CAP4 - R.709
vom 14.4.2008 bis zum 18.7.2008
Klausur/Prüfung: 16.7.2008, 9:00 - 13:00 Uhr, Raum WSP3 - R.9; 16.7.2008, 16:00 - 18:00 Uhr, Raum LMS2 - R.Ü1

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 45
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/swprak/


BA5.1: - Projektvorbereitungsmodul Echtzeitsysteme/Eingebettete Systeme (Synch) (080194)

Dozent/in
Prof. Dr. Reinhard von Hanxleden

Angaben
Vorlesung, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 8, Modul: BA5.1; Fachgebiet: Praktische Informatik/Theoretische Informatik
Zeit und Ort: Mo 16:15 - 17:45, Raum n.V.; Di 10:15 - 11:45, Raum n.V.; Bemerkung zu Zeit und Ort: Raum: LMS2 - R.Ü2
vom 14.4.2008 bis zum 18.7.2008

Voraussetzungen / Organisatorisches
Gemäß Bekanntgabe auf den jeweiligen UnivIS-Seiten.

Inhalt
In diesem Projektvorbereitungsmodul werden Gebiete aus dem Bereich der Echtzeitsysteme/Eingebetteter Systeme behandelt. Beispielhafte Themenfelder sind der modellbasierte Entwurf, die Entwicklung graphischer Modellierungswerkzeuge auf Eclipse-Basis, {\em reactive processing}, und synchrone Programmiersprachen.

Empfohlene Literatur
Entsprechend dem jeweiligen Themengebiet.

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


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

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

Angaben
Übung, 6 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 16, Modul: BA6.1; Fachgebiet: Praktische Informatik/Theoretische Informatik
Ort: CAP4 - R.1114
vom 14.4.2008 bis zum 18.7.2008

Voraussetzungen / Organisatorisches
Abschlussprojekt im Bachelor-Studiengang einschließlich Bachelorarbeit

Inhalt
Grafisches Modellieren von Systemen soll helfen, den Blick auf die wesentlichen Inhalte des Systems zu behalten während man sich auf einer sehr hohen Abstraktionsebene bewegt. Präzise Semantiken zur Simulation und automatische Code-Generierung verringern oder verhindern gar völlig das spätere Abtauchen in einen fehlerträchtigen Implementierungsprozess in niedrigeren Ebenen.
Dennoch ist das Grafische Modellieren an sich noch nicht weitgehend auf die Bedürfnisse der Entwickler zugeschnitten, die sich dadurch leider mittlerweile mehr als Zeichner denn als Programmierer sehen.
Die Programmier- und Modellierungsplattform "Eclipse" auf Java-Basis ist eine modular aufgebaute Werkzeugkette. Durch das Plugin Prinzip sind Erweiterungen mit verhältnismäßig geringem Aufwand und standardkonform möglich.
In diesem Projekt soll die Plattform um entsprechende Konzepte erweitert werden, die den Modellbasierten Entwurf in Eclipse unterstützen sollen.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 5
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/bachelorproject/


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

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

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 - 14:00, CAP3 - R.2 (außer Mo 21.7.2008); Di 9:00 - 10:00, CAP3 - R.2
vom 14.4.2008 bis zum 18.7.2008
Klausur/Prüfung: 9.6.2008, 12:15 - 14:00 Uhr, Raum CAP2 - R.H[Audimax]; 9.6.2008, 12:15 - 14:00 Uhr, Raum CAP2 - R.G[Audimax]; 21.7.2008, 12:15 - 14:00 Uhr, Raum CAP2 - R.G[Audimax]; 21.7.2008, 12:15 - 14:00 Uhr, Raum CAP3 - R.2; 21.7.2008, 12:15 - 14:00 Uhr, Raum CAP3 - R.3

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: 200
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/v-sysinf2/

Zugeordnete Lehrveranstaltungen
UE: Übung zu: Systemorientierte Informatik II - Organisation und Architekturen von Rechnern (080089)
Dozent/in: Dipl.-Inf. Hauke Fuhrmann
Zeit und Ort: Mo 14:00 - 16:00, LMS2 - R.Ü2, CAP3 - R.3, CAP3 - R.1; Mo 16:00 - 18:00, WSP3 - R.1; Mi 10:00 - 12:00, LMS2 - R.Ü2, WSP3 - R.2; Mi 12:00 - 14:00, CAP2 - R.E[Audimax]; Do, Fr 10:00 - 12:00, HRS3 - R.105; Einzeltermin am 11.7.2008 10:00 - 12:00, LMS2 - R.Ü2 (außer Fr 11.7.2008); Bemerkung zu Zeit und Ort: Do 13-15 Uhr = betreute Rechnerzeit
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/v-sysinf2/


MS1102: - Synchrone Sprachen (Synch) (080034)

Dozent/in
Prof. Dr. Reinhard von Hanxleden

Angaben
Vorlesung, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 8, Modul: MS1102; Fachgebiet: Praktische Informatik/Theoretische Informatik
Zeit und Ort: Mo 16:15 - 17:45, LMS2 - R.Ü2; Di 10:15 - 11:45, LMS2 - R.Ü2 (außer Di 29.4.2008, Di 17.6.2008); Einzeltermine am 29.4.2008, 17.6.2008 10:15 - 11:45, CAP4 - R.715
vom 14.4.2008 bis zum 18.7.2008
Klausur/Prüfung: 22.7.2008, 10:00 - 12:00 Uhr, Raum LMS2 - R.Ü2

Voraussetzungen / Organisatorisches
Die Vorlesung wird angerechnet als:
  • Diplomstudiengang: Hauptstudiumsvorlesung
  • Bachelorstudiengang: Projektvorbereitungsmodul BA5, Wahlpflichtmodul WI
  • Masterstudiengang: Vertiefende Informatik-Grundlagen (IG), Mastervertiefungsbereich (MV)

Inhalt
Typische eingebettete Systeme müssen kontinuierlich auf Eingaben aus der Umwelt reagieren, und fallen damit in die Klasse der reaktiven Systeme. Die Einschränkungen klassischer Programmiersprachen, wie Java oder C, hinsichtlich der präzisen und auch formal analysierbaren Beschreibung des Verhaltens reaktiver Systeme haben Anfang der 1980er Jahre zur Entwicklung der Familie der synchronen Programmiersprachen geführt. In dieser Vorlesung werden behandelt:
  • Die kontrollflussorientierte Sprache Esterel und Statecharts;
  • Die datenflussorientierte Sprache Lustre;
  • Synthese von effizienter Hardware und Software;
  • Der Kiel Esterel Prozessor;
  • Logische und konstruktive Semantik;
  • Kausalitätsanalyse.

Diese Vorlesung ergänzt die zuletzt im WS 06/07 angebotene Vorlesung Modellbasierter Entwurf und Verteilte Echtzeitsysteme, wobei dessen Inhalte hier nicht vorausgesetzt werden. Die Teilnahme an dieser Vorlesung ist hingegen Voraussetzung für die Teilnahme an einem ebenfalls im SS 08 angebotenen Seminar zum gleichen Thema. Weiterhin sind verschiedene Themen für studentische Abschlussarbeiten in diesem Themenfeld zu vergeben.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 20
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/v-synch/

Zugeordnete Lehrveranstaltungen
UE: Übung zu: Synchrone Sprachen (080032)
Dozent/in: Dipl.-Inf. Claus Traulsen
Zeit und Ort: Do 14:15 - 15:45, CAP2 - R.F[Audimax] (außer Do 8.5.2008); Bemerkung zu Zeit und Ort: Achtung: wegen contacts nicht am 08.05.2008; kein Ausweichraum vorhanden!
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/v-synch


MSS1101: - Seminar Echtzeitsysteme / Eingebettete Systeme (Sem) (080068)

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

Angaben
Seminar, 2 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 4, Modul: MSS1101; Fachgebiet: Theoretisch Informatik/Praktische Informatik
Zeit und Ort: n.V.
Vorbesprechungen: 14.2.2008, 12:00 - 12:45 Uhr, Raum CAP4 - R.1118; 8.4.2008, 11:00 - 11:45 Uhr

Voraussetzungen / Organisatorisches
Teilnahme an den vorbereitenden Vorlesungen.

Inhalt
In dem Seminar werden ausgewählte Forschungsgebiete aus dem Gebiet der Echtzeitsysteme und eingebetteten Systeme behandelt, jeweils aufbauend auf Vorlesungen der beiden Vorsemester. Aus einem Gebiet werden eine Reihe von Themen mit beispielhaften Referenzen zur Auswahl gestellt, welche dann von den Seminarteilnehmern jeweils eigenständig erarbeitet werden. Dabei wird eine Seminararbeit erstellt, in Anlehnung an einen Tagungsbeitrag, diese Arbeit wird untereinander begutachtet, und eine Abschlusspräsentation gehalten. Themen in der Vergangenheit befassten sich unter anderem mit modellbasiertem Systementwurf, Echtzeit-Betriebssystemen und -Bussystemen, und synchronen Sprachen.

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


Oberseminar (OSemEZ) (080094)

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

Angaben
Oberseminar, 2 SWS, Fachgebiet:Technische/Praktische Informatik
Zeit und Ort: Einzeltermine am 9.7.2008 9:00 - 12:15, LMS2 - R.Ü2; 9.7.2008 13:45 - 16:00, LMS2 - R.Ü1

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


Übung zu: Synchrone Sprachen (ÜSynch) (080032)

Dozent/in
Dipl.-Inf. Claus Traulsen

Angaben
Übung, 2 SWS
Zeit und Ort: Do 14:15 - 15:45, CAP2 - R.F[Audimax] (außer Do 8.5.2008); Bemerkung zu Zeit und Ort: Achtung: wegen contacts nicht am 08.05.2008; kein Ausweichraum vorhanden!

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 20
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/v-synch

Zugeordnet zu: MS1102: - Synchrone Sprachen (080034)


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

Dozent/in
Dipl.-Inf. Hauke Fuhrmann

Angaben
Übung, 2 SWS
Zeit und Ort: Mo 14:00 - 16:00, LMS2 - R.Ü2, CAP3 - R.3, CAP3 - R.1; Mo 16:00 - 18:00, WSP3 - R.1; Mi 10:00 - 12:00, LMS2 - R.Ü2, WSP3 - R.2; Mi 12:00 - 14:00, CAP2 - R.E[Audimax]; Do, Fr 10:00 - 12:00, HRS3 - R.105; Einzeltermin am 11.7.2008 10:00 - 12:00, LMS2 - R.Ü2 (außer Fr 11.7.2008); Bemerkung zu Zeit und Ort: Do 13-15 Uhr = betreute Rechnerzeit

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 30
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss08/v-sysinf2/

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

Grundstudium

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

Dozentinnen/Dozenten
Prof. Dr.-Ing. Norbert Luttenberger, Dipl.-Inf. Claus Traulsen

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: Mi 10:15 - 11:30, CAP2 - R.C[Audimax]; Do 8:45 - 10:00, CAP2 - R.C[Audimax]
Klausur/Prüfung: 23.5.2007, 10:15 - 11:30 Uhr, Raum CAP3 - R.II; 25.7.2007, 9:00 - 12:00 Uhr, Raum CAP3 - R.II; 17.10.2007, 9:00 - 12:00 Uhr, Raum LMS2 - R.Ü2

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
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss07/v-sysinf2/

Zugeordnete Lehrveranstaltungen
UE: Übungen zu: Systemorientierte Informatik II Organisation und Architekturen von Rechnern (080089)
Dozent/in: Dipl.-Inf. Claus Traulsen
Zeit und Ort: Mo 14:15 - 15:45, WSP3 - R.1; Mo, Mi 16:15 - 17:45, LMS2 - R.Ü1; Mi 14:15 - 15:45, LMS2 - R.Ü1; Mi 14:00 - 16:00, WSP3 - R.2; Do 13:00 - 15:00, HRS3 - R.105; Bemerkung zu Zeit und Ort: Bemerkung zu dem Termin Do 13:00 bis 15:00 Uhr: Betreute Rechnerzeiten / Achtung! Am Mittwoch, 27. Juni 2007, findet die Veranstaltung im WSP3-R1 statt!
Klausur/Prüfung: 23.5.2007
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss07/v-sysinf2/


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

Dozent/in
Dipl.-Inf. Claus Traulsen

Angaben
Übung, 2 SWS, Schein, ECTS-Studium, Modul:G2.2
Zeit und Ort: Mo 14:15 - 15:45, WSP3 - R.1; Mo, Mi 16:15 - 17:45, LMS2 - R.Ü1; Mi 14:15 - 15:45, LMS2 - R.Ü1; Mi 14:00 - 16:00, WSP3 - R.2; Do 13:00 - 15:00, HRS3 - R.105; Bemerkung zu Zeit und Ort: Bemerkung zu dem Termin Do 13:00 bis 15:00 Uhr: Betreute Rechnerzeiten / Achtung! Am Mittwoch, 27. Juni 2007, findet die Veranstaltung im WSP3-R1 statt!
Klausur/Prüfung: 23.5.2007

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 30
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss07/v-sysinf2/

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