A tension testing apparatus is provided and allows a user to interface and collect real time data in remote locations. The user can collect, record and print anchor testing information that includes tension measurement load data, time, longitude, latitude and elevation of the load test.

A sequence program creation device includes a search-key-circuit specification unit specifying a search key circuit; a search-area specification unit specifying a search area for searching for a circuit similar to the search key circuit; a search-index specification unit specifying an index in a process of calculating a similarity to the search key circuit; a similarity calculation unit calculating a similarity to the search key circuit, based on the index, for each circuit included in the search area; a search-target-part determination unit determining whether the similarity is equal to or more than a predetermined threshold for each circuit for which the similarity calculation unit has calculated the similarity; and a search-result display-screen display unit displaying on a search-result display screen a circuit whose similarity is determined to be equal to or more than the predetermined threshold by the search-target-part determination unit.

A method for calling a program module in a programmable logic controller (PLC) ladder programming environment comprises: determining a first feature to be called in a PLC ladder programming environment and a second feature not to be called from features implemented by an artificial intelligence (AI) module compiled by a computer programming language; configuring the first feature as an interface conforming to an interface specification of the PLC ladder programming environment; configuring the second feature as a non-call method; packaging the non-call method and the interface into a dynamic link library (DLL); importing the DLL into the PLC ladder programming environment.

When a monitoring device for ladder program receives designation of a ladder program which is a confirmation object from a user, the monitoring device detects a branch circuit which is arranged above the ladder circuit which is the confirmation object in a ladder program and is closest to the ladder circuit and extracts a branch circuit which is to be a display object from the ladder program based on a type of the branch circuit which is detected. The monitoring device executes such processing up to a head of the ladder program so as to extract and display branch circuits up to the ladder circuit which is the confirmation object.

A partial circuit selector selects a partial circuit comprising a plurality of contacts in a ladder diagram program. A replacement circuit generator generates a replacement circuit comprising a smaller number of contacts than in the selected partial circuit. An auxiliary circuit generator generates an auxiliary circuit that causes the replacement circuit to perform the same action as the partial circuit. A program editor performs, on the ladder diagram program, a replacement process for replacing a partial circuit appearing in the ladder diagram program with the replacement circuit, and performs an auxiliary circuit insertion process for inserting the auxiliary circuit into the ladder diagram program.

It is disclosed a PLC Program analysis method where a program (PROG) is translated (TRANS) into a model (MOD) in a logical framework, from which properties (Prop) are determined. Said properties coupled with user specifications (IntProp) are verified by an automated solver (SMT). If contraposition of a property (Prop) is satisfiable, counter-examples (PROOF NOK) representative of model inputs and internal memory values is provided. Counter-examples (PROOF NOK) are translated into error initial configurations (IniConf) of said model. Execution of the model is simulated (EXE) with said model error initial configurations (IniConf), and error intermediary configurations (AST-IntConf) of said model simulation are recorded up to said property violation. Error initial and intermediary configurations (Lad-IniConf, Lad-IntConf) of said original program (PROG) are derived from error initial configurations (IniConf) of said model and error intermediary configurations (AST-IntConf) of said model simulation and displayed. An apparatus for executing said method is provided.

The present disclosure is directed to systems, methods and devices for facilitating object-based industrial automation control. An automation control library comprised of a plurality of objects may be maintained in association with one or more industrial automation applications. Code defining the execution of an industrial automation process may be received. A plurality of objects in the object library for implementing the industrial automation control process may be identified. The plurality of identified objects may be matched to one or more hardware components based on one or more operational requirements included in the code, and available hardware resources for performing the automation control process.

The present disclosure is directed to systems, methods and devices for facilitating object-based industrial automation control. An automation control library comprised of a plurality of objects may be maintained in association with one or more industrial automation applications. Code defining the execution of an industrial automation process may be received. A plurality of objects in the object library for implementing the industrial automation control process may be identified. The plurality of identified objects may be matched to one or more hardware components based on one or more operational requirements included in the code, and available hardware resources for performing the automation control process.

A tracing apparatus that is connected to a PLC for inputting and outputting signals based on a ladder program includes: a ladder program analysis unit that analyzes an order in which nets in the ladder program are arranged so as to produce an execution order signal table indicating an order in which the nets are executed; a trace target setting unit that sets one or more nets to be traced; a trace data acquisition unit that acquires trace data in a predetermined sampling cycle; a compensation determination unit that determines, based on the table, whether or not the state (reference signal) of a signal at a contact included in a ladder circuit to be traced needs to be compensated for; and an output unit that outputs a ladder diagram of a trace result which has been compensated for based on the result of the determination of the compensation determination unit.

The present disclosure is directed to systems, methods and devices for facilitating object-based industrial automation control. An automation control library comprised of a plurality of objects may be maintained in association with one or more industrial automation applications. Code defining the execution of an industrial automation process may be received. A plurality of objects in the object library for implementing the industrial automation control process may be identified. The plurality of identified objects may be matched to one or more hardware components based on one or more operational requirements included in the code, and available hardware resources for performing the automation control process.