 |
Eingebettete Systeme
Aktuelles:
- Die Klausur findet am 09.04.2010 statt. Raum und Uhrzeit werden noch bekannt gegeben.
Praktikum zur Vorlesung:
1. Versuch (Modellierung und Simulation mit SystemC):
- Termin: wahlweise
- Di. 01.12.2009 von 14.00-16.00 Uhr
oder
- Do. 03.12.2009 von 14.00-16.00 Uhr
- Ort: Lehrstuhl für Hardware-Software-Co-Design (Raum 204)
2. Versuch (Synthese mit SystemC):
- Termin: wahlweise
- Di. 19.01.2010 von 14.00-16.00 Uhr
oder
- Do. 21.01.2010 von 14.00-16.00 Uhr
- Ort: Lehrstuhl für Hardware-Software-Co-Design (Raum 204)
3. Versuch (Ablaufplanungsverfahren für Echtzeitsysteme):
- Termin: wahlweise
- Di. 09.02.2010 von 14.00-16.00 Uhr
oder
- Do. 11.02.2010 von 14.00-16.00 Uhr
- Ort: Lehrstuhl für Hardware-Software-Co-Design (Raum 204)
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).
- Eigenschaften eingebetteter Systeme
- Entwurfsmethodik
- Spezifikation eingebetteter Systeme
- Ablaufplanungsverfahren (Scheduling)
- Architektursynthese heterogener Multiprozessorsysteme
- Echtzeitbetriebssysteme
Unterlagen:
|
|
