active semantically aware hard real-time security hypervisors
In this paper, we sketch an approach to security involving the use of real-time operating systems as real-time monitors of system security, using semantic properties of the underlying "base" operating system and applications to improve efficiency and capabilities.
real-time hypervisors virtualization