Engineering tool
AssigneeMitsubishi Electric Corporation
InventorsTakayuki Yamaoka, Hiroshi Hamazaki
Life of this patent
Estimating the term…
Abstract
An engineering tool includes a display area to display a ladder program, the display area being displayed on a display screen of a display device; and a cell, which is a temporal-operator imparted region. The cell, which is a temporal-operator imparted region, is a region that is displayed in the display area and in which a temporal operator is imparted to a program module of the ladder program. The engineering tool includes a control specification editing unit and a control-specification-descriptive-expression converting unit. The control specification editing unit creates the program module. The control-specification-descriptive-expression converting unit converts the program module into a mathematical expression that can be input to a model checking program.
Claims4
An engineering tool comprising:
- a display device comprising a display screen, the display screen comprising a first display area configured to display a control specification descriptive expression that defines operations of an industrial hardware device and a second display area configured to display a control program used to control the industrial hardware device;
- a temporal-operator imparted region configured to impart a temporal operator to a program module of the control specification descriptive expression, the temporal-operator imparted region being displayed in the first display area;
- a processor configured to execute a program;
- and
- a memory configured to store the program which, when executed by the processor, causes the processor to perform processes of:
- receiving user input, generating the program module based on the user input, and displaying the program module in the first display area;
- receiving additional user input, generating the control program based on the additional user input, and displaying the control program in the second display area;
- checking whether the control program complies with the program module;
- and
- in response to determining that the control program complies with the program module, transmitting the control program to a control device to thereby control physical operations of the industrial hardware device based on the control program.
Dependencies are inferred from the claim text.