Add to ORKGWe present a formal verification of the transient fault recovery aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system architecture for digital flight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults. The system design has been formally specified and verified using the EHDM verification system. Our formalization accommodates a wide variety of voting schemes for purging the effects of transients
We present a fault-tolerant computer architecture that significantly reduces the threat of electroma...
International audienceMost of the work that has been done to build reliable interactive systems has ...
International audienceWe present a language-based approach to certify fault-tolerance techniques for...
A high-level design is presented for a reliable computing platform for real-time control application...
Faults in computer control systems cause great economic losses and endanger human beings. In order t...
We present a systematic approach to design and verification of fault-tolerant components with real-t...
This paper presents a high-level design for a reliable computing platform for real-time control appl...
Faults in computer control systems cause great economic losses and endanger human beings. In order t...
In the design of fault tolerant real time systems, the most important issue is fault handling and re...
This paper describes a single-version algorithmic approach to design in fault tolerant computing in ...
The central thesis of this research is toward the concept of reliability through redundancy for comp...
Fault-tolerant real-time distributed control systems are being developed for next-generation aircraf...
The development of fault tolerant embedded control systems, such as flight control systems (FCS) are...
This report provides an introduction to resilience methods. The emphasis is on checkpointing, the de...
PVS is the most recent in a series of verification systems developed at SRI. Its design was strongly...
We present a fault-tolerant computer architecture that significantly reduces the threat of electroma...
International audienceMost of the work that has been done to build reliable interactive systems has ...
International audienceWe present a language-based approach to certify fault-tolerance techniques for...
A high-level design is presented for a reliable computing platform for real-time control application...
Faults in computer control systems cause great economic losses and endanger human beings. In order t...
We present a systematic approach to design and verification of fault-tolerant components with real-t...
This paper presents a high-level design for a reliable computing platform for real-time control appl...
Faults in computer control systems cause great economic losses and endanger human beings. In order t...
In the design of fault tolerant real time systems, the most important issue is fault handling and re...
This paper describes a single-version algorithmic approach to design in fault tolerant computing in ...
The central thesis of this research is toward the concept of reliability through redundancy for comp...
Fault-tolerant real-time distributed control systems are being developed for next-generation aircraf...
The development of fault tolerant embedded control systems, such as flight control systems (FCS) are...
This report provides an introduction to resilience methods. The emphasis is on checkpointing, the de...
PVS is the most recent in a series of verification systems developed at SRI. Its design was strongly...
We present a fault-tolerant computer architecture that significantly reduces the threat of electroma...
International audienceMost of the work that has been done to build reliable interactive systems has ...
International audienceWe present a language-based approach to certify fault-tolerance techniques for...