Darstellung - detailliert
Modellbahnpraktikum (ModBahn) (08088)
- Dozentinnen/Dozenten
- Dipl.-Inf. Jan Lukoschus, Dipl.-Phys. Alwin Stengel
- Angaben
- Praktikum, 4 SWS, Schein, ECTS-Studium, ECTS-Credits: 8
Zeit und Ort: Mi 12:15 - 13:45, CAP4 - R.802 - Inhalt
- In diesem Praktikum soll der Fahrbetrieb auf einer Eisenbahn gesteuert werden. Hierbei sind die klassischen Anforderungen einer Prozesssteuerung zu erfüllen:
- Safety - Züge dürfen nicht kollidieren
- Liveness - Züge dürfen sich nicht gegenseitig blockieren
- Timeliness - Es soll ein bestimmter Fahrplan eingehalten werden.
- 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'Reilly, 1995 - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss02/bahn/
Programmierung von Echtzeitsystemen (EchtZ) (08086)
- Dozent/in
- Prof. Dr. Reinhard von Hanxleden
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 4, Praktische/Technische Informatik
Zeit und Ort: Do 16:00 - 17:30, LMS2 - R.Ü1; Fr 11:45 - 13:15, LMS2 - R.Ü1 - Inhalt
- Echtzeitsysteme zeichnen sich dadurch aus, dass für die Korrektheit einer Implementierung nicht nur die produzierten Ergebnisse, sondern auch der Zeitpunkt der Ergébnisse entscheident ist; z.B. ist ein Sprachsignal nur dann verständlich, wenn die Signalabfolge in einem vorgegebenen zeitlichen Raster ist. In dieser Vorlesung sollen grundlegende Konzepte für Echtzeitsysteme und eingebettete Systeme erarbeitet werden und mit praktischen Übungen (auch basierend auf Lego Mindstorms Robotern) gefestigt werden.
Schwerpunkte sind- Programmiertechnische Umsetzung zeitlicher Bedingungen
- Scheduling
- Nebenläufigkeit
- 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
- Schlagwörter: Echtzeitsysteme, Eingebettete Systeme, Reaktive Systeme
Erwartete Teilnehmerzahl: 20
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss02/rt-prog/
Synchrone Sprachen und Modellierungswerkzeuge (SynSpra) (08092)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Prof. Dr. Willem-Paul de Roever
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 4, Praktische/Technische Informatik
Zeit und Ort: Do 14:15 - 15:45, LMS2 - R.Ü1; Fr 10:00 - 11:30, LMS2 - R.Ü1 - Inhalt
- Synchrone Sprachen zeichnen sich dadurch aus, dass ein Ein-/Ausgabeverhalten unabhängig von tatsächlichen Ausführungszeiten und -reihenfolgen beschrieben wird. Modellierungswerkzeuge, welche teilweise eine synchrone Semantik implementieren, dienen ebenfalls dazu, eine bestimmte Funktionalität auf einer höheren Abstraktionsebene zu beschreiben als dies mit klassischen imperativen (C, Java) oder funktionalen Sprachen möglich ist. Beide Konzepte haben zunehmende Bedeutung für den Entwurf reaktiver Systeme, welche - oft sicherheitskritische - Steuerungsaufgaben wie zum Beispiel Aufzugssteuerungen oder Flugsteuerungen wahrnehmen.
Schwerpunkte dieser Vorlesung sind:- Die Einführung textueller und graphischer synchroner Sprachen, wie z.B. Esterel, Lustre, oder Statecharts,
- Die Vorstellung und der kritische Vergleich verbreiteter Modellierungswerkzeuge, wie z.B. Statemate oder Matlab/Simulink/Stateflow.
- Empfohlene Literatur
- 1. Nicolas Halbwachs, "Synchronous programming of reactive systems, a tutorial and commented bibliography,"
Tenth International Conference on Computer-Aided Verification, CAV'98 Vancouver (B.C.), LNCS 1427, Springer
Verlag, June 1998,
2. Nicolas Halbwachs, "Synchronous Programming of Reactive Systems" Kluwer Academic Publishers, 1992
3. Harel, Politi, "Modeling Reactive Systems with Statecharts: The Statemate Approach", McGrawHill, ISBN 0-07-026205-5, 1998
4. "Using Simulink & Stateflow in Automotive Applications" The Mathworks, 1998,
5. Michael von der Beeck, "A Comparison of Statecharts Variants," Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), Lübeck, September 1994, LNCS 863, pp. 128-148
6. Gerard Berry, "The Foundations of Esterel" Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, Foundations of Computing Series, 2000
7. Stephen A. Edwards, "Languages for Digital Embedded Systems" Kluwer International Series in Engineering and Computer Science, Vol. 572, ISBN 0-7923-7925-X, 2000 - Zusätzliche Informationen
- Schlagwörter: Synchrone Sprachen, Modellierungswerkzeuge, Reaktive Systeme
Erwartete Teilnehmerzahl: 20
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss02/synch/
Übung zu Programmierung von Echtzeitsystemen (EchtZ) (08087)
- Dozent/in
- Dipl.-Phys. Alwin Stengel
- Angaben
- Übung, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4
Zeit und Ort: Di 13:15 - 15:00, LMS2 - R.Ü2 - Zusätzliche Informationen
- Schlagwörter: Echtzeitsysteme, Eingebettete Systeme, Reaktive Systeme
Erwartete Teilnehmerzahl: 20
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss02/rt-prog/
Übung zu Synchrone Sprachen und Modellierungswerkzeuge (SynSpra) (08093)
- Dozentinnen/Dozenten
- Dipl.-Inf. Jan Lukoschus, Dipl.-Inf. Kai Baukus
- Angaben
- Übung, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4
Zeit und Ort: Fr 14:00 - 16:00, WSP3 - R.9
ab 5.4.2002 - Zusätzliche Informationen
- Schlagwörter: Synchrone Sprachen, Modellierungswerkzeuge, Reaktive Systeme
Erwartete Teilnehmerzahl: 20
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ss02/synch/