1. Introduction
One of the most essential performance features of safety-related Programmable Electronic Systems (PESs) is ‘Availability’, i.e. the probability that a system is, at a predefined point in time, in an error-free state. In applications requiring safety licensing in accordance with the safety standard IEC 61508, increasing availability solely by minimising the failure rate of the built-in components is not sufficient. Since hardware failures are not totally avoidable-only their probability can be minimised -, it is also necessary to apply fault-tolerance techniques that ensure continuation of operation in case of component failures. Almost all fault-tolerance techniques base on the principle of redundancy, i.e. on the multiple existence of functionally or characteristically similar objects.