11633 - Graphen-basierte Modellierung von digitalen Systemen Modulübersicht

Modulnummer: 11633 - Modul nicht mehr im Angebot ab SS 2020
Modultitel:Graphen-basierte Modellierung von digitalen Systemen
  Graph Based Modelling of Digital Systems
Einrichtung: Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik
Verantwortlich:
  • Prof. Dr.-Ing. habil. Hübner, Michael
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: sporadisch nach Ankündigung
Leistungspunkte: 6
Lernziele:Nach der Teilnahme am Modul sind die Studierenden in der Lage,
  • digitale Schaltungen und Systeme mit graphische Methoden auf Grund der Entscheidungsdiagrammen zu modellieren
  • ihre Testbarkeit zu analysieren und zu beurteilen
  • Testprobleme wie Fehlermodellierung, Testerzeugung und Fehlersuche in digitalen Schaltungen und Systeme mit graphische Methoden zu formulieren und zu lösen.
Inhalte:
  • Einführung: Testprobleme von Systemen und Graphen Theory
  • Kapitel 1: Binäre Entscheidungsdiagrammen und digitale Schaltungen. Typen, Synthese und Eigenschaften
  • Kapitel 2:  Testerzeugung und Fehlersuche in digitalen Schaltungen mit graphische Methoden
  • Kapitel 3: System Entscheidungsdiagrammen und digitale Systemen. Typen, Synthese und Eigenschaften
  • Kapitel 4: Testprogram Synthese und Fehlersuche in digitalen Systemen mit graphische Methoden
  • Kapitel 5: Automatisierung von Testprogramm Synthese für Mikroprocessorsysteme mit System Entscheidungsdiagrammen
Empfohlene Voraussetzungen:Gute Kenntnisse der Digitaltechnik und elektronischer Grundlagen integrierter Schaltungen.
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 2 SWS
  • Übung / 1 SWS
  • Praktikum / 1 SWS
  • Hausarbeit / 40 Stunden
  • Selbststudium / 80 Stunden
Unterrichtsmaterialien und Literaturhinweise:Die Präsentationen und ausgewählte Artikel zum Thema werden elektronisch zur Verfügung gestellt. Eine Literaturliste wird zu Beginn der Veranstaltung bekannt gegeben. Aufgaben für Übungen werden elektronisch verfügbar sein.
Modulprüfung:Modulabschlussprüfung (MAP)
Prüfungsleistung/en für Modulprüfung:
  • Klausur, 90 min.
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
Bemerkungen:
  • Studiengang Informatik M. Sc.:  Wahlpflichtmodul in Komplex „Angewandte und technische Informatik“ (Niveaustufe 400).
  • Studiengang Physik M. Sc.: Wahlpflichtmodul im Komplex „Nebenfach“.

Das Modul kann bei Bedarf auf Englisch angeboten werden.

Veranstaltungen zum Modul:Vorlesung "Graphen-basierte Modellierung von digitalen Systemen"
Blockveranstaltung mit integrierten Übungen und Praktilum
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden
Nachfolgemodul/e: Auslaufmodul ab: 25.01.2020
  • ohne Nachfolgemodul/e