发明名称 |
Method, system, and program product for checking control model and/or control program |
摘要 |
A check system aims at 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 system has 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. The system has 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 corresponds to the first location of the first monitor section in the one of the control model and the control program.
|
申请公布号 |
US7681183(B2) |
申请公布日期 |
2010.03.16 |
申请号 |
US20040015676 |
申请日期 |
2004.12.20 |
申请人 |
DENSO CORPORATION |
发明人 |
YAMAMOTO HIROTAKA |
分类号 |
G05B23/02;G06F9/44;G05B19/048 |
主分类号 |
G05B23/02 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|