Hauptseite |
| Projektübersicht |
| In diesem Projekt möchten wir einen Betriebssystemkern spezifizieren und formal verifizieren. Der Betriebssystemkern unterstützt Memory Management ohne Shared Memory, I/O mit Geräten, Prozess-Management und synchrone Interprocess-Communication. |
| Projektstatus |
| Wir haben die sogenannte CVM-Schicht (Communicating Virtual Machines) entwickelt, welche alle hardwareabhängigen Teile des Betriebssystemkerns einschließt. Inline Assembler wird nur in der CVM-Schicht verwendet. Das VAMOS (Verified Architecture Microkernel Operating System) Betriebssystem über dieser CVM-Schicht ist vollständig in C0 geschrieben; die Implementierung ist fertig. |
| Projektmitarbeiter |
|
Dr. Jan Dörrenbächer Ing. (it) Mauro Gargano Dr. Mark A. Hillebrand Dr. Thomas In der Rieden M. Sc. Abdul Qadar Kara Dr. Steffen Knapp Dipl.-Ing. Dominik Rester Yury Chebiryak Anna Marchenkova |
