Automated stream-based analysis of fault-tolerance

Scott D. Stoller; Fred B. Schneider

doi:10.1007/BFb0055341

Automated stream-based analysis of fault-tolerance

Scott D. Stoller
, Fred B. Schneider

Computer Science

Cornell University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

A rigorous, automated approach to analyzing fault-tolerance of distributed systems is presented. The method is based on a stream model of computation that incorporates approximation mechanisms. One application is described: A protocol for fanlt-tolerant moving agents.

Original language	English
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings
Editors	Anders P. Ravn, Hans Rischel
Publisher	Springer Verlag
Pages	113-122
Number of pages	10
ISBN (Print)	3540650032, 9783540650034
DOIs	https://doi.org/10.1007/BFb0055341
State	Published - 1998
Event	5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1998 - Lyngby, Denmark Duration: Sep 14 1998 → Sep 18 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1486
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1998
Country/Territory	Denmark
City	Lyngby
Period	09/14/98 → 09/18/98

Access to Document

10.1007/BFb0055341

Cite this

Stoller, S. D., & Schneider, F. B. (1998). Automated stream-based analysis of fault-tolerance. In A. P. Ravn, & H. Rischel (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings (pp. 113-122). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1486). Springer Verlag. https://doi.org/10.1007/BFb0055341

Stoller, Scott D. ; Schneider, Fred B. / Automated stream-based analysis of fault-tolerance. Formal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings. editor / Anders P. Ravn ; Hans Rischel. Springer Verlag, 1998. pp. 113-122 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{60582ffee23a40c5a87d78422c7d89f6,

title = "Automated stream-based analysis of fault-tolerance",

abstract = "A rigorous, automated approach to analyzing fault-tolerance of distributed systems is presented. The method is based on a stream model of computation that incorporates approximation mechanisms. One application is described: A protocol for fanlt-tolerant moving agents.",

author = "Stoller, \{Scott D.\} and Schneider, \{Fred B.\}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1998 ; Conference date: 14-09-1998 Through 18-09-1998",

year = "1998",

doi = "10.1007/BFb0055341",

language = "English",

isbn = "3540650032",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "113--122",

editor = "Ravn, \{Anders P.\} and Hans Rischel",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings",

}

Stoller, SD & Schneider, FB 1998, Automated stream-based analysis of fault-tolerance. in AP Ravn & H Rischel (eds), Formal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1486, Springer Verlag, pp. 113-122, 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1998, Lyngby, Denmark, 09/14/98. https://doi.org/10.1007/BFb0055341

Automated stream-based analysis of fault-tolerance. / Stoller, Scott D.; Schneider, Fred B.
Formal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings. ed. / Anders P. Ravn; Hans Rischel. Springer Verlag, 1998. p. 113-122 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1486).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Automated stream-based analysis of fault-tolerance

AU - Stoller, Scott D.

AU - Schneider, Fred B.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1998.

PY - 1998

Y1 - 1998

N2 - A rigorous, automated approach to analyzing fault-tolerance of distributed systems is presented. The method is based on a stream model of computation that incorporates approximation mechanisms. One application is described: A protocol for fanlt-tolerant moving agents.

AB - A rigorous, automated approach to analyzing fault-tolerance of distributed systems is presented. The method is based on a stream model of computation that incorporates approximation mechanisms. One application is described: A protocol for fanlt-tolerant moving agents.

UR - https://www.scopus.com/pages/publications/33645614550

U2 - 10.1007/BFb0055341

DO - 10.1007/BFb0055341

M3 - Conference contribution

AN - SCOPUS:33645614550

SN - 3540650032

SN - 9783540650034

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 113

EP - 122

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings

A2 - Ravn, Anders P.

A2 - Rischel, Hans

PB - Springer Verlag

T2 - 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1998

Y2 - 14 September 1998 through 18 September 1998

ER -

Stoller SD, Schneider FB. Automated stream-based analysis of fault-tolerance. In Ravn AP, Rischel H, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems - 5th International Symposium, FTRTFT 1998, Proceedings. Springer Verlag. 1998. p. 113-122. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0055341

Automated stream-based analysis of fault-tolerance

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this