On-line test mechanisms have been designed for the CPU of a programmable logic controller. Specific devices integrated in an ASIC processor perform control flow checking during both application and system program executions. A prototype has been implemented, demonstrating the very low overhead of the approach. Results of fault injections have then proved the dependability increase at system level
Date of Conference: 28 Feb-3 Mar 1994