Verifikation Eingebetteter Systeme - Wintersemester 2014/15

Übersicht

Beschreibung

Viele moderne Produkte basieren auf mikroelektronischen Komponenten. Oftmals ist das korrekte Funktionieren dieser Produkte lebenswichtig, etwa in Medizintechnik oder Autoelektronik. Daher werden hohe Anforderungen an die Qualität der darin eingesetzten mikroelektronischen Systeme gestellt. Die Anforderungen lassen sich in drei Gruppen unterteilen: (1) Das System muss korrekt entsprechend der Spezifikation entworfen sein. (2) Das gemäß Entwurf physikalisch gefertigte System soll zum Zeitpunkt seiner Herstellung fehlerfrei funktionieren. (3) Darüber hinaus soll das System für einen gegebenen Zeitraum zuverlässig (d.h. ohne Ausfall) eingesetzt werden können.

Kommentar

Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.