Summary
In the tutorial we describe presently available methods and concepts for increasing the reliability of process control computers. They can be devided into two categories. In the first category we summarize methods which try to enforce correct programs during the construction process of software. The second category comprises methods and concepts by which system errors can be tolerated to a certain degree. They are based on software and/or hardware redundancy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Referenzen
Special Issue: Fault Tolerant Computing IEEE Transactions on Computers, Vol. C-24, No. 5 (1975)
International Symposium on Fault Tolerant Computing Paris, June 18–20, 1975 (IEEE Catalog No. 75 CHO974–6C)
International Conference on Reliable Software, SIGPLAN Notices 10, No. 6 (1975)
Computer Systems Reliability, Infotech State of the Art Report 20 (1974)
J.C. Huang: An Approach to Program Testing, ACM Computing Survey 7, 113–128 (1975)
Series of Papers on the Special Issue: Software Testing, IEEE Transactions on Software Engineering, 194–2 31 (1976)
B. Elpas, K.N. Levitt, R.J. Waldinger, A. Waksman: An Assessmant of Techniques for Proving Program Correctness, ACM Computing Surveys, Vol. 4, No. 2, 97–147 (972)
Special Issue: Reliable Software I: Software Validation, ACM Computing Surveys Vol. 8, No. 3 (1976)
Special Issue: Reliable Software II: Fault Tolerant Software, ACM Computing Surveys Vol. 8, No. 4 (1976)
O.J. Dahl, E.W. Dijkstra, C.A.R. Hoare Structured Programming, Academic Press, London and New York (1972)
K.J.H. Hodges: A Fault Tolerant Multiprocessor Design for Real-Time Control, Computer Design, 75–81 (1973)
W. Corpus, G. Graf, E. Hurtienne: Einsatz eines Doppelrechnersystems im Kernkraftwerk Stade, Siemens-Zeitschrift 47, 530–535 (1973)
J. Zürn: Mehrrechnersysteme zur Erhöhung der Zuverlässigkeit, Angewandte Informatik 8, 333–341 (1975)
A. Hörder, H. Strelow, K.H. Wobig: Sichere Mehrrechnersysteme hoher Verfügbarkeit, Elektronische Rechenanlagen 3, 118–124 (1975)
L. Böhme, G. Groth: Prozeßdatensicherung in Doppelrechnersystemen hoher Verfügbarkeit, Fachtagung “Prozeßrechner 77”, Augsburg 7.3.–8.3. (1977)
J. Nehmer: Computerized Safeguarding of Nuclear Power Plants: A Case for Reliable Software, IFIP Working Conference on “Constructing Quality Software”, Novosibirsk, May 24–27 (1977)
O. Eggenberger: Aufbau zuverlässiger Prozeßrechnersysteme durch Redundanzbildung (persönliche Mitteilung)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Krüger, G., Nehmer, J. (1977). Methoden zur Steigerung der Zuverlässigkeit von Prozessrechnersystemen. In: Syrbe, M., Will, B. (eds) Automatisierungstechnik im Wandel durch Mikroprozessoren. Fachberichte Messen · Steuern · Regeln, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95307-1_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-95307-1_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08414-3
Online ISBN: 978-3-642-95307-1
eBook Packages: Springer Book Archive