«fault tolerant»
۱۹٬۴۹۱ نتیجهVerification of the First Fault-tolerant VAX System
strategy outlined a fourThe fault-tolerant phase approach which would character of the VAXft require hardware to be 3000 system required that built into the system plans be made early in specifically for test the development stages purposes. for the verification and This paper pr
Building and Verifying Fault-Tolerant Autonomous Real-Time Systems for Space Applications
NASA missions require autonomous systems that perform correctly for an extended period of time. These systems must make real-time decisions in logical sequence that meet timing require ments. These systems must anticipate faults induced by environmental change, but it is difficu
Fault Tolerant Fail Safe System for Railway Signalling 1
Railway Signalling is an area which demands the use of ultra reliable fault tolerant system since it is directly related to the movement of passenger trains. In the present article, the first part deals with the general concept used in designing such ultra reliable fault tolerant
Automatic Synthesis of Fault-tolerance
AUTOMATIC SYNTHESIS OF FAULT-TOLERANCE By Ali Ebnenasir Fault-tolerance is an important property of today’s software systems as we rely on computers in our daily affairs (e.g., medical equipments, transportation systems, etc). Since it is difficult (if not impossible) to anticipa
Quantum Error Correction and Fault Tolerant Quantum Computing
e?cient fault-tolerant quantum computing arxiv fault-tolerant quantum computing crcnetbase an introduction to quantum error correction and fault quantum error correction and fault tolerant quantum computing fault tolerance in quantum computation eceu fault-tolerant quantum comput
Redundancy Based Design and Analysis of ALU Circuit Using CMOS 180nm Process Technology for Fault Tolerant Computing Architectures
As the technology entering into Nano dimensions, the manufacturing processes are becoming less reliable, that is drastically impacting the yield. Therefore, fault tolerant systems are becoming more important, particularly in safety-critical applications. In this paper, we present
A New Method for the Verification of Fault Tolerant Software
This paper presents a new approach for verification of fault tolerant software in aerospace applications. The approach, called the "Enhanced Condition Table", integrates the merits of functional and structural testing in a single framework. The goal is to generate a reasonably si
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems
Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques. We propose a safe design method for safe execution systems: it uses optimal discrete controller synthesis (DCS) to generate a correct reconfiguring
Fault Tolerance of Feedforward Neural Nets for Classification Tasks
A method is proposed to estimate the fault tolerance of feedforward Artificial Neural Nets (ANNs) and synthesize robust nets. Fault models are presented and a procedure is developed to build fault tolerant ANNs by replicating the hidden units. Based on this procedure, metrics are
A framework backbone for software fault tolerance in embedded parallel applications
The DIR net (detection-isolation-recovery net) is the main module of a software framework fi)r the development of embedded supercornputing applications. This framework provides a set of functional elements, collected in a library, to improve the dependability attributes of the ap