Device initialization by an access-restricted virtual machine, including: restricting access by a first operating system to a device during one or more device initialization operations, wherein the first operating system is executing in a first virtual machine supported by a hypervisor; determining, by a second operating system executing in a second virtual machine supported by the hypervisor, one or more modifications attempted by the first operating system to the device; and performing, by the second operating system, the one or more modifications to the device.
Legal claims defining the scope of protection, as filed with the USPTO.
2. The method of claim 1, wherein determining, by the second operating system, the one or more modifications comprises receiving, in response to a fault handling operation, an indication of the one or more attempted modifications.
3. The method of claim 1, wherein the one or more modifications attempted by the first operating system are included in the one or more device initialization operations.
4. The method of claim 1, wherein the first virtual machine, and the second virtual machine are implemented by an autonomous vehicle.
5. The method of claim 1, wherein the first operating system is a non-verified operating system, and the second operating system is a formally verified operating system.
6. The method of claim 1, further comprising determining, after performing the one or more modifications by the second operating system, that the device is in an initialized state.
7. The method of claim 6, wherein determining that the device is in an initialized state comprises determining, by the second operating, that the device is in an initialized state, and the method further comprises indicating, by the second operating system to a hypervisor, that the device is in an initialized state.
9. The apparatus of claim 8, wherein determining, by the second operating system, the one or more modifications comprises receiving, in response to a fault handling operation, an indication of the one or more attempted modifications.
10. The apparatus of claim 8, wherein the one or more modifications attempted by the first operating system are included in the one or more device initialization operations.
11. The apparatus of claim 8, wherein the first virtual machine, and the second virtual machine are implemented by an autonomous vehicle.
12. The apparatus of claim 8, wherein the first operating system is a non-verified operating system, and the second operating system is a formally verified operating system.
13. The apparatus of claim 8, wherein the steps further comprise determining, after performing the one or more modifications by the second operating system, that the device is in an initialized state.
14. The apparatus of claim 13, wherein determining that the device is in an initialized state comprises determining, by the second operating, that the device is in an initialized state, and the steps further comprise indicating, by the second operating system to a hypervisor, that the device is in an initialized state.
16. The autonomous vehicle of claim 15, wherein determining, by the second operating system, the one or more modifications comprises receiving, in response to a fault handling operation, an indication of the one or more attempted modifications.
17. The autonomous vehicle of claim 15, wherein the one or more modifications attempted by the first operating system are included in the one or more device initialization operations.
18. The autonomous vehicle of claim 15, wherein the first operating system is a non-verified operating system, and the second operating system is a formally verified operating system.
19. The autonomous vehicle of claim 15, wherein the steps further comprise determining, after performing the one or more modifications by the second operating system, that the device is in an initialized state.
Cooperative Patent Classification codes for this invention. Click any code to explore related patents in that topic.
June 9, 2021
February 6, 2024
Browse 5M+ US patents with plain-English claim translations and AI-generated analysis.