Institut für Rechnerarchitektur
und Parallelrechner
Hauptseite
Projektübersicht
Das Ziel dieses Projektes is Design, Implementierung und formale Verifikation eines einfachen Betriebssystems (SOS). Das SOS ist ein privilegiertes Benutzerprogramm, das die Primitiven des VAMOS Mikrokerns nutzt, um anderen Benutzerprogrammen (den Applikationen) ein vollständiges Betriebssystem anzubieten.
 
Projektstatus
Wir haben eine formale Spezifikation des Betriebssystems entwickelt. Das SOS wird derzeit implementiert und wir beginnen mit der Verifikation.
 
Projektmitarbeiter
Dr. Eyad Alkassar
Dr. Sebastian Bogan
Dr. Andrey Shadrin
Christian Hennrich
Ivan Mironenko