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 |
