The reliable platform service: a property-based fault tolerant service architecture

  title={The reliable platform service: a property-based fault tolerant service architecture},
  author={C. Walter and P. Ellis and B. LaValley},
  journal={Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)},
  • C. Walter, P. Ellis, B. LaValley
  • Published 2005
  • Computer Science
  • Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
The reliable platform is a fault tolerant architecture designed to provide a structured but flexible framework for the delivery of dependable services for highly critical applications such as X-by-wire systems. The approach is based on defining a structured hierarchy of critical fault tolerant services with corresponding properties that can be explicitly specified and verified. The architecture also incorporates a comprehensive error model that is inclusive of symmetric and asymmetric (i.e… Expand
2 Citations
Modeling Techniques for High Dependability Protocols and Architecture
The approach uses a logical layering approach where a component should be viewed as a service or, in its most basic form, an operation and there would be another service (or operations) that fulfill the requirements of the layer above. Expand
An Effective Solution for the Byzantine Agreement Problem through Lamport-Shostak-Pease Algorithm
Distributed computing systems consisting of several computers that do not share a memory or a clock, the computers communicate with each other by exchanging messages over a communication network. ToExpand


Chameleon: a software infrastructure for adaptive fault tolerance
This paper presents Chameleon, an adaptive software infrastructure for concurrently supporting different reliability levels in the same networked environment. Traditionally, fault tolerance has beenExpand
Reliability modeling of large fault-tolerant systems
  • N. Suri, M. M. Hugue, C. Walter
  • Engineering, Computer Science
  • [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing
  • 1992
A reliability model considering the distribution of concurrent faults across the system clusters is shown to increase the accuracy of reliability and system fault-tolerance estimates, and the hybrid fault model further improves reliability estimates and enhances the fault handling capability of each cluster. Expand
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance
ARMOR architecture is described, including ARMOR class hierarchy, basic building blocks, ARMOR composition, and use of ARMOR factories, and how ARMORs can be reconfigured and reengineered is presented and how the architecture serves the objective of providing an adaptive software infrastructure. Expand
The customizable fault/error model for dependable distributed systems
This paper develops the complete framework for the CFEM fault classification, the voting functions applicable under the CFem, and the fundamental distributed services of consensus and convergence under theCFEM on which dependable distributed functionality can be supported. Expand
Formally Verified On-Line Diagnosis
This work presents comprehensive on-line diagnosis algorithms capable of handling a continuum of faults of varying severity at the node and link level and develops procedures for maximal utilization of the system state information to provide for continual, on-lines diagnosis and reconfiguration capabilities as an integral part of thesystem operations. Expand
On simplifying modular specification and verification of distributed protocols
  • Purnendu Sinha, N. Suri
  • Computer Science
  • Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking
  • 2001
This paper develops on the proposed category-theory-based approach for modular composition through formulating a group membership protocol which can also form the next hierarchical building blocks for other dependable protocol operations, and a checkpointing protocol utilizing the group membership function as one of its building block. Expand
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
The paper describes the main concepts of the architecture, the supporting environments for development and validation, and the prototypes currently being implemented of a generic fault-tolerant computer architecture based essentially on commercial off-the-shelf (COTS) components. Expand
Modular composition of redundancy management protocols in distributed systems: an outlook on simplifying protocol level formal specification and verification
  • Purnendu Sinha, N. Suri
  • Computer Science
  • Proceedings 21st International Conference on Distributed Computing Systems
  • 2001
In recent years, formal methods (FMs) have been extensively used for the verification and validation (V&V) of dependable distributed protocols. In our studies utilizing FMs for V&V, we have observedExpand
Formal Design and Verification of a Reliable Computing Platform For Real-Time Control (Phase 3 Results)
In this paper the design and formal verification of the lower levels of the of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications, areExpand
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model
  • P. Lincoln, J. Rushby
  • Computer Science
  • Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'.
  • 1995
An algorithm for interactive consistency that retains resilience to the arbitrary (or Byzantine) fault mode, while tolerating more faults of simpler kinds than standard Byzantine-resilient algorithms is proposed. Expand