# US 11,703,833 B2 · Program providing device, program providing method, and program providing system

> Agents: this data is available as JSON from the patentgrep API and MCP server — see https://patentgrep.com/llms.txt

- Number: US 11,703,833 B2
- Document ID: US11703833B2
- Status: Granted
- Kind: B2
- Application number: 17/785,407
- Filed: 2020-02-14
- Published: 2023-01-12
- Granted: 2023-07-18
- Earliest claimed: 2020-02-14
- Assignees: Mitsubishi Electric Corporation
- Applicants: Mitsubishi Electric Corporation
- Inventors: Takayuki Yamaoka; Chisato Ushida; Kenji Mine; Hirokazu Kikuta
- Web page: https://patentgrep.com/patent/US11703833B2

## CPC

- G05B 19/41835: {characterised by program execution}
- G06F 11/3688: {for test execution, e.g. scheduling of test suites}
- G06F 8/60: Software deployment
- G05B 19/41885: {characterised by modeling, simulation of the manufacturing system}
- G05B 2219/32361: Master production scheduling
- G05B: CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS (systems for controlling or regulating non-electric variables G05D; systems for regulating electric or magnetic variables G05F; control devices or systems insofar as characterised by mechanical features only G05G)
- G06F: ELECTRIC DIGITAL DATA PROCESSING (computer systems based on specific computational models G06N)

## Abstract

A server that is a program providing device includes: a provision processing unit that provides a program part constituting a control program being a program to be executed in a controller; an authentication unit that authenticates an operation simulation module being a 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 module can simulate operation of the controller to be performed by execution of the program part; and an operation checking unit that checks operation of the program part by using the authenticated operation simulation module.

## Claims

### Claim 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.

### Claim 2 (depends on 1)

The program providing device according to claim 1, wherein the operation checking circuitry includes an operation environment setting circuitry to set information indicating an operating environment of the controller in the operation simulation program, and simulates operation of the controller to be performed by execution of the program part in the operating environment.

### Claim 3 (depends on 1)

The program providing device according to claim 1, wherein the authentication circuitry performs a test for verifying whether or not the operation simulation program can simulate the operation of the controller.

### Claim 4 (depends on 1)

The program providing device according to claim 1, further comprising:
a search result data holding circuitry to hold search result data each associated with a search word used in searching for the program part when the program part was provided and the provided program part;
a similarity holding circuitry to hold previously used combinations of search words, and similarities between search words included in the combinations; and
a similar word searching circuitry to search for search result data including a search word similar to an input search word from among the search result data held by the search result data holding circuitry on the basis of the input search word and the similarities held by the similarity holding circuitry.

### Claim 5

A program providing method for providing a program part constituting a control program by a computer, the control program being configured to be executed in a controller, the program providing method comprising:
authenticating an operation simulation program being a program for simulatively performing operation in accordance with the program part on a basis of a result of verification whether or not the operation simulation program can simulate operation of the controller to be performed by execution of the program part; and
checking operation of the program part by using the authenticated operation simulation program.

### Claim 6

A program providing system comprising a program providing device to provide a program part constituting a control program configured to be executed in a controller, wherein
the program providing device includes:
an authentication circuitry to authenticate an operation simulation program being a 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.

### Claim 7 (depends on 2)

The program providing device according to claim 2, wherein the authentication circuitry performs a test for verifying whether or not the operation simulation program can simulate the operation of the controller.

### Claim 8 (depends on 2)

The program providing device according to claim 2, further comprising:
a search result data holding circuitry to hold search result data each associated with a search word used in searching for the program part when the program part was provided and the provided program part;
a similarity holding circuitry to hold previously used combinations of search words, and similarities between search words included in the combinations; and
a similar word searching circuitry to search for search result data including a search word similar to an input search word from among the search result data held by the search result data holding circuitry on the basis of the input search word and the similarities held by the similarity holding circuitry.

### Claim 9 (depends on 3)

The program providing device according to claim 3, further comprising:
a search result data holding circuitry to hold search result data each associated with a search word used in searching for the program part when the program part was provided and the provided program part;
a similarity holding circuitry to hold previously used combinations of search words, and similarities between search words included in the combinations; and
a similar word searching circuitry to search for search result data including a search word similar to an input search word from among the search result data held by the search result data holding circuitry on the basis of the input search word and the similarities held by the similarity holding circuitry.

### Claim 10 (depends on 7)

The program providing device according to claim 7, further comprising:
a search result data holding circuitry to hold search result data each associated with a search word used in searching for the program part when the program part was provided and the provided program part;
a similarity holding circuitry to hold previously used combinations of search words, and similarities between search words included in the combinations; and
a similar word searching circuitry to search for search result data including a search word similar to an input search word from among the search result data held by the search result data holding circuitry on the basis of the input search word and the similarities held by the similarity holding circuitry.