Title:
PROGRAM PROVIDING DEVICE, PROGRAM PROVIDING METHOD, AND PROGRAM PROVIDING SYSTEM
Document Type and Number:
WIPO Patent Application WO/2021/161534
Kind Code:
A1
Abstract:
A server (1) that is a program providing device, comprising: a providing processing unit (19) that provides a program component constituting a control program, which is a program executed by a controller; an authentication unit (16) that supplies authentication to an operation simulation module, which is a program for simulating the execution of an operation according to the program component, on the basis of a testing result pertaining to the operation simulation module as to whether it is possible to simulate the operation of the controller due to execution of the program component; and an operation checking unit (15) that uses the operation simulation module supplied with the authentication to check the operation of the program component.
More Like This:
Inventors:
YAMAOKA TAKAYUKI (JP)
USHIDA CHISATO (JP)
MINE KENJI (JP)
KIKUTA HIROKAZU (JP)
USHIDA CHISATO (JP)
MINE KENJI (JP)
KIKUTA HIROKAZU (JP)
Application Number:
PCT/JP2020/005898
Publication Date:
August 19, 2021
Filing Date:
February 14, 2020
Export Citation:
Assignee:
MITSUBISHI ELECTRIC CORP (JP)
International Classes:
G06F11/36
Foreign References:
| JP2013235504A | 2013-11-21 | |||
| JP2007213404A | 2007-08-23 |
Attorney, Agent or Firm:
TAKAMURA, Jun (JP)
Download PDF: