On safety-critical computer control systems

In the paper, safety critical computer control systems are dealt with, which can be employed in medical applications. Safety licensing of such systems, Especially of their software parts, is extremely difficult and for the time king almost impossible except for the trivial casts. In the presented approach it will be proposed how to design bath the hardware and the software of a control system for safety critical applications in order to Enhance the safety and to allow for its licensing.