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 method for correcting an error of a nonvolatile memory of an embedded component for an end effector used in a robotic surgical system is provided. The robotic surgical system includes a host controller in communication with the embedded component. The embedded component of the end effector performs a test process to test the nonvolatile memory. The host controller of the robotic surgical system requests a result of the test process from the embedded component of the end effector. The host controller determines that the error of the nonvolatile memory has occurred after requesting the result of the test process from the embedded component of the end effector. The host controller modifies the nonvolatile memory of the embedded component of the end effector to correct the error.

A field device includes a first program area storing a first program, a second program area storing a second program designed such that if a program execution portion executes each of the first and second programs using the same data, a result of a calculation performed according to the second program is the same as a result of a calculation performed according to the first program, a first calculation result storage buffer storing a result of the calculation performed by the program execution portion according to the first program, and a second calculation result storage buffer storing a result of the calculation performed by the program execution portion according to the second program, and a calculation result comparator comparing the calculation result stored in the first calculation result storage buffer with the calculation result stored in the second calculation result storage buffer.

A method for correcting an error of a nonvolatile memory of an embedded component for an end effector used in a robotic surgical system is provided. The robotic surgical system includes a host controller in communication with the embedded component. The embedded component of the end effector performs a test process to test the nonvolatile memory. The host controller of the robotic surgical system requests a result of the test process from the embedded component of the end effector. The host controller determines that the error of the nonvolatile memory has occurred after requesting the result of the test process from the embedded component of the end effector. The host controller modifies the nonvolatile memory of the embedded component of the end effector to correct the error.