LIVE! -- The Linux Verification Enterprise

Die Ziele des Projektes ergeben sich aus der speziellen Problematik des Einsatzes von Betriebssystemen in sicherheitskritischen Anwendungen:

• die Anforderungen sicherheitsrelevanter Anwendungen an die Zuverlässigkeit von Betriebssystemen sollen verstanden werden;
• das Betriebssystem Linux soll im Detail besprochen werden;
• für eine Bespielanwendung sollen sichere Betriebssystemkernkomponenten aus Linux entwickelt werden;

Darüberhinaus soll ein grundlegendes Verständnis für das Arbeiten mit großen, in der Entwicklung befindlichen Systemen vermittelt werden, sowie Kenntnisse über Methoden und Werkzeuge zur Unterstützung der Entwicklung komplexer Systeme. Es werden grundlegende Kenntnisse in den Gebieten Betriebsysteme und Sicherheitskritische Anwendungen vermittelt. Dazu gehören

• Architekturen für Betriebssysteme, insbesondere in sicherheitskritischen Anwendungen;
• Einsatz Formaler Methoden zur Spezifikation und Entwicklung sicherheitskritischer Anwendungen;
• CASE Techniken im Bereich von UNIX, insbesondere die Verwaltung von großen Projekten im Hinblick auf Configuration Management, Reengineering und Wiederverwendbarkeit von Ergebnissen aus Verifikation, Validation und Test;
• Implementierung von Betriebssystemkomponenten; hier sollen für die Anwendung ungeeignete Anteile durch geeignete ersetzt werden ( Schwerpunkt werden hierbei Zuverlässigkeit, Echtzeit-Aspekte und Prozesskommunikation sein);
• Fallstudien, die für den Entwurf und die Entwicklung des sicheren Betriebssystemkerns als Ausgangspunkt genommen werden sollen.