Friedrich-Alexander-Universität DruckenUnivisEnglish FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Codesign
Lehrstuhl für Informatik 12
Eingebettete Systeme
Department Informatik  >  Informatik 12  >  Lehre  >  Eingebettete Systeme

Eingebettete Systeme

Dozent Prof. Dr. J. Teich, Dr. F. Hannig
Modulbeschreibung
Eingebettete Systeme und
Eingebettete Systeme mit Praktikum
Umfang/Stunden V2 + Ü2 (zusammen 5 ECTS), mit Praktikum P2 (Vorlesung + Übung +
Praktikum 7,5 ECTS) (Hinweise zum Praktikum hier)
Ort und Zeit der Vorlesung Di. 10.15-11.45 Uhr, H4 (Prof. Dr. J. Teich, Dr. F. Hannig)
der Übungen Di. 16.15-17.45 Uhr, H16 (Alexandru Tanase)
Di. 16.15-17.45 Uhr, H15 (Michael Eberl)
Mi. 08.15-09.45 Uhr, H10 (Stefan Wildermann)
des Praktikums 1. Versuch (Modellierung und Simulation mit SystemC):
  • Termin: Donnerstag, 15.12.2011 und Freitag 16.12.2011, ab 14.00 Uhr
  • Ort: Lehrstuhl für Hardware-Software-Co-Design (Raum 02.133)
2. Versuch (Synthese mit SystemC):
  • Termin: Donnerstag, 19.01.2012 und Freitag 20.01.2012, ab 14.00 Uhr
  • Ort: Lehrstuhl für Hardware-Software-Co-Design (Raum 02.133)
3. Versuch (Ablaufplanungsverfahren für Echtzeitsysteme):
  • Termin: Donnerstag, 2.02.2012 und Freitag 3.02.2012, ab 14.00 Uhr
  • Ort: Lehrstuhl für Hardware-Software-Co-Design (Raum 02.133)


Aktuelles:

  • Die Klausur findet voraussichtlich am 04.04.2012 statt.

Zielsetzung:

Schwerpunkt der Vorlesung ist der Entwurf und die Implementierung eingebetteter Systeme unter Einsatz formaler Methoden und rechnergestützter Entwurfsverfahren.

Inhalt:

Unter eingebetteten Systemen versteht man Rechensysteme, die auf einen Anwendungsbereich zugeschnitten (z.B. mobile Kommunikationsgröße, Chipkartensysteme, Industriesteuerungen, Unterhaltungselektronik, Medizintechnik) und in einen technischen Kontext eingebunden sind. Das große Interesse am systematischen Entwurf von heterogenen eingebetteten Systemen ist verursacht durch die steigende Vielfalt und Komplexität von Anwendungen für eingebettete Systeme, die Notwendigkeit, Entwurfs- und Testkosten zu senken sowie durch Fortschritte in Schlüsseltechnologien (Mikroelektronik, formale Methoden).
  1. Eigenschaften eingebetteter Systeme
  2. Entwurfsmethodik
  3. Spezifikation eingebetteter Systeme
  4. Ablaufplanungsverfahren (Scheduling)
  5. Architektursynthese heterogener Multiprozessorsysteme
  6. Echtzeitbetriebssysteme

Unterlagen:

Hinweise zum Praktikum:

Das ES-Praktikum kann nicht als eigenständiges Hochschulpraktikum anerkannt werden, sondern erhöht, sofern Ihre Studienordnung das vorsieht, die ECTS-Punkte beim Ablegen der Prüfung. Unabhängig davon wird der Besuch des Praktikums allen Vorlesungsteilnehmern empfohlen.
  Impressum Stand: 05 February 2012.   M.E.