A technique for the development of reliable software for computer-aided security systems

This contribution gives a review of the tasks of a computer-aided security system, the specialities of the software design and the many measures and techniques used to reach high reliability of software in nuclear engineering. These measures and techniques can also be transferred to the security systems of other fields of technology. The future tasks of security systems are briefly discussed that cannot be realized without computers. The constructive measures that can be used during the particular development stages are given by means of the distributed security computer system that has been developed at Karlsruhe Nuclear Research Center (KfK). The different types of analytical measures as well as the corresponding tools for testing and verification of high reliability software are briefly described. (orig.)