In den Arbeitsgruppen des Projekts LiVE! wird die allgemeine Zieldefinition des
Projekts in speziellen Aufgaben konkretisiert. Die Auswahl dieser Aufgaben
erfolgte nach einer Ideenfindung während des ersten Projektsemesters
bzw. durch Anregungen von "außen". Folgende Arbeitsgruppen wurden zu
Beginn des Sommersemesters 1998 gebildet:
Diese Gruppe beschäftigt sich mit der bestehenden Implementation des
Ext2-Dateisystems unter Linux und der Verifikation von Komponenten
(z.B. ACL), wobei fehlende Implementierungen oder neue Funktionen ergänzt
werden sollen.
Diese Gruppe beschäftigt sich mit dem Aufbau eines fehlertoleranten
Mailservers unter Linux mit der Verwendung von Hardware- wie
Software-Fehlertoleranz, sowie der Entwicklung und Verifikation von
dazu behilflichen Softwarekomponenten.
Diese Gruppe beschäftigt sich mit der Verifikation der
Linux-Implementation des IPC-Package (Message Queues, Semaphoren, Shared
Memory) nach System V.
Symmetric Multiprocessing (SMP)
Diese Gruppe beschäftigt sich mit der Verifikation von SMP-Komponenten des
Linux-Kernels, sowie der Implementation selbiger.
|
