Reducing critical failures for control algorithms using executable assertions and best effort recovery

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2001, Pages 347-356

  Vinter, Jonny ^a   Aidemark, Joakim ^a   Folkesson, Peter ^a   Karlsson, Johan ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NODES;

ACTUATORS; ALGORITHMS; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS;

CONTROL SYSTEMS;

EID: 0035789169     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2001.941419     Document Type: Conference Paper

References (13)

1. Y.C. Yeh, "Dependability of the 777 Primary Flight Control System", in 5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5), pp. 3-17, (Urbana Champaign, IL, USA) Sep. 1995.
2. J. von Neumann, "Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components", Automata Studies, Annals of Mathematical Studies, Princeton University Press, No. 34, pp. 43-98, 1956.
3. L. Lamport, P. M. Melliar-Smith, "Byzantine Clock Synchronization", in Proc. Third ACM Symp. Principles of Distributed Computing, August 1984, pp. 68-84.
4. R. M. Kieckhafer, C. J. Walter, A. M. Finn, P. M. Thambidurai, "The MAFT Architecture for Distributed Fault Tolerance", IEEE Transactions on Computers, vol. 37, no. 4, pp. 398-404, 1988.
5. F. Cristian, "Understanding Fault-Tolerant Distributed Systems", Communications of ACM, Vol. 34, No. 2, 1991, pp. 56-78.
6. J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber, J. Reisinger, "Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture", in 5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5), pp. 267-287, (Urbana Champaign, IL, USA) Sep. 1995.
7. G. C. Messenger, "Collection of Charge on Junction Nodes From Ion Tracks". IEEE Trans. on Nuclear Science, Vol. NS29, No. 6, Dec. 1982, pp. 2024-2031.
8. K. Johansson, P. Dyreklev, B. Granbom, M. C. Calvet, S. Fourtine, O. Feuillatre, "In-Flight and Ground Testing of Single Event Upset Sensitivity in Static RAMs", IEEE Transaction on Nuclear Science, vol.45 no.3 June 1998 pp. 1628-1632.
9. E. Normand, "Single Event Upset at Ground Level", IEEE Transaction on Nuclear Science, vol. 43, no.6, December 1996, pp. 2742-2750.
10. The MathWorks, Inc. "Using Simulink Version 3, Dynamic System Simulation for MATLAB" January 1999.
11. Saab Ericsson Space AB, "Microprocessor Thor", Product Information, September 1993.
12. P. Folkesson, S. Svensson, J. Karlsson, "A Comparison of Simulation Based and Scan Chain Implemented Fault Injection", in Proc. 28th Int. Symp. on Fault-Tolerant Computing (FTCS-28), pp. 284-293, (Munich, Germany) June 1998.
13. J. Aidemark, J. Vinter, P. Fotkesson, J. Karlsson, "GOOFI: Generic Object-Oriented Fault injection tool", Proceedings International Conference on Dependable Systems and Networks, DSN 2001, Gothenburg, Sweden, July 2001.