Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


 




Zeige Systems Engineering-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Informatik-Format Pdf_icon Digitale Medien-Format Pdf_icon

System Engineering-Ansicht

Modultyp
Vertiefung 		Pflichtmodul Wahlbereich
Spezialisierungsbereich Anzahl Semesterwochenstunden CP Angeboten in jedem
V Ü S P Proj. ∑ Anzahl
Qualitätsorientierter System-Entwurf
2 2 0 0 0 4 6 i. d. R. angeboten alle 2 Jahre
Quality Oriented System Design         Berechnung des Workloads
Vorgesehenes Semester ab 1. Semester
Lernziele

  • Abläufe im Schaltkreisentwurf erklären können
  • Methoden zur Validierung von Entwürfen unterscheiden und bewerten können
  • Methoden und Algorithmen zur formalen Verifikation von Entwürfen verstehen und an Beispielen erläutern können
  • Probleme der Qualitätssicherung beim Systementwurf analysieren können
  • Aufgaben und Beispiele in den wöchentlichen Tutorien eigenständig präsentieren können

Lerninhalte

  1. Entwurfsablauf
  2. Hardware-Beschreibung durch VHDL
  3. Verifikation
  4. Formale Methoden
  5. Graphenbasierte Funktionsdarstellung
  6. Äquivalenzvergleich
  7. Modellprüfung

Aus der Übersicht lässt sich erkennen, dass ein überwiegender Teil der Vorlesung theoretisch/methodische Grundlagen behandelt. Insbesondere werden folgende theoretisch/methodischen Grundlagen im Zusammenhang dieser Inhalte behandelt:

  • Boolesche Funktionen und Boolesche Algebra
  • Datenstrukturen zur effizienten Repräsentation Boolescher Funktionen
  • effiziente Algorithmen zur Manipulation Boolescher Funktionen
  • Überführung von Systemen in automatentheoretische Modelle
  • Temporallogiken zur Beschreibung von Eigenschaften für die Modellprüfung
  • Erreichbarkeitsanalyse und Fixpunktiterationen in großen Zustandsräumen
  • Komplexitätstheoretische Betrachtung der Algorithmen
Prüfungsformen

i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Dokumente (Skripte, Programme, Literatur, usw.)

  • G. Hachtel, F. Somenzi, Logic Synthesis and Verification Algorithms, Kluwer Academic Publishers, 1996
  • K.L. McMillan: Symbolic Model Checking, Kluwer Academic Publishers, 1993
Lehrende: Prof. Dr. R. Drechsler Verantwortlich: Prof. Dr. R. Drechsler
Zurück

Zeige Systems Engineering-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Informatik-Format Pdf_icon Digitale Medien-Format Pdf_icon