Bib Schlicting-Schneider-1983

BibTex

@article{Schlichting83,
title = {Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems},
author = {Schlichting, Richard D. and Schneider, Fred B.},
journal = {ACM Transactions on Computer Systems},
volume = {1},
year = {1983},
abstract = {A methodology that facilitates the design of fault-tolerant computing systems is presented. It is based on the notion of a failstop 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 failstop processors. The design of a process control system illustrates the use of our methodology. Categories and Subject Descriptors: C.2.4 [Computer-Communications Networks]: Distributed Systems--network operating systems; C.3 [Special-Purpose and Application-Based Systems]--real-time systems; D.4.5 [Operating Systems]: Reliability--verification; F.3.1 [Logics and Meaning of Programs]: Specifying and Verifying and Reasoning about Programs. General Terms: Reliability, Verification. ###...},
}

EndNote

TY  - JOUR
TI  - Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems
AU  - Schlichting, Richard D.
AU  - Schneider, Fred B.
JO  - ACM Transactions on Computer Systems
VL  - 1
IS  - 3
PY  - 1983
AB  - A methodology that facilitates the design of fault-tolerant computing systems is presented. It is based on the notion of a failstop 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 failstop processors. The design of a process control system illustrates the use of our methodology. Categories and Subject Descriptors: C.2.4 [Computer-Communications Networks]: Distributed Systems--network operating systems; C.3 [Special-Purpose and Application-Based Systems]--real-time systems; D.4.5 [Operating Systems]: Reliability--verification; F.3.1 [Logics and Meaning of Programs]: Specifying and Verifying and Reasoning about Programs. General Terms: Reliability, Verification. ###...
ID  - 10.1145/357369.357371
WP  - http://portal.acm.org/citation.cfm?doid=357369.357371