• Die erste Übung findet am 30.10.2009, 15.30 Uhr - 17.00 Uhr im Raum 1/336 statt.
• Die weiteren Übungen ab 6.11.2009 finden freitags 9.15 Uhr - 10.45 Uhr statt. Der Raum ist dann jeweils die 1/208A.

Eingebettete Systeme sind häufig Echtzeitsysteme. Außerdem unterliegt für sie entwickelte Software oft sehr hohen Anforderungen an die Zuverlässigkeit. Deshalb finden in der Entwicklung spezielle Sprachen und Methoden Anwendung. Behandelt werden u.a. Grundlagen der Regelungstechnik, Ada, SPARK, PEARL, C-/C++-basierte Sprachen sowie Matlab/Simulink und UML-Profile.

• 1 Einführung: Architekturen und Berechnungsmodelle
• 2 Regelungstechnik
• 3 Pogrammiersprachen und Modellierungswerkzeuge: Einführung, Ada und SPARK

• 26.10.2009, Foliensatz 1: Mini-Korrekturen und Folie 28 sowie 2 Lit.-verweise eingefügt
• 02.11.2009, Foliensatz 1: ausschließlich reaktives System als Begriff
• 06.11.2009, Foliensatz 2: Mini-Korrekturen
• 13.11.2009, Foliensatz 2: Folie 57, x- und y-Koordinate des Kreismittelpunktes vertauscht
• 16.11.2009, Foliensatz 3: Mini-Korrekturen, Ergänzung auf Folie 18
• 20.11.2009, Foliensatz 3: Mini-Korrekturen: Folien 16 und 28

• Übung 1 bis zum 30.10.2009: Einführung
• Übung 2 bis zum 06.11.2009: Fliehkraftregler und ABS
• Übung 3 bis zum 20.11.2009: Stellungsalgorithmus und diskrete Operatoren
• Übung 4 bis zum 04.12.2009: Ada und Spark, Teil 1

Am Ende des Semesters wird es eine 30-minütige mündliche Prüfung geben.