Practical Dependable Systems With Os/Hypervisor Support