Embedded system startup method, startup program, and embedded system
To prevent delay in startup time while ensuring program integrity at startup of an embedded system. In a startup method for an embedded system according to the present disclosure, a processor, which is provided in the embedded system and includes a main memory unit, and a nonvolatile storage unit storing a snapshot image based on a state of the main memory unit during execution of at least a first program, performs falsification verification for the snapshot image at startup, and, if being normal is confirmed by the falsification verification, executes the first program restored on the main memory unit from the snapshot image.
1 . An embedded system startup method,
wherein a processor, which is included in an embedded system and comprises a main-memory unit, and a nonvolatile storage unit storing a snapshot image based on a state of the main memory unit during execution of at least a first program, performs falsification verification for the snapshot image at startup, and, if being normal is confirmed by the falsification verification, executes the first program restored on the main memory unit from the snapshot image;
the snapshot image is generated, with an unexecuted second program being further included in the state of the main memory unit; and
the falsification verification performed by the processor for the snapshot image at the startup is falsification verification for the first program and the unexecuted second program included in the snapshot image.
2 . The embedded system startup method according to claim 1 , wherein
the processor causes the snapshot image to be transferred from the nonvolatile storage unit to the main memory unit in a state of compressed data in a predetermined format;
the processor performs the falsification verification for the compressed data after being transferred; and
if being normal is confirmed by the falsification verification, the processor causes the compressed data to be decompressed on the main memory unit to restore the first program, and causes the first program to transition to an executable state.
3 . The embedded system startup method according to claim 1 , wherein
during a period from start of transfer of the snapshot image from the nonvolatile storage unit to the main memory unit in a state of compressed data in a predetermined format until completion of the transfer, the processor starts decompression of the compressed data on the main memory unit to restore the first program;
the processor performs the falsification verification for the compressed data after being transferred; and
if being normal is confirmed by the falsification verification, the processor causes the restored first program to transition to an executable state.
4 . A non-transitory computer readable medium storing an embedded system startup program, the embedded system startup program causing an embedded system, which comprises a main memory unit, and a nonvolatile storage unit storing a snapshot image based on a state of the main memory unit during execution of at least a part of a first program, to execute: a process for performing falsification verification for the snapshot image at startup, and a process for, if being normal is confirmed by the falsification verification, executing the first program restored on the main memory unit from the snapshot image;
the snapshot image is generated, with an unexecuted second program being further included in the state of the main memory unit; and
the falsification verification performed by the processor for the snapshot image at the startup is falsification verification for the first program and the unexecuted second program included in the snapshot image.
5 . An embedded system, comprising: a main memory unit; and a nonvolatile storage unit storing a snapshot image based on a state of the main memory unit during execution of at least a part of a first program, the embedded system performing falsification verification for the snapshot image at startup, and the embedded system executing, if being normal is confirmed by the falsification verification, the first program restored on the main memory unit from the snapshot image;
the snapshot image is generated, with an unexecuted second program being further included in the state of the main memory unit; and
the falsification verification performed by the processor for the snapshot image at the startup is falsification verification for the first program and the unexecuted second program included in the snapshot image.