Simple models of hardware and software fault tolerance

Dugan, J.B.; Doyle, S.A.; Patterson-Hine, F. A.

doi:10.1109/rams.1994.291094

Cited by 9 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These problems may cause the system to enter into an incorrect status temporarily and this will bring serious effects to the system. Beside well-known methods to recover the system such as watch-dog, power reset and redundant hardware, there are also many resilience strategies such as DRB (Distributed Recovery Blocks), NVP (Nversion programming) and NSCP (N self-checking Programming) [8]. However, there is no omnipotent solution for malfunction and freezing of the micro-computer.…”

Section: System Principlementioning

confidence: 99%

See 1 more Smart Citation

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking

Fang

Yamagata

Oiwa

2014

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

If a Micro Processor Unit (MPU) receives an external electric signal as noise, the system function will freeze or malfunction easily. A new resilience strategy is implemented in order to reset the MPU automatically and stop the MPU from freezing or malfunctioning. The technique is useful for embedded systems which work in non-human environments. However, evaluating resilience strategies is difficult because their effectiveness depends on numerous, complex, interacting factors.In this paper, we use probabilistic model checking to evaluate the embedded systems installed with the above mentioned new resilience strategy. Qualitative evaluations are implemented with 6 PCTL formulas, and quantitative evaluations use two kinds of evaluation. One is system failure reduction, and the other is ADT (Average Down Time), the industry standard. Our work demonstrates the benefits brought by the resilience strategy. Experimental results indicate that our evaluation is cost-effective and reliable.

show abstract

Section: System Principlementioning

confidence: 99%

“…The paper [8] presented a quantitative analysis to three kinds of resilience models using the Molkov reword model. This work can be considered as an elementary prototype of the kind of work described in this paper, but is different from our work, in that our target resilience system is very light N-version programming.…”

Section: Related Workmentioning

confidence: 99%

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking

Fang

Yamagata

Oiwa

2014

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

Architecture-based approach to reliability assessment of software systems

Goševa-Popstojanova

Trivedi

2001

Performance Evaluation

353

227

View full text Add to dashboard Cite

Development of a fault tolerant flight control system

Feldstein

Muzio

The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)

View full text Add to dashboard Cite

This paper discusses the design and development of a fault tolerant flight control system as part of the research requirement of the Author's Master's Degree Thesis. The requirements of safety critical systems, reliable systems, fault tolerant systems, Avionics and Embedded systems were considered for this project. Byzantine Resilience and Common Mode Fault Avoidance are considered beyond the scope of this work at this time. The fault tolerant system designed for this work was set up as a triple modular redundant system to tolerate the existence of one fault within the system. The system was implemented with the PC/104 embedded PC platform. Microsoft Flight Simulator was used as a test platform to generate input data and to demonstrate successful operation by showing a flight under control by the flight control system. The end results show that a fault tolerant system can be developed to successfully tolerate one fault while the system is in operation.

show abstract

Simple models of hardware and software fault tolerance

Cited by 9 publications

References 15 publications

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking

Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking

Architecture-based approach to reliability assessment of software systems

Development of a fault tolerant flight control system

Contact Info

Product

Resources

About