Darstellung - detailliert
Analyse und Synthese von Esterel (080111)
- Dozent/in
- N.N.
- Angaben
- Praktikum einschl. Seminar, 4 SWS, ECTS-Studium, ECTS-Credits: 6, Das Praktikum kann wahlweise als 4 oder 8-stündiges Praktikum belegt werden
Zeit und Ort: Mi 14:15 - 15:45, CAP4 - R.1114
Vorbesprechung: 5.4.2006, 14:15 - 15:00 Uhr, Raum CAP4 - R.1114 - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss06/p-synth/index.html
Entwurf eingebetteter Echtzeitsysteme (EchtZ) (080200)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Steffen H. Prochnow
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8, Fachgebiet: Technische / Praktische Informatik
Zeit und Ort: Di, Do 10:15 - 11:45, LMS2 - R.Ü1
ab 6.4.2006 - Voraussetzungen / Organisatorisches
- Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.) sowie Studierende mit Nebenfach Informatik.
- Inhalt
- Ein Handy, welches Sprachsignale richtig, aber zu stark verzögert überträgt, ist unbefriedigend. Ein Airbagcontroller, der die richtigen Airbags zündet, aber 100 msec zu spät, ist lebensgefährlich - ebenso wie die zu frühe Zündung der Airbags. Es handelt sich damit bei beiden Anwendungen um Echtzeitsysteme, bei denen die Reaktionszeit ebenso entscheidend ist wie das Ausgabeergebnis selbst. Weiterhin handelt es sich hierbei um Systeme, welche in eine bestimmte Anwendung eingebettet sind.
Diese Vorlesung bietet eine Einführung in die verschiedenen Aspekte des Entwurfs eingebetter Echtzeitsysteme.
Schwerpunkte sind- Grundlagen zum Zeitbegriff als solchen
- Zuverlässigkeit eingebetteter Systeme
- Programmiertechnische Umsetzung zeitlicher Bedingungen
- Scheduling
- Nebenläufigkeit
Die praktischen Übungsaufgaben sollen zum Teil auf Lego Mindstorms Robotern implementiert werden, in C, Java, oder Real-Time Java.
Literatur & Links- Alan Burns & Andy Wellings, "Real-Time Systems and Programming Languages," Third Edition, Addison-Wesley, 2001
- Bill O. Gallmeister, "Programming for the Real World - POSIX.4," O'Really, 1995
- Webseite von The Real-Time for Java Expert Group
- Lokale Webseite zu Lego Mindstorms Robotern
- TAR-Archiv mit einer kompletten legOS-Installation (legOS 0.2.5, GCC 3.0.1): home-lego.tgz (55MB)
- Empfohlene Literatur
- 1. Alan Burns & Andy Wellings, "Real-Time Systems and Programming Languages" Third Edition, Addison-Wesley, 2001
2. Bill O. Gallmeister,"Programming for the Real World - POSIX.4" O'Really, 1995
3. Webseite von The Real-Time for Java Expert Group
4. Lokale Webseite zu Lego Mindstorms Robotern - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss06/v-rt1/index.html
Oberseminar (OSemEZ) (080201)
- Dozent/in
- Prof. Dr. Reinhard von Hanxleden
- Angaben
- Oberseminar, 2 SWS, Fachgebiet:Technische/Praktische Informatik
Zeit und Ort: Di 14:15 - 15:45, LMS2 - R.Ü2 - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss05/s-ober/index.html
Seminar - Synchrone Sprachen (SemSynch) (080094)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Seminar, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4,0, Fachgebiet: Technische/Praktische Informatik
Zeit und Ort: n.V.
Vorbesprechung: 7.2.2006, 10:15 - 11:00 Uhr, Raum CAP3 - R.I - Voraussetzungen / Organisatorisches
- Zielgruppe:
Studierende im Hauptstudium der Dipl.-Inf. und Dipl.-Ing. Informatik-Studiengänge und des Bachelor/Master Informatik-Studiengangs sowie Studierende mit Nebenfach Informatik. Inhalt - Inhalt
- Die synchronen Programmiersprachen Esterel und Lustre werden dazu eingesetzt, reaktive Programme für eingebettete und/oder Echtzeitsysteme zu schreiben. Ein wichtiges Merkmal dieser Sprachen ist eine klare, formal definiert Semantik. Diese erleichtert sowohl die Verifikation von Programmen, als auch die weitergehende automatische Verarbeitung von Programmen.
In diesem Seminar werden wir uns, weiterführend zur Vorlesung "Synchrone Sprachen" im Wintersemester 05/06, mit aktuellen Forschungsarbeiten beschäftigen, welche folgende Problembereiche behandeln:
1. Verknüpfung von Esterel und Lustre 2. Automatische Verteilung synchroner Programme 3. Synthese von effizientem Code 4. Synchrone Objektorientierung 5. Verifikation synchroner Programme 6. weitere synchrone Sprachen (insbesondere deklarative und funktionale Sprachen)
Das diessemestrige Seminar wird wieder in Form eines Workshops abgehalten. Ziel dieser Herangehensweise ist, den Studenten die Grundlagen selbstständigen wissenschaftlichen Arbeitens und Veröffentlichens zu vermitteln. Neben einer Literaturrecherche und der eingehenden Beschäftigung mit einem gewählten Thema soll zum Einen darüber eine wissenschaftliche Ausarbeitung und zum Anderen eine Präsentation angefertigt werden. Im Rahmen des Workshops wird darüber ein 30 bis 45-minütiger Vortrag gehalten. Alle Ausarbeitungen werden gegenseitig anonym begutachtet (Peer-review) und zum Workshop in Form von Proceedings angeboten.
Reinhard von Hanxleden, rvh@informatik.uni-kiel.de - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss06/s-synch/index.html
Synchrone Sprachen und Modellbasierte Entwicklung reaktiver Systeme (Abschlussprojekt) BA6 (080181)
- Dozent/in
- Dipl.-Inf. Steffen H. Prochnow
- Angaben
- Übung, 6 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 16, Bachelor-Abschlussprojekt
Zeit und Ort: n.V. - Inhalt
- In diesem Projekt werden zwei Aspekte des Enturfs reaktiver Systeme betrachtet, welche wahlweise bearbeitet werden sollen. Der erste Schwerpunkt liegt auf der modellbasierten Beschreibung reaktiven Verhaltens mit Hilfe des graphischen Statechart-Formalismus. Der zweite Schwerpunkt befasst sich mit der Analyse und Synthese solcher Systeme auf der Ebene von Esterel-Code, welcher aus Statecharts erzeugt werden kann.
- Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss06/p-ba/
Systemorientierte Informatik II - Organisation und Architektur von Rechnern (SysInf II) (080176)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Vorlesung, 3 SWS, ECTS-Studium, ECTS-Credits: 4, Modul:G2.2
Zeit und Ort: Mi 10:15 - 11:30, CAP3 - R.II (außer Mi 31.5.2006); Do 8:45 - 10:00, CAP3 - R.II (außer Do 27.4.2006); Einzeltermin am 27.4.2006 8:45 - 10:00, CAP3 - R.III; Bemerkung zu Zeit und Ort: Achtung: Ausweichraum am 27.04.06 - Girls Day
Klausur/Prüfung: 24.5.2006, 10:00 - 12:00 Uhr, Raum OHP5 - [Chemie II]; 7.8.2006, 9:30 - 12:30 Uhr, Raum OHP5 - [Chemie II]; 12.10.2006, 9:00 - 12:00 Uhr, Raum WSP3 - 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
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss06/v-sysinf2/index.html
- Zugeordnete Lehrveranstaltungen
- UE: Übung zur Vorl. Organisation und Architekturen von Rechnern (080089)
-
Dozent/in: Dipl.-Inf. Claus Traulsen
Zeit und Ort: Mo 14:15 - 15:45, WSP3 - R.1; Mo 16:15 - 17:45, LMS2 - R.Ü1 (außer Mo 6.6.2005); Mi 14:15 - 15:45, LMS2 - R.Ü2; Mi 16:15 - 17:45, WSP3 - R.1, WSP3 - R.2
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss06/v-sysinf2/index.html
Übung zu Entwurf eingebetteter Echtzeitsysteme (080115)
- Dozent/in
- Dipl.-Inf. Steffen H. Prochnow
- Angaben
- Übung, 2 SWS, benoteter Schein, ECTS-Studium
Zeit und Ort: Mi 14:15 - 15:45, CAP3 - R.I - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss06/v-rt1/index.html
Übung zur Vorl. Organisation und Architekturen von Rechnern (ÜSysInf II) (080089)
- Dozent/in
- Dipl.-Inf. Claus Traulsen
- Angaben
- Übung, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4, Modul:G2.2
Zeit und Ort: Mo 14:15 - 15:45, WSP3 - R.1; Mo 16:15 - 17:45, LMS2 - R.Ü1 (außer Mo 6.6.2005); Mi 14:15 - 15:45, LMS2 - R.Ü2; Mi 16:15 - 17:45, WSP3 - R.1, WSP3 - R.2 - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 30
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss06/v-sysinf2/index.html - Zugeordnet zu: Systemorientierte Informatik II - Organisation und Architektur von Rechnern (080176)