Abstract | ||
---|---|---|
The design of fault-tolerant real-time systems is an area of great research activity, particularly in the context of safety-critical systems like spacecrafts. The present work describes the design, implementation, and proof of a fault-tolerant server in a transputer network. The software was developed in Occam with in-line GUY code at certain places to improve performance. Byzantine faults are tolerated and the basic strategy is failure-masking by replication. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1016/0950-5849(95)01094-7 | Information and Software Technology |
Keywords | Field | DocType |
Fault-tolerance,Replication,State-machine,Atomic Broadcast,Digital signatures,Transputers | Atomic broadcast,Computer science,Server,Byzantine fault tolerance,Finite-state machine,occam,Software,Fault tolerance,Quantum Byzantine agreement,Distributed computing | Journal |
Volume | Issue | ISSN |
38 | 10 | 0950-5849 |
Citations | PageRank | References |
1 | 0.37 | 4 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anupam Sinha | 1 | 5 | 0.87 |
Pradip K. Das | 2 | 50 | 11.56 |
Dhruba Basu | 3 | 5 | 0.87 |