To detect faulty rewriting to a memory space capable of generating for all multi-task scheduling selectable to a transaction with a plurality of sleds.
A task-table generating mechanism 101 in a system 117 requests the execution of the transaction (TR) 109 to an OS system 112, and collects memory access information 102 only of the TR 109, and prepares a task table 103 by pulling out task information. A schedule generating mechanism 104 prepares a schedule table 105 at the basis of the task table 103. Then, a decision mechanism 106 again requests execution of the TR 109 to the OS system, and an interruption control routine 107 performs scheduling at the basis of scheduling of the table 105 while interrupting a scheduler 113 of the OS system. During the operation, a result comparison routine 108 decides whether or not values stored in the memory space, which is objectives of watching to be accessed by the task, are faulty compared with values of the information 102 of the task obtained when first executed the TR 109.
| WO/2016/172600 | DEAD DROP NETWORK ARCHITECTURE |
| JPS5682957 | RUNAWAY CHECKING CIRCUIT FOR MICROCOMPUTER |
FUJIWARA YOJI
ISHIGAKI TSUTOMU
