Abstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction

This paper explores the concept of "pure fault tolerance"--when a system can fulfill its computational goal, even though some of its components do not fulfill theirs. This leads to a natural statement of the composition problem for a very general concept of architecture: to what extent are the properties of a system based on that architecture a function of the properties of the components? The author explores several variations on pure fault tolerance, none of which utilize fault detection or error correction.

[1]  Ali Ebnenasir,et al.  Adding Fault-Tolerance Using Pre-synthesized Components , 2005, EDCC.

[2]  Yu-Chiun Chiou,et al.  Ant Custering Algorithms , 2010, Int. J. Appl. Evol. Comput..

[3]  Onsy Abdel Alim,et al.  A Probabilistic Neural Network-Based Module for Recognition of Objects from their 3-D Images , 2013, Int. J. Syst. Dyn. Appl..

[4]  Peng Jiang,et al.  A Relation Pattern-Driven Probability Model for Related Entity Retrieval , 2012, Int. J. Knowl. Syst. Sci..

[5]  Gil Kalai,et al.  How Quantum Computers Can Fail , 2006, quant-ph/0607021.

[6]  Fatma Abdennadher,et al.  Mobility Management in Publish/Subscribe Middleware , 2013, Int. J. Adapt. Resilient Auton. Syst..

[7]  G. Kalai.  Thoughts on Noise and Quantum Computation , 2005, quant-ph/0508095.

[8]  Vincenzo De Florio,et al.  Innovations and Approaches for Resilient and Adaptive Systems , 2012 .

[9]  Mikhail I. Dyakonov,et al.  Is Fault-Tolerant Quantum Computation Really Possible? , 2006, quant-ph/0610117.

[10]  John Kubiatowicz,et al.  Practical fault tolerance for quantum circuits , 2009 .

[11]  Julia Kempe.  Approaches to quantum error correction , 2006 .

[12]  Wei-Chiang Samuelson Hong.  Principal Concepts in Applied Evolutionary Computation: Emerging Trends , 2012 .

[13]  Seifedine Kadry.  Diagnostics and Prognostics of Engineering Systems: Methods and Techniques , 2012 .

[14]  García España,et al.  Intelligent system monitoring: on-line learning and system condition state , 2012 .

[15]  Charles P. Shelton,et al.  Using Architectural Properties to Model and Measure Graceful Degradation , 2002, WADS.

[16]  Luca Simoncini,et al.  Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study , 1994, EDCC.

[17]  Vincenzo De Florio,et al.  A survey of linguistic structures for application-level fault tolerance , 2008, CSUR.

[18]  Mohamed Khalgui,et al.  UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems , 2012, Int. J. Syst. Dyn. Appl..

[19]  Péter Gács,et al.  Reliable computation with cellular automata , 1983, J. Comput. Syst. Sci..

[20]  Scott Aaronson,et al.  The computational complexity of linear optics , 2010, STOC '11.

[21]  Gerard J. Holzmann,et al.  Reliable Software Systems Design: Defect Prevention, Detection, and Containment , 2005, VSTTE.

[22]  Bruno Courcelle,et al.  Graph Structure and Monadic Second-Order Logic - A Language-Theoretic Approach , 2012, Encyclopedia of mathematics and its applications.

[23]  E. Zio,et al.  Prognostics and Health Management of Industrial Equipment , 2013 .

[24]  Vincenzo De Florio,et al.  Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts , 2012 .

[25]  Thomas Scanlon,et al.  First-order Model Theory , 2001 .

[26]  Felix C. Gärtner.  Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification. , 1999 .

[27]  Hiroshi Horii,et al.  Reducing Costs of Knowledge Transfer in Tourism Development using Historical Materials , 2013, Int. J. Knowl. Syst. Sci..

[28]  Ehab Al-Shaer,et al.  Autonomic QoS optimization of real-time internet audio using loss prediction and stochastic control , 2008, NOMS 2008 - 2008 IEEE Network Operations and Management Symposium.

[29]  Murat Demirbas,et al.  Scalable design of fault-tolerance for wireless sensor networks , 2004 .

[30]  Vaneet Aggarwal,et al.  A Universal Operator Theoretic Framework for Quantum Fault Tolerance , 2007, 0709.0128.

[31]  D. G. Weber,et al.  Formal specification of fault-tolerance and its relation to computer security , 1989, IWSSD '89.

[32]  J. von Neumann,et al.  Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .

[33]  Anish Arora,et al.  A foundation for fault tolerant components , 2001 .

[34]  Dongxiang Jiang,et al.  Degradation Based Condition Classification and Prediction in Rotating Machinery Prognostics , 2013 .