Beschreibung |
Unsere
Gesellschaft wird in immer stärkerem Maße von technischen Systemen
beeinflußt. Einige kritische Bereiche unseres Lebens hängen in
besonderem Maße von solchen Systemen ab, z.B. Verkehrsleittechnik,
Medizintechnik, KFZ-Technik oder elektronische Systeme in der Flug- und Raumfahrt.
Aber auch internationale Börsen und Banken bleiben von diesen Techniken
nicht unbeeinflußt. In den meisten dieser Systeme spielt digitale Hardware
eine kritische Rolle, z.B. in Form von Steuerungen und Prozessoren.
Die Hardwareverifikation hat nun die Aufgabe, die Korrektheit solcher Systeme
zu zeigen, bevor sie produziert werden. In dieser Vorlesung werden grundlegende
Techniken der Verifikation von digitalen Hardwaresystemen vorgestellt, wie
sie in der Industrie eingesetzt werden. |
||||||||||||||||||||||||
Ort und Zeit |
Die Vorlesung findet während
des Sommersemesters 2003 |
||||||||||||||||||||||||
Prüfung |
Pruefungsfach:
Technische Informatik Umfang: 1 SWS (ca. 8 Termine a 1,5 h) Turnus: unregelmäßig |
||||||||||||||||||||||||
Termine |
|
||||||||||||||||||||||||
Literatur |
|
||||||||||||||||||||||||
Links
|