Checking process for control device involves presetting computable specification naming at least one activation signal, detecting required reaction and sending signal

摘要

The checking process involves presetting a computable specification (Spec) naming at least one activation signal (A-S), detecting the required reaction after the arrival of an activation signal from at least one reaction signal transmitter (R-SG(1)) and sending the appropriate signal, and detecting whether the control device is operating correctly.