Study of Fault - Tolerant Software
نویسندگان
چکیده
i0-i
منابع مشابه
An Overview of Software Fault Tolerant Computing
Fault-tolerance is the survival attribute of the real-time software system. The software should provide correct results in the face of various failures. A major technological concern for the coming years is the ever widening gap between the demand for high quality, robust software and its supply. Software fault tolerance is basically the design faults in the computer system. Its function is to ...
متن کاملAbstraction and the Methodical Development of Fault-Tolerant Software
ion and the Methodical Development of Fault-Tolerant Software
متن کاملExtending the Features of Software for Reliability Analysis of Fault-tolerant Systems
The developed software ASNA-2, which is an improved version of the software ASNA-1, is based on the technology of automated estimation of reliability indexes of fault-tolerant systems. This software is designed for automated evaluation of the reliability indexes of fault-tolerant hardware – software systems. This paper describes a software ASNA-2 with the peculiarities of procedures of reliabil...
متن کاملRefinement of Fault Tolerant Control Systems in B
Application of formal methods helps us to gain confidence in building correct software. On the other hand, to guarantee dependability of the overall system we need to build fault tolerant software, i.e., software which is not only fault-free but also is able to cope with faults of other system components. Obviously, this goal is attainable only if fault tolerance mechanisms constitute an intrin...
متن کاملChannel Reiication: a Reeective Approach to Fault-tolerant Software Development
Reeective systems can be used to ease the implementation of fault tolerance mechanisms in distributed applications as show in Anc95, Fab94]. In this paper we introduce a new model for reeective computations, and we show how it can be used for building up fault tolerant applications.
متن کاملData Diversity: A Search For Direction
A method for enhancing the reliability of N-version software is proposed. A pilot study presents experimental results on data diversity, in which retry with a mutation-directed variation in input is attempted after system failure. These results suggest that mutation analysis could be valuable in the design of fault-tolerant software systems.
متن کامل