Method, system and device for managing an execution of a program relating to part or all of a first application

A system for managing an execution of a program relating to at least a part of a first application, as a first application program, the system comprising a first device and a second device, the first device comprising a first processor, the second device comprising a second processor;

• wherein the first processor is configured to execute a first control flow;
• wherein the second processor is configured to:
• execute, in synchronization with the first control flow execution, at least one second application, the at least one second application comprising, each, when executed in synchronization with the first control flow execution, at least one predetermined variable and at least one expected value that the at least one predetermined variable has to have or at least one predetermined condition that the at least one predetermined variable has to satisfy to authorize an execution of the correct first control flow by the first processor;
• verify, by executing each of the at least one second application, whether the at least one predetermined variable has or does not have the at least one expected value or whether the at least one predetermined variable does or does not satisfy the at least one predetermined condition;
• and
• infer, if, for all of the at least one second application executed by the second processor, the at least one predetermined variable has the at least one expected value or the at least one predetermined variable satisfies the at least one predetermined condition, that the first processor is executing the correct first control flow;
• or
• infer, if, for at least one of the at least one second application executed by the second processor, the at least one predetermined variable does not have the at least one expected value or the at least one predetermined variable does not satisfy the at least one predetermined condition, that the first processor is not executing the correct first control flow.

A device for managing an execution of a program relating to at least a part of a first application, as a first application program, the device comprising a first processor and a second processor;

• wherein the first processor is configured to execute a first control flow;
• wherein the second processor is configured to:
• execute, in synchronization with the first control flow execution, at least one second application, the at least one second application comprising, each, when executed in synchronization with the first control flow execution, at least one predetermined variable and at least one expected value that the at least one predetermined variable has to have or at least one predetermined condition that the at least one predetermined variable has to satisfy to authorize an execution of the correct first control flow by the first processor;
• verify, by executing each of the at least one second application, whether the at least one predetermined variable has or does not have the at least one expected value or whether the at least one predetermined variable does or does not satisfy the at least one predetermined condition;
• and
• infer, if, for all of the at least one second application executed by the second processor, the at least one predetermined variable has the at least one expected value or the at least one predetermined variable satisfies the at least one predetermined condition, that the first processor is executing the correct first control flow;
• or
• infer, if, for at least one of the at least one second application executed by the second processor, the at least one predetermined variable does not have the at least one expected value or the at least one predetermined variable does not satisfy the at least one predetermined condition, that the first processor is not executing the correct first control flow.