State restoration in a COTS-based N-modular architecture

Proceedings - 1st International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 1998

Volumn 1998-April, Issue , 1998, Pages 174-183

  Bondavalli, A ^a   Di Giandomenico, F ^b   Grandoni, F ^b   Powell, D ^c   Rabejac, C ^d  

^a ISTI CNR   (Italy)

^b CNR   (Italy)

^c LAAS CNRS   (France)

^d AIRBUS DEFENCE AND SPACE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; JOINING; RESTORATION;

APPLICATION TASKS; COMMERCIAL OFF-THE-SHELF COMPONENTS; CONCURRENT UPDATE; FAULT-TOLERANT ARCHITECTURES; MODULAR ARCHITECTURES; REDUNDANT ARCHITECTURE; STATE RESTORATION; TRANSIENT FAULTS;

OBJECT ORIENTED PROGRAMMING;

EID: 2142670966     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.1998.666787     Document Type: Conference Paper

References (18)

1. S. J. Adams, "Hardware Assisted Recovery from Transient Errors in Redundant Processing Systems", in 19th Int. Symp. on Fault-Tolerance Computing (FTCS-19), (Chicago, IL, USA), pp.512-519, IEEE Computer Society Press, June 1989.
2. J. Arlat, Y. Crouzet and C. Landrault, "Operationally Secure Microcomputers", in 1st Conference on Fault-Tolerant Systems and Diagnostics (FTSD'78), (J. W. Laski, Ed.), (Gdansk, Poland), pp.1-9, September 1978.
3. P. Barrett, A. Burns and A. J. Wellings, "Models of Replication for Safety Critical Hard Real-Time Systems", in 20th IFAC/IFIP Workshop on Real-Time Programming (WRTP'95), (Fort Lauderdale, FL, USA), Pergamon Press, November 1995.
4. A. Bondavalli, S. Chiaradonna, F. D. Giandomenico and F. Grandoni, Inter-Channel State Restoration, PDCC, Pisa, Technical Note, November 1997 (GUARDS Document N I1-SA4.TN.6006.B).
5. Specification and Preliminary Design of Dependability Mechanisms, GUARDS Consortium, 1997 (GUARDS Document ND100.TO.2007.C).
6. R. E. Harper and J. H. Lala, "Fault-Tolerant Parallel Processor", Journ. of Guidance, Control and Dynamics, 14 (3), pp.554-563, May-June 1990.
7. R. M. Kieckhafer, C. J. Walter, A. M. Finn and P. M. Thambidurai, "The MAFT Architecture for Distributed Fault Tolerance", IEEE Trans. Computers, 37 (4), pp.398-405, April 1988.
8. P. M. Melliar-Smith and R. L. Schwartz, "Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerance Flight Control System", IEEE Trans. Computers, C-31 (7), pp.616-630, July 1982.
9. D. Powell, Preliminary Definition of the GUARDS Architecture, LAAS-CNRS, Research Report, N96277, January 1997 (GUARDS Document ND1A1.A0.5000.D).
10. D. K. Pradhan, S. K. Gupta and M. G. Karpowsky, "Aliasing Probability for Multiple Input Signature Analyzer", IEEE Trans. Computers, 39 (4), pp.586-591, April 1990.
11. J. Rushby, "A Fault-Masking and Transient-Recovery Model for Digital Flight Control Systems", in Formal Techniques in Real-Time and Fault-Tolerant Systems, (J. Vytopil, Ed.), pp.109-136, Kluwer Adademic Publishers, 1993.
12. J. Rushby, "Reconfiguration and Transient Recovery in State Machine Architectures", in 26th Int. Symp. on Fault-Tolerant Computing (FTCS-26), (Sendai, Japan), pp.6-15, IEEE Computer Society Press, June 1996.
13. T. Sims, "Real Time Recovery of Fault Tolerant Processing Elements", in AIAA/IEEE 15th Digital Avionics Systems Conference, (Atlanta, GA), pp.485-490, IEEE, October 1996.
14. J. E. Smith, "Measures of the Effectiveness of Fault Signature Analysis", IEEE Trans. Computers, 29 (6), pp.510-514, June 1980.
15. E. Totel, J.-P. Blanquart, Y. Deswarte and D. Powell, Supporting Multiple Levels of Criticality, LAAS-CNRS, Research Report, N97525, December 1997.
16. K. S. Tso, A. Avizienis and J. P. Kelly, "Error Recovery in Multiversion Software", in 5th IFAC Workshop on the Safety of Computer Control Systems (SAFECOMP 86), (W. J. Quirk, Ed.), (Sarlat, France), pp.35-41, Oxford, Pergamon Press, 1986.
17. A. Wellings, Inter-Channel Scheduling, Offset Analysis and the ICN, University of York, UK, Technical Note, September 1997 (GUARDS Document NI2A1-A.TN.7042.A).
18. A. Wellings, L. Beus-Dukic, A. Burns and D. Powell, "Genericity and Upgradability in Ultra-Dependable Real-Time Architectures", in Work in Progress Proceedings, Real-Time Systems Symp., (Washington D.C.), pp.15-18, IEEE Computer Society Press, December 1996.