Provable Transient Recovery for Frame-based, Fault-tolerant Computing Systems 1
نویسنده
چکیده
We present a formal veriication of the transient fault recovery aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system architecture for digital ight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the eeects of transient faults. The system design has been formally speci-ed and veriied using the Ehdm veriication system. Our formalization accommodates a wide variety of voting schemes for purging the eeects of transients.
منابع مشابه
Provable transient recovery for frame-based, fault-tolerant computing systems
We present a formal veriication of the transient fault recovery aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system architecture for digital ight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the eeects of transient faults. The system design has been formally speci-ed and veriied using the Ehdm veriic...
متن کاملFault Tolerant DNA Computing Based on Digital Microfluidic Biochips
Historically, DNA molecules have been known as the building blocks of life, later on in 1994, Leonard Adelman introduced a technique to utilize DNA molecules for a new kind of computation. According to the massive parallelism, huge storage capacity and the ability of using the DNA molecules inside the living tissue, this type of computation is applied in many application areas such as me...
متن کاملAn approach to fault detection and correction in design of systems using of Turbo codes
We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...
متن کاملFault-Tolerant Real-Time Mach: A Timeline-based approach
Even though real-time systems have the stringent constraint of completing tasks before their deadlines, many existing real-time operating systems do not implement fault tolerance capabilities. In this paper we describe the development and implementation of a non-preemptive fault tolerant real-time policy for aperiodic dynamic tasks. We implemented non-preemptive fault-tolerant scheduling and re...
متن کاملInfluence of Fault Current Limiter in Voltage Drop and TRV Considering Wind Farm
Influence of distributed generation systems in the distribution systems can increase the level of short-circuit current. The effectiveness of distributed generation systems is affected by the size, location, type of distributed generation systems technology, and the methods of connecting to distribution systems. Wind turbine system is the examples of distributed generation source. Not only does...
متن کامل