Dynamic confirmation of system integrity

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Dynamic confirmation of system integrity

Full text

Pdf (1.08 MB)

Source

AFIPS Joint Computer Conferences archive
Proceedings of the December 5-7, 1972, fall joint computer conference, part I table of contents

Anaheim, California

SESSION: Architecture for high system availability table of contents

Pages 89-96

Year of Publication: 1972

Author

Barry R. Borgerson

University of California, Berkeley, California

Sponsor

AFIPS : American Federation of Information Processing Societies

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 6, Citation Count: 1

Additional Information:

abstract references cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1479992.1480003 What is a DOI?

ABSTRACT

It is always desirable to know the current state of any system. However, with most computing systems, a large class of failures can remain undetected by the system long enough to cause an integrity violation. What is needed is a technique, or set of techniques, for detecting when a system is not functioning correctly. That is, we need some way of observing the integrity of a system.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	B Borgerson C V Ravi On addressing failures in memory systems Proceedings of the 1972 ACM International Computing Symposium Venice Italy pp 40--47 April 1972
	2	D A Anderson G Metze Design of totally self-checking check circuits for M-out-of-N codes Digest of the 1972 International Symposium on Fault-Tolerant Computing pp 30--34
	3	R A Short The attainment of reliable digital systems through the use of redundancy---A survey IEEE Computer Group News Vol 2 pp 2--17 March 1968
	4	R S Fabry Dynamic verification of operating system decisions Computer Systems Research Project Document No P--14.0 University of California Berkeley February 1972
	5	W. G. Bouricius , W. C. Carter , P. R. Schneider, Reliability modeling techniques for self-repairing computer systems, Proceedings of the 1969 24th national conference, p.295-309, August 26-28, 1969 [doi>10.1145/800195.805940]
	6	META 4 computer system microprogramming reference manual Publication No 7043MO Digital Scientific Corporation San diego California June 1972
	7	Herbert B. Baskin , Barry R. Borgerson , Roger Roberts, PRIME: a modular architecture for terminal-oriented systems, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada [doi>10.1145/1478873.1478929]
	8	B R Borgerson A fail-softly system for time-sharing use Digest of the 1972 International Symposium on Fault-Tolerant Computing pp 89--93
	9	G Bailliu B R Borgerson A multipurpose processor-enhancement structure Digest of the 1972 IEEE Computer Society Conference San Francisco September 1972 pp 197--200

CITED BY

Algirdas Avižienis, Approaches to computer reliability: then and now, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York

Collaborative Colleagues:

Barry R. Borgerson: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player