Device such as a connected object provided with means for checking the execution of a program executed by the device

A device such as a connected object comprising a first electronic circuit comprising:

• a first processing unit configured to execute a program,
• a first memory configured to memorize data from the program or manipulated by the program during its execution,
• a debug port dedicated to checking the execution of the program from outside the first circuit,
• the device further comprising a second electronic circuit connected to the debug port, the second electronic circuit comprising:
• a second memory memorizing reference data related to the program,
• a second processing unit configured to implement the following steps automatically and autonomously via the debug port checking the integrity of the data memorized by the first memory and/or the compliance of the program's execution by the first processing unit with a reference execution, assisted by the reference data,
• the device further comprising a communication interface with a server, and wherein the steps implemented automatically and autonomously by the second processing unit comprise the generation of a report indicating whether the program or the data manipulated by the program was revealed to have been compromised during the check step and the command the transmission the report to the server via the communication interface while the program is suspended.

A device such as a connected object comprising a first electronic circuit comprising:

• a first processing unit configured to execute a program,
• a first memory configured to memorize data from the program or manipulated by the program during its execution,
• a debug port dedicated to checking the execution of the program from outside the first circuit,
• the device further comprising a second electronic circuit connected to the debug port, the second electronic circuit comprising:
• a second memory memorizing reference data related to the program,
• a second processing unit configured to implement the following steps automatically and autonomously via the debug port checking the integrity of the data memorized by the first memory and/or the compliance of the program's execution by the first processing unit with a reference execution, assisted by the reference data, wherein:
• the reference data indicate a sequence of events that occur in a predetermined order during the reference execution of the program, and wherein the compliance check of the program's execution against a reference execution comprises a comparison between the predetermined order and an order in which the events occur during the execution of the program by the first processing unit, or
• the steps implemented automatically and autonomously by the second processing unit comprise a program update command when the program or the data manipulated by the program is revealed to have been compromised during the check step, the first memory memorizes a first version of the program and a second version of the program before the update order, the first processing unit is configured to execute selectively the first version of the program before the update and wherein the update command comprises the sending to the first electronic circuit, via the debug port, of at least one command which requests the first processing unit to execute selectively the second version of the program memorized in the first memory in place of the first version of the program.

A method implemented in a device such as a connected object, the device comprising:

• a first electronic circuit comprising a first processing unit configured to execute a program, a first memory configured to memorize data from the program or manipulated by the program during its execution, and a debug port dedicated to checking the execution of the program from outside the first circuit,
• a second electronic circuit connected to the debug port and comprising a second memory memorizing reference data related to the program,
• the method implemented by a second processing unit of the second electronic circuit, automatically and autonomously via the debug port checking the integrity of the data memorized by the first memory and/or the compliance of the program's execution by the first processing unit with a reference execution, assisted by the reference data,
• wherein implemented automatically and autonomously by the second processing unit comprising a command for a definitive program stop and/or a reconfiguration of the first electronic circuit in a state which prevents subsequent execution of the program by the first processing unit, when the program or the data manipulated by the program is revealed to have been compromised during the checking.