The use of natural resources for increasing a checkability of the digital components in safety-critical systems

Influence of safety-critical Instrumentation and Control systems (I&CS) particularities on checkability of their digital components are examined. The natural resources which can be used for increasing checkability of the digital components are analyzed. Natural resources of digital components developed as multi-version system with strongly connected versions are considered. The checkability-oriented designing of simultaneous fault tolerant digital components is offered.