Use of Diversity in Experimental Reactor Safety Systems-Reference-Cited by-同舟云学术

Use of Diversity in Experimental Reactor Safety Systems

Published:1988 Issue: Volume: Page:29-49
ISSN:0932-5581
Container-title:Software Diversity in Computerized Control Systems
language:
Short-container-title:

Author:

Voges Udo

Publisher

Springer Vienna

Link

http://link.springer.com/content/pdf/10.1007/978-3-7091-8932-0_3.pdf

Reference21 articles.

1. A. Avižienis and L. Chen: On the Implementation of N-Version Programming for Software Fault-Tolerance during Program Execution. Proceedings COMP- SAC ’77,1977, pp. 149–155.

2. A. Avižienis and J.P.J. Kelly: Fault Tolerance by Design Diversity: Concepts and Experiments. IEEE Computer Vol. 17 (August 1984) 8, pp. 67–80.

3. P.G. Bishop: The PODS Diversity Experiment, this book.

4. B.W. Boehm: Some Steps toward Formal and Automated Aids to Software Requirements Analysis and Design. 2nd IFIP Congress, Stockholm, 1974.

5. K. Eckert and J. Ludewig: ESPRESO-W - Ein Werkzeug für die Spezifikation von Prozeßrechner-Software. In: G. Goos (Ed.) Werkzeuge der Programmiertechnik, Berlin, Springer-Verlag Berlin-Heidelberg-New York 1981, pp. 101–112.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A reuse framework for software fault tolerance;10th Computing in Aerospace Conference;1995-03-28

2. System-Level Reliability and Sensitivity Analyses for Three Fault-Tolerant System Architectures;Dependable Computing and Fault-Tolerant Systems;1995

3. Assuring Design Diversity in N-Version Software: A Design Paradigm for N-Version Programming;Dependable Computing for Critical Applications 2;1992

4. A Data-Driven Dependability Assurance Scheme with Applications to Data and Design Diversity;Dependable Computing for Critical Applications;1991