OPERATING SYSTEM MODALITY SWITCHING IN AN AUTONOMOUS VEHICLE
An autonomous vehicle for operating system modality switching may include an apparatus configured to perform steps comprising: executing, by a hypervisor, a first virtual machine comprising a first operating system; detecting a change in the state of the autonomous vehicle; revoking, by the hypervisor, in response to the change in the state of the autonomous vehicle, one or more resources associated with the execution of the first virtual machine; and executing, by the hypervisor, a second virtual machine comprising a second operating system.
1 . An autonomous vehicle for operating system modality switching, comprising:
an apparatus configured to at least:
executing, by a hypervisor, a first virtual machine comprising a first operating system;
detecting a change in the state of the autonomous vehicle;
revoking, by the hypervisor, in response to the change in the state of the autonomous vehicle, one or more resources associated with the execution of the first virtual machine; and
executing, by the hypervisor, a second virtual machine comprising a second operating system.
2 . The autonomous vehicle of claim 1 , wherein detecting the change in the state of the autonomous vehicle comprises: receiving a command to disable one or more functions of the autonomous vehicle, or detecting that the autonomous vehicle has entered one or more of: an autonomous driving mode, a potentially autonomous driving mode, or a stationary mode.
3 . The autonomous vehicle of claim 1 , wherein the first operating system is configured to perform, based on sensor data from a plurality of sensors of the autonomous vehicle, one or more autonomous driving functions according to one or more real-time constraints.
4 . The autonomous vehicle of claim 1 , wherein the second operating system is independent of the one or more real-time constraints.
5 . The autonomous vehicle of claim 4 , wherein the second operating system is configured to perform data analytics on the sensor data.
6 . The autonomous vehicle of claim 1 , wherein the first operating system is a formally verified operating system and the second operating system is an unverified operating system.
7 . The autonomous vehicle of claim 1 , wherein revoking the one or more resources associated with the execution of the first virtual machine comprises terminating execution of the first virtual machine, suspending execution of the first virtual machine, or reducing one or more of: processor resources, memory resources, or device resources of the first virtual machine.
8 . The autonomous vehicle of claim 1 , further comprising:
deferring ending revoking the one or more resources associated with the execution of the first virtual machine until a condition is satisfied; and
wherein revoking the one or more resources associated with the execution of the first virtual machine is further in response to the condition being satisfied.
9 . The autonomous vehicle of claim 8 , wherein the condition comprises a completion of a process executed by the first virtual machine.
10 . A method for operating system modality switching in an autonomous vehicle, comprising:
executing, by a hypervisor, a first virtual machine comprising a first operating system;
detecting a change in the state of the autonomous vehicle;
revoking, by the hypervisor, in response to the change in the state of the autonomous vehicle, one or more resources associated with the execution of the first virtual machine; and
executing, by the hypervisor, a second virtual machine comprising a second operating system.
11 . The method of claim 10 , wherein the first operating system is configured to perform, based on sensor data from a plurality of sensors of the autonomous vehicle, one or more autonomous driving functions according to one or more real-time constraints.
12 . The method of claim 11 , wherein the second operating system is configured to perform data analytics on the sensor data.
13 . The method of claim 11 , wherein the first operating system is a formally verified operating system and the second operating system is an unverified operating system.
14 . The method of claim 10 , wherein revoking the one or more resources associated with the execution of the first virtual machine comprises terminating execution of the first virtual machine, suspending execution of the first virtual machine, or reducing one or more of: processor resources, memory resources, or device resources of the first virtual machine.
15 . An apparatus for operating system modality switching in an autonomous vehicle, the apparatus configured to perform steps comprising:
executing, by a hypervisor, a first virtual machine comprising a first operating system;
detecting a change in the state of the autonomous vehicle;
revoking, by the hypervisor, in response to the change in the state of the autonomous vehicle, one or more resources associated with the execution of the first virtual machine; and
executing, by the hypervisor, a second virtual machine comprising a second operating system.
16 . The apparatus of claim 15 , wherein detecting, by the hypervisor, the change in the state of the autonomous vehicle comprises: receiving a command to disable one or more functions of the autonomous vehicle, or detecting that the autonomous vehicle has entered one or more of: an autonomous driving mode, a potentially autonomous driving mode, or a stationary mode.
17 . The apparatus of claim 15 , wherein the first operating system is configured to perform, based on sensor data from a plurality of sensors of the autonomous vehicle, one or more autonomous driving functions according to one or more real-time constraints.
18 . The apparatus of claim 17 , wherein the second operating system is configured to perform data analytics on the sensor data.
19 . The apparatus of claim 17 , wherein the first operating system is a formally verified operating system and the second operating system is an unverified operating system.
20 . A computer program product disposed upon a non-transitory computer readable medium, the computer program product comprising computer program instructions for operating system modality switching in an autonomous vehicle that, when executed, cause a computer system of the autonomous vehicle to carry out the steps of:
executing, by a hypervisor, a first virtual machine comprising a first operating system;
detecting a change in the state of the autonomous vehicle;
revoking, by the hypervisor, in response to the change in the state of the autonomous vehicle, one or more resources associated with the execution of the first virtual machine; and
executing, by the hypervisor, a second virtual machine comprising a second operating system.