Variable access privileges for secure resources in an autonomous vehicle

1. A method comprising:

configuring, by a hypervisor, a first virtual machine to have a first one or more access privileges to one or more resources, wherein the first virtual machine comprises a first operating system having a first combination of non-exclusive modalities, wherein the hypervisor determines the first one or more access privileges by accessing a data structure that associates particular combinations of non-exclusive modalities with corresponding access privileges;

configuring, by the hypervisor, a second virtual machine to have a second one or more access privileges to the one or more resources, wherein the second virtual machine comprises a second operating system different from the first operating system and having a second combination of non-exclusive modalities, wherein the hypervisor determines the second one or more access privileges by accessing the data structure; and

modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine;

wherein the hypervisor, the first virtual machine, and the second virtual machine are implemented by an autonomous vehicle.

2. The method of claim 1 , wherein the change in the execution state of the first virtual machine comprises one or more of: a suspension of the first virtual machine, a termination of the first virtual machine, or a resuming execution of the first virtual machine.

3. The method of claim 1 , wherein the one or more resources comprise one or more devices.

4. The method of claim 1 , wherein the first operating system comprises a formally verified operating system and the second operating system comprises an unverified operating system.

5. The method of claim 1 , further comprising passing, by the first virtual machine to the second virtual machine, one or more data values associated with the one or more resources.

6. An apparatus comprising:

one or more processors and memory, wherein the one or more processors are configured to perform steps comprising:

configuring, by a hypervisor, a first virtual machine to have a first one or more access privileges to one or more resources, wherein the first virtual machine comprises a first operating system having a first combination of non-exclusive modalities, wherein the hypervisor determines the first one or more access privileges by accessing a data structure that associates particular combinations of non-exclusive modalities with corresponding access privileges;

configuring, by the hypervisor, a second virtual machine to have a second one or more access privileges to the one or more resources, wherein the second virtual machine comprises a second operating system different from the first operating system and having a second combination of non-exclusive modalities, wherein the hypervisor determines the second one or more access privileges by accessing the data structure; and

modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine;

wherein the hypervisor, the first virtual machine, and the second virtual machine are implemented by an autonomous vehicle.

7. The apparatus of claim 6 , wherein the change in the execution state of the first virtual machine comprises one or more of: a suspension of the first virtual machine, a termination of the first virtual machine, or a resuming execution of the first virtual machine.

8. The apparatus of claim 6 , wherein the one or more resources comprise one or more devices.

9. The apparatus of claim 6 , wherein the first operating system comprises a formally verified operating system and the second operating system comprises an unverified operating system.

10. The apparatus of claim 6 , wherein the steps further comprise passing, by the first virtual machine to the second virtual machine, one or more data values associated with the one or more resources.

11. An autonomous vehicle comprising:

an apparatus comprising one or more processors and memory, wherein the one or more processors are configured to perform steps comprising:

configuring, by a hypervisor, a first virtual machine to have a first one or more access privileges to one or more resources, wherein the first virtual machine comprises a first operating system having a first combination of non-exclusive modalities, wherein the hypervisor determines the first one or more access privileges by accessing a data structure that associates particular combinations of non-exclusive modalities with corresponding access privileges;

configuring, by the hypervisor, a second virtual machine to have a second one or more access privileges to the one or more resources, wherein the second virtual machine comprises a second operating system different from the first operating system and having a second combination of non-exclusive modalities, wherein the hypervisor determines the second one or more access privileges by accessing the data structure; and

modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine.

12. The autonomous vehicle of claim 11 , wherein the change in the execution state of the first virtual machine comprises one or more of: a suspension of the first virtual machine, a termination of the first virtual machine, or a resuming execution of the first virtual machine.

13. The autonomous vehicle of claim 11 , wherein the one or more resources comprise one or more devices.

14. The autonomous vehicle of claim 11 , wherein the first operating system comprises a formally verified operating system and the second operating system comprises an unverified operating system.

15. The autonomous vehicle of claim 11 , wherein the steps further comprise passing, by the first virtual machine to the second virtual machine, one or more data values associated with the one or more resources.

16. A computer program product disposed upon a non-transitory computer readable storage medium, the computer program product comprising computer program instructions that, when executed, cause a computer system to carry out steps comprising:

configuring, by a hypervisor, a first virtual machine to have a first one or more access privileges to one or more resources, wherein the first virtual machine comprises a first operating system having a first combination of non-exclusive modalities, wherein the hypervisor determines the first one or more access privileges by accessing a data structure that associates particular combinations of non-exclusive modalities with corresponding access privileges;

configuring, by the hypervisor, a second virtual machine to have a second one or more access privileges to the one or more resources, wherein the second virtual machine comprises a second operating system different from the first operating system and having a second combination of non-exclusive modalities, wherein the hypervisor determines the second one or more access privileges by accessing the data structure; and

modifying, by the hypervisor, the second one or more access privileges in response to a change in an execution state of the first virtual machine;

wherein the hypervisor, the first virtual machine, and the second virtual machine are implemented by an autonomous vehicle.

17. The computer program product of claim 16 , wherein the change in the execution state of the first virtual machine comprises one or more of: a suspension of the first virtual machine, a termination of the first virtual machine, or a resuming execution of the first virtual machine.

18. The computer program product of claim 16 , wherein the one or more resources comprise one or more devices.

19. The computer program product of claim 16 , wherein the first operating system comprises a formally verified operating system and the second operating system comprises an unverified operating system.

20. The computer program product of claim 16 , wherein the steps further comprise passing, by the first virtual machine to the second virtual machine, one or more data values associated with the one or more resources.