http://www.tu-ilmenau.de

Logo TU Ilmenau


FG Integrierte Kommunikationssysteme


headerphoto FG Integrierte Kommunikationssysteme
Ansprechpartner

Prof. Dr.-Ing. habil. Andreas Mitschele-Thiel

Fachgebietsleiter

Telefon +49 3677 / 69 2819

E-Mail senden

INHALTE

Diplom-Studiengänge

Hinweis

Es werden keine Veranstaltungen speziell für Diplom-Studenten angeboten. Bitte informieren Sie sich über äquivalente Veranstaltungen aus den Bachelor- und Master-Angeboten.

Entwurf und Validierung paralleler Systeme (IN,II)

Allgemeine Informationen


Ziele der Veranstaltung

  • Vertiefung der Kenntnisse der Entwicklung integrierter Hard- und Softwaresysteme, insb. Techniken zur Verhaltensspezifikation
  • Validierung funktionaler und temporaler Eigenschaften
  • Leistungsabschätzung
  • heuristische Optimierung
  • HW/SW-Codesign und High-level-Synthese

Durchführung

  • Die Veranstaltung wird zur Zeit nicht angeboten
Die Vorlesung wird nur im Sommersemester angeboten.

Anmerkung zu Projektseminar (Informatik und Ingenieurinformatik):
Die Anrechnung der SWS für Projektseminare in Komplexprüfungen kann nur nach vollständigem Abschluss des Projektseminars erfolgen. Andernfalls ist die Teilnahme an der Komplexprüfung nicht möglich.

Themen zum Projektseminar unter Lehrmaterialien auf dieser Seite

Voraussetzungen: IHS 1 oder Schaltsysteme

Inhalte der Veranstaltung

  • Beschreibungstechniken
    • VHDL
    • SystemC
    • StateCharts
    • SDL/MSC
  • Validierung
    • Validierung paralleler Systeme
    • Eigenschaften paralleler Automaten
    • funktionaler Eigenschaften mittels Model Checking
    • temporale Eigenschaften und Leistungsbewertung
  • Moderne Entwurfstechniken
    • Heuristische Optimierung
    • High-level Synthese (siehe Vorlesung IHS)
    • HW/SW-Codesign (ab SS 04)
Keine weiteren Informationen verfügbar.

Arbeitsmaterialien

Einleitung
  • Einleitung Download PDF
Mittel und Methoden des Entwurfs
  • Entwicklungsprozess und Phasen Download PDF
  • Verhaltensmodellierung und Beschreibungssprachen Download PDF
  • Anforderungen Download PDF
SDL/MSC
  • Entwicklung verteilter Systeme mit SDL und MSC Download PDF
Parallele Automaten/Statecharts
  • Statecharts part 1 Download PDF
  • Statecharts part 2 Download PDF
  • Everything you always wanted to know about Statecharts but were afraid to ask, Artikel von C. Huizing und W.P. de Roever
Hardwarebeschreibungssprachen
  • VHDL Download PDF
  • SystemC Download PDF
Model Checking
Validierung
  • Validierung temporaler Effekte und Leistungsbewertung Download PDF
Optimierung
weiterführendes Material
Übungsaufgaben VHDL
Fragen zur Vorlesung
  • Prüfungsvorbereitung Download PDF
Projektseminar
  • Themen Download PDF

Literaturempfehlungen