Institute for Computer Architecture
and Parallel Computing
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