Vehicle control device

1. A vehicle control device comprising a processor and a memory, the processor being configured to:

determine whether execution timing of an execution body has deviated from a design setting;

transition to a monitoring state;

verify an impact of deviation of the execution timing that differs from a timing of interrupt processing; and

in response detecting an error in the monitoring state, cause an output of a notification of a state at a time of deviation together with an error code indicating a cause of the error,

wherein determining whether the execution timing has deviated from the design setting includes comparing the execution timing with a constraint expression including a parallel execution constraint of the execution body.

2. The vehicle control device according to claim 1 , the memory being further configured to store the state at the time of deviation together with the error code when the error is detected in the monitoring state.

3. The vehicle control device according to claim 1 , wherein the execution body is at least one of interrupt processing, a task, or circuit processing.

4. The vehicle control device according to claim 1 , wherein the state at the time of deviation is an execution situation of the execution body.

5. The vehicle control device according to claim 1 , wherein the parallel execution constraint is a group of a task and interrupt processing for which parallel execution is simultaneously permitted.

6. The vehicle control device according to claim 1 , wherein the parallel execution constraint includes a serial execution constraint in a same core.

7. The vehicle control device according to claim 1 , wherein the parallel execution constraint also includes processing in a multi-core, processing of a GPU, and processing of an FPGA.

8. The vehicle control device according to claim 1 , wherein the timing that differs from the timing of the interrupt processing results from one of: that the verification of the impact of deviation is executed at a time when the interrupt processing is not executed, the verification of the impact of deviation is executed at an end time of the interrupt processing, or the verification of the impact of deviation is executed at a time having a lower priority than a priority of the interrupt processing.

9. The vehicle control device according to claim 1 , wherein the processor and the memory are further configured to determine deviation based on a state transition event of each state.

10. The vehicle control device according to claim 9 , wherein the processor and the memory determine deviation based on the state transition event by a state transition simulation.

11. The vehicle control device according to claim 1 , wherein a program to be monitored is a program for which state transition is designed.

12. A design verification support device comprising a processor and a memory which stores executable instructions, which, on execution, cause the processor to:

access a log of an execution state of an execution body;

determine, from a design in the log of the execution state of the execution body, whether a deviation in execution timing from a design setting has occurred;

perform a run-time verification that verifies an impact of deviation at execution timing that differs from timing of interrupt processing; and

in response detecting an error when verifying the impact of deviation of execution timing, output a notification of a state at a time of deviation together with an error code indicating a cause of the error,

wherein determining whether the execution timing has deviated from the design setting includes comparing the execution timing with a deviation state stored in the log.