Main page |
| Project overview |
| The goal of this project is the design, implementation and formal verification of a simple operating system, SOS, on top of the VAMOS microkernel. The SOS is a privileged user process; it supports inter-process communication and remote procedure calls, device access, and user management for all user applications. |
| Project status |
| We have developed a specification of the operating system. The SOS is currently being implemented and the formal verification has started. |
| Project members |
|
Dr. Eyad Alkassar Dr. Sebastian Bogan Dr. Andrey Shadrin Christian Hennrich Ivan Mironenko |
