Verifikation und Fehlerdiagnose - Sommersemester 06
Übersicht
| Beschreibung |
Aufgrund der immer größer werdenden Komplexität von eingebetteten Systemen - beispielsweise sind heutzutage in einem einzigen Auto mehrere Dutzend Prozessoren miteinander verschaltet - wird der Bedarf für formale Korrektheitsbeweise ("Verifikation") immer größer. Dieser wird noch verstärkt durch die Tatsache, daß viele der Systeme in sicherheitskritischen Bereichen eingesetzt werden und bei fehlerhafter Funktionsweise oft Menschenleben in Gefahr sind. Wir werden in dem Seminar voraussichtlich die folgenden Themengebiete behandeln:
Die Anmeldung zum Seminar findet nach der zentralen Seminarvorstellung am 24.4.2006, 16h statt, alternativ per Mail an Tobias Nopper oder bei der Vorbesprechung. Die Vorbesprechnung findet am Mittwoch, den 26.4.2006, 16h, in Raum 051-01-031 statt. Das Seminar ist als Blockseminar konzipiert; dabei findet der erste Block der Vorträge an einem Tag in der Mitte des Semsters (voraussichtlich Montag, den 3.7.) statt, die restlichen Vorträge werden voraussichtlich in der ersten Woche nach Vorlesungsende am 31.7. und 1.8. auf der Schauinslandhütte stattfinden. |
| Kommentar |
Seminar |