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.
Als Implementierungssprache soll dabei die Sprache C verwendet werden,
die durch die Implementierung des LINUX-Systems vorgegeben ist.
|
