Materialien
Vorlesungsmaterial
Computer-Aided Engineering - Sommersemester 05
Übersicht
| Beschreibung |
Die (formale) Verifikation technischer Systeme erlangt eine immer größere Bedeutung, da einerseits komplexe Systeme, die in praktischen Anwendungen eingesetzt werden, mit (nicht-formalen) Simulationsmethoden nicht mehr in ausreichendem Maß validiert werden können und da andererseits die entworfenen informationsverarbeitenden Systeme häufig in sicherheitskritischen Bereichen eingesetzt werden, so dass Kompromisse bezüglich Zuverlässigkeitsgarantien nicht akzeptabel sind. In der Praxis werden mehr und mehr computergestützte Methoden zur formalen Verifikation eingesetzt. In dem Praktikum wird der Umgang mit verschiedenen Werkzeugen zur Verifikation von technischen Systemen eingeübt. Das Praktikum ergänzt die Spezialvorlesung Verifikation, die im Sommersemester 2005 angeboten wird. Da die theoretischen Grundlagen für das Praktikum in der Vorlesung Verifikation gelegt werden, ist ein Besuch dieser Vorlesung zwar keine zwingende Voraussetzung zur Bearbeitung des Praktikums, aber dringend angeraten. |
| Kommentar |
Praktikum im Hauptstudium |