Provided is a recording medium having a verification program recorded thereon, wherein the verification program is executed by computer and causes the computer to function as: a test information acquisition unit which acquires test information showing a test signal generated by a field device installed in a plant; a result information acquisition unit which acquires result information showing a test result signal output by a monitor device installed in the plant in response to the field device generating the test signal; and a verification unit which verifies, based on the test information and the result information, whether or not a relationship is established between the test signal and the test result signal, the relationship depending on a performed change of a signal that is generated by the field device and output from the monitor device before the signal is output from a monitor device.

Provided is a recording medium having a verification program recorded thereon, wherein the verification program is executed by computer and causes the computer to function as: a test information acquisition unit which acquires test information showing a test signal generated by a field device installed in a plant; a result information acquisition unit which acquires result information showing a test result signal output by a monitor device installed in the plant in response to the field device generating the test signal; and a verification unit which verifies, based on the test information and the result information, whether or not a relationship is established between the test signal and the test result signal, the relationship depending on a performed change of a signal that is generated by the field device and output from the monitor device before the signal is output from a monitor device.

A system and method for optimized operation of real-time control applications. The system and method being configured for identifying and processing recurring code sequences in control applications to quantify the execution time of control applications, wherein for each set up and/or control application a timing data structure is generated to determine the execution time of control applications in industrial automation, determining execution times of control applications based on recurring code sequences that are automatically extracted from a set of training applications and/or identified in the respective application, automatically generating test data to determine their on-target execution times for refinement of the timing data structure, decomposing the structure of the respective control application into code sequences for which the created data timing structure and timing model respectively provide execution time estimates, and determining at least an estimate for the best-case execution time and/or the worst-case execution time of the control application.