Software Diversity in Reactor Protection Systems: An Experment
暂无分享,去创建一个
Abstract Since simple duplication of software does not pay off for increased reliability, a special kind of redundancy has to be used: diversity. This paper illustrates different kinds of software diversity and describes an experiment in which software diversity was applied in a prototype implementation of a reactor protection system. In the course of this implementation the errors were reported and classified. The advantages of diverse programming, concerning the aspect of easier validation of the software, are explained.
[1] Werner Geiger,et al. Program Testing Techniques for Nuclear Reactor Protection Systems , 1979, Computer.
[2] Barry W. Boehm,et al. Some Steps Toward Formal and Automated Aids to Software Requirements Analysis and Design , 1974, IFIP Congress.