Show simple item record

dc.contributor.authorSchlichting, Richard D.en_US
dc.contributor.authorSchneider, Fred B.en_US
dc.date.accessioned2007-04-23T16:43:02Z
dc.date.available2007-04-23T16:43:02Z
dc.date.issued1981-11en_US
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR81-479en_US
dc.identifier.urihttps://hdl.handle.net/1813/6319
dc.description.abstractA methodology that facilitates the design of fault-tolerant computing systems is presented. It is based on the notion of a fail-stop processor. Such a processor automatically halts in response to any internal failure and does so before the effects of that failure become visible. The problem of implementing processors that, with high probability, behave like fail-stop processors is addressed. Axiomatic program verification techniques are described for use in developing provably correct programs for fail-stop processors. The design of a process control system illustrates the use of our methodology.en_US
dc.format.extent2063531 bytes
dc.format.extent544356 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titleAn Approach to Designing Fault-Tolerant Computing Systemsen_US
dc.typetechnical reporten_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics