Darstellung - detailliert
A5.3.3: Fortgeschrittenenpraktikum - Echtzeitsysteme/Eingebettete Systeme (Modelierung in Eclipse) ((Fortg.Prak.)) (080246)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Miro Spönemann, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 8, Modul: A5.3.3
Zeit und Ort: Do 10:15 - 11:45, LMS2 - R.Ü2/K
vom 26.10.2009 bis zum 5.2.2010 - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/p-eclipse/
BA6.1: Projektmodul - Echtzeitsysteme/Eingebettete Systeme (Modelierung in Eclipse) ((EchtZ)) (080243)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Miro Spönemann, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Übung, 6 SWS, ECTS-Studium, ECTS-Credits: 16, Modul: BA 6.1
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Hinweise zu Raum und Zeit unter: A5.3.3: Fortgeschrittenenpraktikum - Echtzeitsysteme/Eingebettete Systeme (Modelierung in Eclipse)
vom 26.10.2009 bis zum 5.2.2010 - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/p-eclipse/
Fortgeschrittenenpraktikum - Echtzeitsysteme/Eingebettete Systeme (4SWS) (Modelierung in Eclipse) ((Dipl.Prakt.)) (080242)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Miro Spönemann, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Übung, 4 SWS
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Hinweise zu Raum und Zeit unter: A5.3.3: Fortgeschrittenenpraktikum - Echtzeitsysteme/Eingebettete Systeme (Modelierung in Eclipse)
vom 26.10.2009 bis zum 5.2.2010 - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/p-eclipse/
Fortgeschrittenenpraktikum - Echtzeitsysteme/Eingebettete Systeme (8SWS) (Modelierung in Eclipse) ((Dipl.Prakt.)) (080239)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Miro Spönemann, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Übung, 8 SWS
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Hinweise zu Raum und Zeit unter: A5.3.3: Fortgeschrittenenpraktikum - Echtzeitsysteme/Eingebettete Systeme (Modelierung in Eclipse)
vom 26.10.2009 bis zum 5.2.2010 - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/p-eclipse/
MS1102: - Synchrone Sprachen (Synch) (080035)
- Dozent/in
- Prof. Dr. Reinhard von Hanxleden
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8, Modul: MS1102; Fachgebiet: Praktische Informatik/Theoretische Informatik
Zeit und Ort: Mi, Fr 10:15 - 11:45, LMS2 - R.Ü3 (außer Fr 20.11.2009); Einzeltermin am 20.11.2009 10:15 - 11:45, LMS2 - R.Ü2/K
vom 26.10.2009 bis zum 6.2.2010 - Voraussetzungen / Organisatorisches
- 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 und SCADE; Synthese von effizienter Hardware und Software; Der Kiel Esterel Prozessor; Logische und konstruktive Semantik; Kausalitätsanalyse.
in diesem Themenfeld sind verschiedene Themen für studentische Abschlussarbeiten zu vergeben. - Empfohlene Literatur
- Literatur & Links
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 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 Reinhard v. Hanxleden, Modellierung Reaktiver Systeme - Statecharts und Synchrone Sprachen, in: Peter Liggesmeyer and Dieter Rombach (Hrsg.), Software Engineering für Eingebettete Systeme, Spektrum Akademischer Verlag, 2005 Lokale Webseite zur Esterel-Programmierumgebung - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/v-synch/ - Zugeordnete Lehrveranstaltungen
- UE: Übung zu: Synchrone Sprachen (080244)
-
Dozentinnen/Dozenten: Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
Zeit und Ort: Mi 14:15 - 15:45, WSP3 - Seminarraum 3
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/v-synch/
MSP1101: Projekt - Echtzeitsysteme/Eingebettete Systeme (Modelierung in Eclipse) ((Prakt.)) (080248)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Miro Spönemann, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 12, Modul: MSP1101
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Hinweise zu Raum und Zeit unter: A5.3.3: Fortgeschrittenenpraktikum - Echtzeitsysteme/Eingebettete Systeme (Modelierung in Eclipse)
vom 26.10.2009 bis zum 5.2.2010 - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/p-eclipse/
MSS1101: Seminar - Echtzeitsysteme/Eingebettete Systeme (Modellierung und Ausführung Nebenläufiger Systeme) (080276)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann, Miro Spönemann, Dipl.-Inf. Claus Traulsen
- Angaben
- Seminar, 2 SWS, ECTS-Studium, ECTS-Credits: 4, Modul: MSS1101; Modellierung und Ausführung Nebenläufiger Systeme
Zeit und Ort: n.V.; Bemerkung zu Zeit und Ort: Zeit/Ort nach Vereinbarung
Vorbesprechungen: 16.7.2009, 11:15 - 11:45 Uhr, Raum LMS2 - R.Ü1; 28.10.2009, 12:15 - 13:00 Uhr, Raum CAP4 - R.1118 - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/s-conc/
Oberseminar (O.Sem.) (080247)
- Dozent/in
- Prof. Dr. Reinhard von Hanxleden
- Angaben
- Oberseminar, 2 SWS
Zeit und Ort: n.V. - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/s-ober/
Übung zu: Synchrone Sprachen (ÜSynch) (080244)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Übung, 2 SWS
Zeit und Ort: Mi 14:15 - 15:45, WSP3 - Seminarraum 3
vom 26.10.2009 bis zum 5.2.2010 - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws09/v-synch/ - Zugeordnet zu: MS1102: - Synchrone Sprachen (080035)