Präsentation

Die Zuverlässigkeit, Sicherheit, Korrektheit und Robustheit von eingebetteten Systemen wird immer wichtiger. Immer wieder treten Fehler auf, darunter auch kritische, die auf gedanklich-logische Irrtümer in Spezifikation und Implementierung des Systems zurückzuführen sind. Dabei spielen Hardware und Software eine ebenso wichtige Rolle wie die verwendeten Hardware-Beschreibungssprachen und Programmiersprachen. Zur Vermeidung von Fehlern werden oft Einschränkungen an die verwendeten Sprachen festgelegt, um dynamische Fehlfunktionen zu verhindern, aber auch, um die Analyse und Verifikation zu vereinfachen. Die Techniken reichen dabei von der statischen Analyse von Systemen, Programmen und Spezifikationen hinsichtlich der verschiedensten Fragestellungen bis hin zu mehr und mehr Kombinationen aus maschinellen Beweissystemen und Model-Checkern. Neben Fehlervermeidung ist auch Fehlertoleranz (z.B. durch Redundanz, Mehrfachauslegung) für Software ein interessanter Ansatz. Techniken, wie Laufzeitprüfung, Beobachterprozesse, Monitoring, Konsistenzprüfung werden eingesetzt. Mehr und mehr stehen Qualitätsprüfung und die Garantie von Eigenschaften der Systeme im Vordergrund. Ein Beispiel wäre z.B. die Zertifizierung sicherheitsrelevanter Systeme. In diesem Zusammenhang sind auch Bibliotheken, Werkzeuge, Compiler, Systemkomponenten, Fremdsoftware von Bedeutung, für die die Hersteller ebenfalls verantwortlich sind. Die Beherrschung dieser komplexen Zusammenhänge ist nicht nur für Systeme relevant, von denen Gefahr für Leib und Leben von Menschen ausgeht, sondern auch bei wirtschaftlichem Gefahrenpotential, z.B. im Bereich der Security. Ziel dieses Seminars ist es einen Einblick in die Theorie der eingebetteten System-Verifikation und die aktuellen, in der Forschung entwickelten, Tools zu geben, ohne den Fokus auf die heute eingesetzten industriellen Methoden zu verlieren.

Die Studierenden können wissenschaftliche Literatur recherchieren und haben Lese- und Lernkompetenz erworben. Sie können ein Thema strukturiert aufbereiten sowie schriftlich und in Form eines Vortrags präsentieren.

aktuelle Veröffentlichungen aus Industrie und Forschung