Darstellung - detailliert
A5.3 Vertiefende Übung "Modellbahnpraktikum" - Fortgeschrittenenpraktikum (4SWS) (PrakMoBa) (080122)
- Dozent/in
- Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Praktikum, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 6, Fachgebiet: Technische/Praktische Informatik
Ort: WSP1 - R.011; Bemerkung zu Zeit und Ort: Vorbesprechungen: Do. 29.03.2007, 12.15 Uhr - Inhalt
- Bei diesem Praktikum geht es darum, im Rahmen eines größeren, zusammenhängenden Projektes unter Verwendung industrietypischer Werkzeuge und Entwurfsprozesse Erfahrungen im Entwurf eines komplexen Echtzeitsystems zu gewinnen.
Die Anwendung ist vorgegeben: es soll eine Eisenbahnsteuerung entworfen werden, welche in der Lage ist, eine Reihe von Zügen fernzusteuern. Dabei gilt es, eine Reihe von typischen Echtzeitanforderungen 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.
Weiterhin ist vorgegeben, dass der Entwurfsprozess modellbasiert sein soll. Das heisst hier, es soll nicht nur Steuersoftware entwickelt werden, welche dann unmittelbar in der konkreten Anwendung getestet wird, sondern es soll zunächst ein Modell der Steuersoftware (System under Development, SUD) sowie der zu steuernden Umgebung (Environment) entworfen werden. Dieser Ansatz bietet eine Reihe von Vorteilen:- Das SUD kann zunächst simuliert und validiert werden, am Rechner und unter reproduzierbaren Bedingungen, unter voller Kontrolle über das Environment incl. variabler Zeitskalen.
- Das Verhalten des Steuerprogramms ist am Modell generell besser nachvollziehbar als in der Realität.
- Das Steuerprogramm lässt sich generell automatisch aus dem Modell synthetisieren.
- Je nach Modellierungssprache lassen sich bestimmte Eigenschaften formal nachweisen.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss07/p-railway/
A5.3 Vertiefende Übung "Modellbahnpraktikum" - Fortgeschrittenenpraktikum (8SWS) (PrakMoBa) (080133)
- Dozent/in
- Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Praktikum, 8 SWS, ECTS-Studium, ECTS-Credits: 12, Das Praktikum kann wahlweise als 4 oder 8-stündiges Praktikum belegt werden
Zeit und Ort: Do, WSP1 - R.011; Bemerkung zu Zeit und Ort: Vorbesprechungen: Do. 29.03.2007, 12.15 Uhr - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss07/p-railway/
BA6 - Abschlussprojekt Modellbasierter Systementwurf (080132)
- Dozent/in
- Dipl.-Inf. Steffen H. Prochnow
- Angaben
- Übung, 6 SWS, ECTS-Studium, ECTS-Credits: 16, Bachelor-Abschlussprojekt
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: nach Vereinbarung - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss07/bachelorproject/
MS1110 Seminar - Modellbasierter Systementwurf (SemMoSys) (080123)
- Dozentinnen/Dozenten
- Dipl.-Inf. Steffen H. Prochnow, Prof. Dr. Reinhard von Hanxleden
- Angaben
- Seminar, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4,0, Fachgebiet: Technische/Praktische Informatik
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Vorbesprechungen: Fr. 02.02.2007 sowie Di. 03.04.2007, jeweils 12:45 Uhr, CAP4 1118 (Hochhaus, 11. Stock) - Voraussetzungen / Organisatorisches
- Zielgruppe:
Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Master) sowie Studierende mit Nebenfach Informatik. - Inhalt
- Die Mehrzahl der heute produzierten Mikroprozessoren werden als eingebettetes Echtzeitsystem für Steuerungsaufgaben in einem vordefiniertem Umfeld eingesetzt - in einem Hörgerät oder Handy, zur Motorsteuerung, in medizinischen Geräten, im by-wire Flugzeug, etc. Solche Systeme werden typischerweise modellbasiert entwickelt. Dabei wird zunächst ein Systemmodell erstellt, z.B. mit Matlab/Simulink/Stateflow, oder Esterel-Studio/SCADE, und dieses Modell dient als Grundlage für Simulation, Validation, Dokumentation und auch zur automatischen Codesynthese. In diesem Seminar werden wir uns mit aktuellen Forschungsarbeiten beschäftigen, welche sich mit Aspekten des modellbasierten Systementwurfs auseinandersetzen.
- Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss07/seminar-modellbasierter-systementwurf/
Oberseminar Echtzeitsysteme/Eingebettete Systeme (OSemEZ) (080120)
- Dozent/in
- Dipl.-Inf. Claus Traulsen
- Angaben
- Oberseminar, 2 SWS, Fachgebiet:Technische/Praktische Informatik
Zeit und Ort: Fr 10:00 - 13:00, CAP4 - R.910[SR910] - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ss07/oberseminar/