Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
‘Computing Systems Reliability’, (ISBN 0-531-22767-4), Cambridge University Press, Edited by T. Anderson and B. Randell.
‘Fault Tolerant Computing, Progress, Problems and Perspects’ (Algirdis Avizienis IFIP (1977), Congress Proceedings, Pages 405–420.
D. Schriefer, U. Voges, G. Weber: Design and Construction of a Reliable Microcomputer-Based LMFBR Safety System, IAEA Int. Symp. on Nucl. Power Plant Control and Instr., Munich, Oct. 1982.
J. Ludewig: Computer-Aided Specification on Process Control Systems, IEEE Computer 15 (May 1982), 5, pp. 12–20.
S.J. Bavuso: ‘Advanced Reliability Modelling of Fault Tolerance Computer Based Systems’ (in this volume).
P.M. Melliar-Smith and R.L. Schwartz: ‘Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System’, IEEE Trans. on Computers, Volume C-31, No. 7, July 1982 616–629.
D.J. Lawson: ‘Failure Mode and Effect Analysis’ (in this volume).
B. Randell: ‘System Structure for Software Fault Tolerance’ IEEE Transactions on Software Eng. Vol. SE1, No. 2 June 1975,
T. Anderson and P.A. Lee: ‘Fault-Tolerance: Principles and Practice’. London,Preutice-Hall International, 1981.
M. Dyer and H.D. Mills: ‘Developing Eletronic Systems with Certifiable Reliability’ (in this volume).
O.J. Dahl, E.W. Dijkstra and C.A.R. Hoare: ‘Stuctural Programming, Academic Press, Juc., 1972.
C.A. Hoare: ‘Au Axiomatic Basis for Computer Programming’ Communications of the ACM, Vol. 12, No. 10. p. 576–583 (October, 1969).
M. Dyer, C.R. Linger, D. O’Neill and R.E. Quinnen: ‘The Management of Software Engineering’. IBM Systems Journal, Vol. 19, No. 4, 1980.
P.M. Melliar-Smith and R.L. Schwartz: ‘Hierarchical specification of the SIFT fault-tolerant flight control system’, SRI Tech. Rept. No. CSL-123, SIR International, Menlo Park, Ca., March 1981.
German Risk Study-Main Report, EPRI NP-1804-SR, “A study of the risk due to accidents in nuclear power plant”, Prepared by Electric Power Research Institute, Palo Alto, Califorania, April 1981.
WASH 1400, NUREG-75/014, “Reactor safety study-an assessment of accident risks in US commercial nuclear power plants”, UNSRC, October 1975.
NCSR R27, Review of Common Cause Failures, I.A. Watson, July 1981 UKAEA, Wigshaw Lane, Culcheth, Warrington WA3 4NE, UK.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Skwirzynski, J.K. (1983). Panel Discussion on Achieving the Reliability and Safety Relevant to Computer Systems. In: Skwirzynski, J.K. (eds) Electronic Systems Effectiveness and Life Cycle Costing. NATO ASI Series, vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-82014-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-82014-4_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-82016-8
Online ISBN: 978-3-642-82014-4
eBook Packages: Springer Book Archive