US 11,703,833 B2
Program providing device, program providing method, and program providing system
Takayuki Yamaoka, Tokyo (JP); Chisato Ushida, Tokyo (JP); Kenji Mine, Tokyo (JP); and Hirokazu Kikuta, Tokyo (JP)
Assigned to MITSUBISHI ELECTRIC CORPORATION, Tokyo (JP)
Appl. No. 17/785,407
Filed by Mitsubishi Electric Corporation, Tokyo (JP)
PCT Filed Feb. 14, 2020, PCT No. PCT/JP2020/005898
§ 371(c)(1), (2) Date Jun. 15, 2022,
PCT Pub. No. WO2021/161534, PCT Pub. Date Aug. 19, 2021.
Prior Publication US 2023/0011646 A1, Jan. 12, 2023
Int. Cl. G05B 19/418 (2006.01)
CPC G05B 19/41835 (2013.01) [G05B 2219/32361 (2013.01)] 10 Claims
OG exemplary drawing
 
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.