Darstellung - detailliert
A5.3.3: Fortgeschrittenenpraktikum - Synchrone Sprachen (Fortg.Prak.) (080093)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Übung, 4 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 8, Modul: A5.3.3; wahlweise auch mit 8 SWS
Ort: CAP4 - R.1114; Bemerkung zu Zeit und Ort: Zeit: jeweils nach Vereinbarung, Vorbesprechung ist alternativ
Vorbesprechungen: 8.7.2008, 11:45 - 12:00 Uhr, Raum LMS2 - R.Ü2; 28.10.2008, 12:45 - 13:00 Uhr - Inhalt
- 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.
Im Rahmen des Praktikums sollen verschiedene sycnhrone Sprachen (z.B. Esterel, Lustre, SCADE) verwedendet werden, um reale eingebette Systeme zu steuern. Insbesondere sollen die verschiedenen Ausführungsarten synchroner Sprache (Software, als Hardware auf einem FPGA, mit einer virtuellen Maschine) verwendet werden.
Voraussetzungen
Vorkenntniss aus den Vorlesungen Modellbasierter Entwurf oder Synchrone Sprachen sind hilfreich aber keine explizite Voraussetzung. - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws08-09/p-synch/
BA6.1: Projektmodul - Echtzeitsysteme/Eingebettete Systeme (Synchrone Sprachen) (080115)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Übung, 6 SWS, ECTS-Studium, ECTS-Credits: 16, Modul: BA6.1
Ort: CAP4 - R.1114
Vorbesprechungen: 8.7.2008, 11:45 - 12:00 Uhr, Raum LMS2 - R.Ü2; 28.10.2008, 12:45 - 13:00 Uhr - Inhalt
- 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.
Im Rahmen des Praktikums sollen verschiedene sycnhrone Sprachen (z.B. Esterel, Lustre, SCADE) verwedendet werden, um reale eingebette Systeme zu steuern. Insbesondere sollen die verschiedenen Ausführungsarten synchroner Sprache (Software, als Hardware auf einem FPGA, mit einer virtuellen Maschine) verwendet werden.
Voraussetzungen
Vorkenntniss aus den Vorlesungen Modellbasierter Entwurf oder Synchrone Sprachen sind hilfreich aber keine explizite Voraussetzung. - Zusätzliche Informationen
- www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws08-09/p-synch/
Fortgeschrittenenpraktikum Diplom - Vertiefende Übung "Synchrone Sprachen" (4SWS) (Dipl.Prakt.) (080095)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 8
Ort: CAP4 - R.1114
Vorbesprechungen: 8.7.2008, 11:45 - 12:00 Uhr, Raum LMS2 - R.Ü2; 28.10.2008, 12:45 - 13:00 Uhr - Inhalt
- 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.
Im Rahmen des Praktikums sollen verschiedene sycnhrone Sprachen (z.B. Esterel, Lustre, SCADE) verwedendet werden, um reale eingebette Systeme zu steuern. Insbesondere sollen die verschiedenen Ausführungsarten synchroner Sprache (Software, als Hardware auf einem FPGA, mit einer virtuellen Maschine) verwendet werden.
Voraussetzungen
Vorkenntniss aus den Vorlesungen Modellbasierter Entwurf oder Synchrone Sprachen sind hilfreich aber keine explizite Voraussetzung. - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws08-09/p-synch/
Fortgeschrittenenpraktikum Diplom - Vertiefende Übung "Synchrone Sprachen" (8SWS) (Dipl.Prakt.) (080096)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Übung, 8 SWS
Ort: CAP4 - R.1114
Vorbesprechungen: 8.7.2008, 11:45 - 12:00 Uhr, Raum LMS2 - R.Ü2; 28.10.2008, 12:45 - 13:00 Uhr - Inhalt
- 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.
Im Rahmen des Praktikums sollen verschiedene sycnhrone Sprachen (z.B. Esterel, Lustre, SCADE) verwedendet werden, um reale eingebette Systeme zu steuern. Insbesondere sollen die verschiedenen Ausführungsarten synchroner Sprache (Software, als Hardware auf einem FPGA, mit einer virtuellen Maschine) verwendet werden. Voraussetzungen Vorkenntniss aus den Vorlesungen Modellbasierter Entwurf oder Synchrone Sprachen sind hilfreich aber keine explizite Voraussetzung. - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws08-09/p-synch/
MS1103: - Entwurf eingebetteter Echtzeitsysteme (EchtZ) (080200)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Vorlesung, 4 SWS, ECTS-Studium, ECTS-Credits: 8, Modul: MS1103; Fachgebiet: Technische Informatik / Praktische Informatik
Zeit und Ort: Di 14:15 - 15:45, LMS2 - R.Ü1; Mi 10:15 - 11:45, LMS2 - R.Ü1 (außer Mi 11.2.2009)
vom 27.10.2008 bis zum 18.2.2009
Klausur/Prüfung: 9.12.2008, 14:00 - 16:00 Uhr, Raum OS40 - R.201[Alte Mensa Hebbel]; 10.2.2009, 14:00 - 16:00 Uhr, Raum OS40 - R.201[Alte Mensa Hebbel]; 17.2.2009, 9:00 - 18:00 Uhr, Raum CAP4 - R.1118 - 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
- Erwartete Teilnehmerzahl: 40
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws08-09/v-emb-rt/ - Zugeordnete Lehrveranstaltungen
- UE: Übung zu: Entwurf eingebetteter Echtzeitsysteme (080190)
-
Dozent/in: Dipl.-Inf. Hauke Fuhrmann
Zeit und Ort: Di 16:15 - 17:45, LMS2 - R.Ü1 (außer Di 2.12.2008); Einzeltermin am 2.12.2008 16:15 - 17:45, CAP2 - Hörsaal E [Audimax]
MSP1101: Praktikum - Echtzeitsysteme / Eingebettete Systeme (Synchrone Sprachen) (Masterb Prak.) (080116)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Claus Traulsen
- Angaben
- Übung, 4 SWS, ECTS-Studium, ECTS-Credits: 12, Modul: MSP1101
Ort: CAP4 - R.1114
Vorbesprechungen: 8.7.2008, 11:45 - 12:00 Uhr, Raum LMS2 - R.Ü2; 28.1.2009, 12:45 - 13:00 Uhr - Inhalt
- 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.
Im Rahmen des Praktikums sollen verschiedene sycnhrone Sprachen (z.B. Esterel, Lustre, SCADE) verwedendet werden, um reale eingebette Systeme zu steuern. Insbesondere sollen die verschiedenen Ausführungsarten synchroner Sprache (Software, als Hardware auf einem FPGA, mit einer virtuellen Maschine) verwendet werden.
Voraussetzungen
Vorkenntniss aus den Vorlesungen Modellbasierter Entwurf oder Synchrone Sprachen sind hilfreich aber keine explizite Voraussetzung. - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws08-09/p-synch/
MSS1101: Seminar - Echtzeitsysteme / Eingebettete Systeme (Eclipse Technologien) (Sem. Echtz.) (080195)
- Dozentinnen/Dozenten
- Prof. Dr. Reinhard von Hanxleden, Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Seminar, 2 SWS, ECTS-Studium, ECTS-Credits: 4, Modul: MSS1101
Zeit und Ort: Einzeltermin am 29.10.2008 12:00 - 12:45, LMS2 - R.K - Inhalt
- Thema: Eclipse Technologien
Das Seminar dieses Semesters beschäftigt sich mit Technologien rund um die Entwicklungsplattform Eclipse. Durch ihr modulares und offenes Konzept hat die auf Java basierende Plattform Eclipse in den letzten Jahren einen wahren Höhenflug erlebt: Vielfältige unterschiedliche Technologien sind in verschiedenen Projekten implementiert worden und in die gemeinsame Plattform integriert. Die grundlegenden Infrastrukturen und die entsprechenden Synergieeffekte zwischen den Projekten machen Eclipse so attraktiv als Basis für die Umsetzung eigener Ideen. Die Konzepte und Ideen dahinter entstammen jungen sowie ausgewachsenen Technologien und stellen mittlerweile bedeutende Forschungsthemen dar. - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 8
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws08-09/s-eclipse/
Oberseminar (OSemEZ) (080037)
- Dozent/in
- Prof. Dr. Reinhard von Hanxleden
- Angaben
- Oberseminar, 2 SWS, Fachgebiet:Technische/Praktische Informatik
Zeit und Ort: Einzeltermin am 30.1.2009 9:00 - 17:00, CAP4 - R.715 - Inhalt
- In diesem Blockseminar werden Vorträge zu aktuellen Ergebnissen und Problemstellungen der Forschung aus dem Bereich Echtzeitsysteme und Eingebettete Systeme gehalten. Es werden laufende Studienarbeiten, Bachelorarbeiten, Diplomarbeiten und Dissertationen vorgestellt.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 15
www: http://www.informatik.uni-kiel.de/rtsys/teaching/ws08-09/s-ober/
Übung zu: Entwurf eingebetteter Echtzeitsysteme (ÜEntw.eing.Echtz.) (080190)
- Dozent/in
- Dipl.-Inf. Hauke Fuhrmann
- Angaben
- Übung, 2 SWS
Zeit und Ort: Di 16:15 - 17:45, LMS2 - R.Ü1 (außer Di 2.12.2008); Einzeltermin am 2.12.2008 16:15 - 17:45, CAP2 - Hörsaal E [Audimax] - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 40
- Zugeordnet zu: MS1103: - Entwurf eingebetteter Echtzeitsysteme (080200)
Grundstudium
A3.2: Systemorientierte Informatik III - Betriebssysteme (Sys.Inf.III) (080102)
- Dozent/in
- Prof. Dr.-Ing. Norbert Luttenberger
- Angaben
- Vorlesung, 3 SWS, benoteter Schein, ECTS-Studium, ECTS-Credits: 7, Modul: A3.2
Zeit und Ort: Mi 10:00 - 11:00, HRS7 - R.3[C3-KLEIN]; Di 16:00 - 18:00, CAP2 - Hörsaal D [Audimax]
vom 27.10.2008 bis zum 11.2.2009
Klausur/Prüfung: 18.2.2009, 9:00 - 11:00 Uhr, Raum CAP3 - Hörsaal 2; 1.4.2009, 9:00 - 11:00 Uhr, Raum CAP3 - Hörsaal 3 - Voraussetzungen / Organisatorisches
- Digitale Systeme, Organisation und Architektur von Rechensystemen
- Inhalt
- Die Lehrveranstaltung bildet eine Brücke zwischen der technischen und
der praktischen Informatik. Basierend auf den Grundlagen der Rechnerarchitektur (Grundmodul G2.2) werden die grundlegenden Funktionsweisen von Betriebssystemen vorgestellt.
Lehrinhalte:
Die nebenläufige und parallele Ausführung von Prozessen trägt maßgeblich zur Effizienz eines Gesamtsystems bei und ist entscheidend für die Auslastung der Betriebsmittel. Allerdings erfordert die verzahnte Verarbeitung den Einsatz von Synchronisationskonzepten, die auf Sperrvariablen, Semaphore, kritischen Abschnitten und Transaktionen basieren, um die Interaktion zwischen den Prozessen und den Zugriff auf die Betriebsmittel zu organisieren. Insbesondere werden allgemeine Methoden für die Verwaltung der Betriebsmittel vorgestellt, welche auf zentralisierten, kooperativen und optimistischen Techniken basieren. Techniken zur Erkennung und Vermeidung von Verklemmungen schließen den Bereich der Ressourcenverwaltung ab. Anschließend werden die vorgestellten Methoden im Kontext der Speicher- und der Prozessorverwaltung detailliert betrachtet. Umgang mit logischen und virtuellen Betriebsmitteln, Speicherhierarchien, Virtualisierung und Caching gehören zu den Schwerpunkten. Beim Scheduling wird die Ablaufplanung für konventionelle Prozesse, Echtzeitsysteme sowie für abhängige Prozesse erläutert. Die Lehrveranstaltung bietet die Grundlagen für weiterführende Veranstaltungen wie Verteilte Systeme, Internet-Kommunikation, Rechnernetze, Echtzeitsysteme und teilweise für Datenbanken und Compilerbau. - Empfohlene Literatur
- 1. Stallings, W.: Operating Systems, 5th ed. Pearson Education International, 2005.
2. Silberschatz, A., Galvin, P., Gagne, G.: Operating System Concepts with Java, 7th ed. Wiley 2007.
3. Tanenbaum A., Woodhull, A.: Operating Systems, Design and Implementation, 3rd ed. Pearson Prentice Hall, 2006. - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 100
- Zugeordnete Lehrveranstaltungen
- UE: Übungen zu: Systemorientierte Informatik III - Betriebssysteme (080103)
-
Dozentinnen/Dozenten: Prof. Dr.-Ing. Norbert Luttenberger, Dipl.-Inf. Hagen Peters
Zeit und Ort: Mi, Do 16:00 - 18:00, WSP3 - Seminarraum 2; Do 14:00 - 16:00, WSP3 - Seminarraum 3; Mi 12:00 - 14:00, WSP3 - Seminarraum 2
Übungen zu: Systemorientierte Informatik III - Betriebssysteme (Ubg. Sys.Inf.III) (080103)
- Dozentinnen/Dozenten
- Prof. Dr.-Ing. Norbert Luttenberger, Dipl.-Inf. Hagen Peters
- Angaben
- Übung, 2 SWS, benoteter Schein, ECTS-Studium, Modul: A3.2
Zeit und Ort: Mi, Do 16:00 - 18:00, WSP3 - Seminarraum 2; Do 14:00 - 16:00, WSP3 - Seminarraum 3; Mi 12:00 - 14:00, WSP3 - Seminarraum 2
bis zum 12.2.2009 - Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 100
- Zugeordnet zu: A3.2: Systemorientierte Informatik III - Betriebssysteme (080102)