CPC G05B 19/41835 (2013.01) [G05B 2219/32361 (2013.01)] | 10 Claims |
1. A program providing device comprising:
a provision processing circuitry to provide a program part constituting a control program configured to be executed in a controller;
an authentication circuitry to authenticate an operation simulation program for simulatively performing operation in accordance with the program part on a basis of a result of verification on whether or not the operation simulation program can simulate operation of the controller to be performed by execution of the program part; and
an operation checking circuitry to check operation of the program part by using the authenticated operation simulation program.
|