Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation probabilistischer und hybrider Systeme - Wintersemester 2011/12
Übersicht
| Beschreibung |
Eingebettete Systeme besitzen eine digitale Steuerung, interagieren in der Regel aber mit kontinuierlichen physikalischen Größen wie Temperatur, Geschwindigkeit und Zeit. Außerdem müssen Effekte berücksichtigt werden, die probabilistischer Natur sind (z. B. Kommunikation über unzuverlässige Kanäle, endliche Lebensdauer von Komponenten ...). Da eingebettete Systeme of sicherheitskritisch sind (z. B. der Airbag in einem Auto, Motorsteuerungen ...), muss ihre Korrektheit sichergestellt sein. Dafür reichen die klassischen Methoden zur Verifikation digitaler Schaltkreise nicht aus. Lehrinhalte:In dieser Vorlesung werden Formalismen zur Modellierung probabilistischer und hybrider Systeme vorgestellt:
Für diese Klassen von Modellen werden Algorithmen besprochen, mit denen automatisch diverse Eigenschaften überprüft werden können wie zum Beispiel: Die Wahrscheinlichkeit, innerhalb der normalen Betriebsdauer in einen sicherheitskritischen Zustand zu gelangen, ist höchstens 0.00001. Nach einem Aufprall dauert es maximal 15 ms, bis der Airbag das Signal zum Aufblasen erhält. Zielgruppe: Bachelor-Studierende im Studiengang Informatik oder ESE, Master-Studierende im Studiengang Informatik. Diese Vorlesung ist eine Weiterführung der Vorlesung "Verifikation eingebetteter Systeme" aus dem WS 2010/11. Sie kann jedoch ohne Kenntnisse der Verifikation gehört werden. Sprache: Deutsch (Folien auf Englisch)  http://smile.informatik.uni-freiburg.de/ |
| Kommentar |
Spezialvorlesung im Bachelor- und Master-Studiengang Informatik/ESE |