Darstellung - detailliert
Modellbahnpraktikum (PrakMoBa) (080101)
- Dozentinnen/Dozenten
- Dipl.-Inf. Steffen H. Prochnow, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Praktikum, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 6, Fachgebiet: Technische/Praktische Informatik
Zeit und Ort: Do 14:15 - 17:45, WSP1 - R.011
Vorbesprechung: 19.10.2005, 15:00 Uhr, Raum CAP4 - R.1118 - 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/inf/von-Hanxleden/teaching/ws05-06/p-bahn/
Oberseminar (OSemEZ) (080093)
- Dozent/in
- Prof. Dr. Reinhard von Hanxleden
- Angaben
- Oberseminar, 2 SWS, Fachgebiet:Technische/Praktische Informatik
Zeit und Ort: Di 14:15 - 15:45, CAP4 - R.1210 - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ws05-06/s-ober/
Seminar - Modellbasierter Systementwurf (SemMoSys) (080169)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Steffen H. Prochnow
- Angaben
- Seminar, 2 SWS, Schein, ECTS-Studium, ECTS-Credits: 4,0, Fachgebiet: Technische/Praktische Informatik
Zeit und Ort: Di 16:15 - 17:45, CAP4 - R.1210; Bemerkung zu Zeit und Ort: 1.Vorbesprechung: Di. 05.07.05, 14:15 CAP4 - R.118
Vorbesprechung: 19.10.2005, 14:15 Uhr, Raum CAP4 - R.1118 - Voraussetzungen / Organisatorisches
- Zielgruppe:
Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.) 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 folgenden Aspekten modellbasierten Systementwurfs auseinandersetzen:
- Transformation von Modellen zur Systemspezifikation (Statecharts, Sequenzdiagramme),
- Modellbasierte Softwaresynthese sowie
- Ergonomie von Modellierungswerkzeugen.
- Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ws05-06/s-model/
Synchrone Sprachen (Synch) (080200)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 4,0, Fachgebiet: Praktische / Theoretische Informatik
Zeit und Ort: Di, Do 10:15 - 11:45, CAP3 - R.I - Voraussetzungen / Organisatorisches
- Studierende im Hauptstudium der Dipl.-Inf. und Dipl.-Ing. Informatik-Studiengänge und des Bachelor Informatik-Studiengangs sowie Studierende mit Nebenfach Informatik.
- 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 SS 05 angebotene Vorlesung Modellbasierter Entwurf und Verteilte Echtzeitsysteme, wobei dessen Inhalte hier nicht vorausgesetzt werden. Der Besuch der Vorlesung Synchrone Sprachen ist hingegen Voraussetzung für die Teilnahme an einem im SS 06 angebotenen Seminar zum gleichen Thema. Ebenfalls wird im SS 06 ein Fortgeschrittenenpraktikum angeboten, für welches diese Vorlesung eine geeignete Vorbereitung darstellt. Weiterhin sind verschiedene Themen für Studien- und Diplomarbeiten in diesem Themenfeld zu vergeben. - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ws05-06/v-synch/
- Zugeordnete Lehrveranstaltungen
- UE: Übung zur Vorlesung: Synchrone Sprachen (080091)
-
Dozentinnen/Dozenten: Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
Zeit und Ort: Mo 16:15 - 17:45, CAP4 - R.1210
Übung zur Vorlesung: Synchrone Sprachen (ÜSynch) (080091)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Übung, 2 SWS, ECTS-Studium, ECTS-Credits: 3,0
Zeit und Ort: Mo 16:15 - 17:45, CAP4 - R.1210 - Zugeordnet zu: Synchrone Sprachen (080200)
Vorkurs Informatik (Vk Inf.) (080205)
- Dozent/in
- N.N.
- Angaben
- Kurs
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Mo. 9-16 h; Di. 9-14.45 h; Mi. 9-12 h: Do. 9-16 h; Fr.9-15 h
vom 10.10.2005 bis zum 14.10.2005 - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 100
www: http://www.informatik.uni-kiel.de/inf/von-Hanxleden/teaching/ws05-06/vorkurs/