Method, system, and program product for checking control model and/or control program

A check system for checking at least one of a control model in which requested specifications for controlling a target are described and a control program generated based on the control model, the check system comprising at least one computer which implements units including:

• a first establishing unit configured to establish a first monitor section at a first location in the one of the control model and the control program;
• a first identifying unit configured to automatically identify a second location in the other of the control model and the control program to establish a second monitor section at the second location in the other thereof, the second location corresponding to the first location of the first monitor section in the one of the control model and the control program;
• a simulating unit configured to simulate the control model through a corresponding one of the first monitor section and the second monitor section;
• an executing unit configured to load the control program from a computer readable medium execute the control program through the other of the first monitor section and the second monitor section;
• and
• a monitoring unit configured to monitor a result of the simulation at the one of the first monitor section and the second monitor section therein and a result of the execution at the other of the first monitor section and the second monitor section therein to check whether at least one of the control model and the control program contains a bug based on the result of the simulation at the one of the first monitor section and the second monitor section therein and the result of the execution at the other of the first monitor section and the second monitor section therein;
• wherein the first identifying unit comprises:
• a referring unit configured to first correspondence information to automatically identify the second location based on a result of the referring, the first correspondence information being generated based on predetermined information and including a correspondence relationship between predetermined points in the control model and those in the control program, the redetermined points in the control model corresponding to the predetermined points in the control program, respectively, the predetermined information being captured during a generation of the control pro am based on the control model.

A computer readable storage medium readable by a computer, tangibly embodying a computer program executable by the computer to perform a method of checking at least one of a control model in which requested specifications for controlling a target are described and a control program generated based on the control model, the method comprising:

• establishing a first monitor section at a first location in the one of the control model and the control program;
• automatically identifying a second location in the other of the control model and the control program to establish a second monitor section at the second location in the other thereof the second location corresponding to the first location of the first monitor section in the one of the control model and the control program;
• simulating the control model through a corresponding one of the first monitor section and the second monitor section;
• executing the control program through the other of the first monitor section and the second monitor section;
• and
• monitoring a result of the simulation at the one of the first monitor section and the second monitor section therein and a result of the execution at the other of the first monitor section and the second monitor section therein to check whether at least one of the control model and the control program contains a bug based on the result of the simulation at the one of the first monitor section and the second monitor section therein and the result of the execution at the other of the first monitor section and the second monitor section therein;
• wherein the automatically identifying comprises:
• referring to first correspondence information to automatically identify the second location based on a result of the referring, the first correspondence information being generated based on predetermined information and including a correspondence relationship between predetermined points in the control model and those in the control program, the predetermined points in the control model corresponding to the predetermined points in the control program, respectively, the predetermined information being captured during a generation of the control program based on the control model.

A computer readable storage medium readable by a computer, tangibly embodying a computer program executable by a computer to perform a method of checking at least one of a control model in which requested specifications for controlling a target are described by a language used for the requested specifications and a control program generated based on the control model and installed in an electronic control unit, the method comprising:

• establishing a first monitor section at a first location in the one of the control model and the control program;
• automatically identifying a second location in the other of the control model and the control program to establish a second monitor section at the second location in the other thereof, the second location corresponding to the first location of the first monitor section in the one of the control model and the control program,
• simulating the control model through a corresponding one of the first monitor section and the second monitor section;
• executing the control program through the other of the first monitor section and the second monitor section;
• and
• monitoring a result of the simulation at the one of the first monitor section and the second monitor section therein and a result of the execution at the other of the first monitor section and the second monitor section therein to check whether at least one of the control model and the control program contains a bug based on the result of the simulation at the one of the first monitor section and the second monitor section therein and the result of the execution at the other of the first monitor section and the second monitor section therein,
• wherein the automatically identifying comprises:
• referring to first correspondence information to automatically identify the second location based on a result of the referring, the first correspondence information being generated based on predetermined information and including a correspondence relationship between predetermined points in the control model and those in the control program, the predetermined points in the control model corresponding to the predetermined points in the control program, respectively, the predetermined information being captured during a generation of the control program based on the control model.