One channel monitors correct programcode execution, other correct process state