|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Modular redundancy in a message passing system
Jan. 1986 (vol. 12 no. 1)
pp. 79-86
| ASCII Text | x | ||
| Luigi Mancini, "Modular redundancy in a message passing system," IEEE Transactions on Software Engineering, vol. 12, no. 1, pp. 79-86, Jan., 1986. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1986.6312922, author = {Luigi Mancini}, title = {Modular redundancy in a message passing system}, journal ={IEEE Transactions on Software Engineering}, volume = {12}, number = {1}, issn = {0098-5589}, year = {1986}, pages = {79-86}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1986.6312922}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Modular redundancy in a message passing system IS - 1 SN - 0098-5589 SP79 EP86 EPD - 79-86 A1 - Luigi Mancini, PY - 1986 KW - Redundancy KW - Semantics KW - Receivers KW - Kernel KW - Program processors KW - Programming KW - Message passing KW - voting KW - Agreement KW - communicating sequential processes KW - fault tolerance KW - guarded commands KW - nondeterminism KW - replicated processing VL - 12 JA - IEEE Transactions on Software Engineering ER - | |||
Modular redundancy in the form of replicated computations in a concurrent programming model consisting of communicating sequential processes is investigated. Some conditions are given which must always be verified to ensure correctness in the presence of nondeterminism. Then some implementations which satisfy the given conditions are proposed. This approach permits redundant systems to be robust with respect to failures in redundant processors, and also permits the use of software fault tolerance techniques such as N-version programming. The concurrent programming model which has been chosen is based on a set of active entities, i.e., processes, each running in a local protected environment; processes interact using message passing only.
Index Terms:
Redundancy,Semantics,Receivers,Kernel,Program processors,Programming,Message passing,voting,Agreement,communicating sequential processes,fault tolerance,guarded commands,nondeterminism,replicated processing
Citation:
Luigi Mancini, "Modular redundancy in a message passing system," IEEE Transactions on Software Engineering, vol. 12, no. 1, pp. 79-86, Jan. 1986, doi:10.1109/TSE.1986.6312922
Usage of this product signifies your acceptance of the Terms of Use.