Safety Virtual Machine