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

Entwicklung integrierter HW/SW-Systeme - ehemals Integrierte Hard- und Softwaresysteme 2 (BT, II, IN, MA, WI)

Allgemeine Informationen


Ziele der Veranstaltung

Das Ziel der Lehrveranstaltung ist die Vermittlung von Systemwissen und Vorgehensstrategien, das den Studierenden erlaubt zentrale Entscheidungen bei der Entwicklung von gemischten Hard- und Softwaresystemen zu treffen. Die Vorlesung zielt so auf die Befähigung von Studierenden zu einer Systemsicht, d.h. der Abstraktion von unzähligen Details des Entwurfsprozesses um so das System als Ganzes optimal gestalten und entwickeln zu können. Studierende sollten nach Abschluss der Lehrveranstaltung in der Lage sein, aus einer Auswahl an Beschreibungstechniken die für ihr Problem geeignetste auszuwählen und anzuwenden und damit gezielt die nötigen Optimierungsentscheidungen im Entwicklungsprozess komplexer HW/SW-Systeme treffen zu können.

Durchführung

  • Die Veranstaltung wird im Wintersemester angeboten
  • Stundenumfang: 5 LP als Modul

Hinweise

  • Empfohlen wird der erfolgreiche Abschluss der Lehrveranstaltung Schaltsysteme

Praktikum

  • Es wird zusätzlich noch ein Praktikum/Projekt angeboten, welches im darauffolgenden Sommersemester stattfindet.

Abschluss

  • Mündliche Prüfung: im Prüfungszeitraum 20 Minuten, Zeitabstimmung im Sekretariat Zusebau 1031.

Inhalte der Veranstaltung

  • Methoden und Sprachen zur Verhaltensspezifikation (Statecharts, SDL, VHDL oder SystemC)
  • Methoden zur Analyse funktionaler Eigenschaften
  • Methoden zur Analyse temporaler Eigenschaften (Methoden der Leistungsbewertung und Echtzeitanalyse)
  • Heuristische Optimierungsverfahren (Clustering, Genetische Algorithmen, Tabu Search, etc.)

Prüfungsschwerpunkte

  • Die Prüfungen finden im Prüfungszeitraum statt. Einschreiblisten zur Terminfestlegung liegen ab 22.1. im Sekretariat Z1031 aus. Eine Anmeldung im Prüfungsamt ist unabhängig davon vorzunehmen.
  • Fragen zur Vorlesung sind hier zu finden.
  • Fragen zum Seminar (WS2013/14) sind hier zu finden.
  • Fragen zum Seminar (WS2012/13) sind hier zu finden.
  • Fragen zum Seminar (WS2011/12) sind hier zu finden.
  • Fragen zum Seminar (WS2010/11) sind hier zu finden.
  • Fragen zum Seminar (WS2009/10) sind hier zu finden.

Arbeitsmaterialien

Einleitung
  • Einleitung Download PDF
Systementwicklung
  • Entwicklungsprozess Download PDF
  • Anforderungen Download PDF
Verhaltensmodellierung
  • Verhaltensmodellierung Einleitung Download PDF
  • Zustandsautomaten Download PDF
  • State-Charts Download PDF
  • Konzepte Download PDF
  • SDL und MSC Download PDF
  • Petrinetze-DFG-CFG-CDFG Download PDF
Validierung
  • Analyse von Zeit- und Leistungsaspekten Download PDF
  • Validierung paralleler Automaten Download PDF
  • Textversion Dekomposition und Validierung paralleler Automaten Download PDF
Optimierung
  • Heuristische Optimierung Download PDF
Entwicklung von Kopter-Systemen - Seminarunterlagen WS16/17
  • Ü1-Kopter-Problem- und Machbarkeitsanalyse am Beispiel eines Kopters Download PDF
  • Ü2-Kopter-Anforderungsspezifikation Download PDF
  • Ü3-Kopter-Architekturentwurf Download PDF
  • Ü4-Kopter-MessageFerry Download PDF
  • Ü5-Kopter-MorseSimulator Download PDF
  • Ü5-Kopter-MORSE Simulator Folien Download PDF
  • Ü5-Kopter-MORSE Simulator- Beispiel

Weiterführendes Material

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
Model Checking