Built-in online and offline test of airborne digital systems

This paper studies the effects of both online and offline test during flight critical missions where safety is a major issue. The online test, in this context, is a test performed on a digital airborne system during some specified windows in time while it is still performing its intended task. An offline test is a test that is performed on the digital system once it is taken offline because of a suspected failure. Both the online and the offline tests are performed during flight. The difference between the two is that the offline test can be made more effective than an online test due to the longer amount of time available for testing. Moreover, the offline test may be designed to have diagnosis and repair capability built in. Upon successful repair, the faulty processor may be reconfigured back into the system. Even though both tests are important, we show that the online test is more important than the offline test in enhancing the mission reliability. This is a counter-intuitive result since system repairs are conducted offline.

[1]  Melvin A. Breuer,et al.  Digital systems testing and testable design , 1990 .

[2]  M Pflanz,et al.  Efficient backup schemes for processors in embedded systems , 2000 .

[3]  P. M. Melliar-Smith,et al.  Fault tolerant architectures for integrated aircraft electronics systems, task 2 , 1983 .

[4]  M. L. Shooman.  A study of occurrence rates of EMI to aircraft with a focus on HIRF , 1993, [1993 Proceedings] AIAA/IEEE Digital Avionics Systems Conference.

[5]  S. N. Chau,et al.  Ultra long-life avionics architecture , 2002 .

[6]  Heather A. Parsons,et al.  A Boundary Scan Test Vehicle for Direct Chip Attach Testing , 1999 .

[7]  W Butler Ricky,et al.  Formal Design and Verification of a Reliable Computing Platform For Real-Time Control (Phase 3 Results) , 1990 .

[8]  Ben L. Di Vito,et al.  Formal Design and Verification of a Reliable Computing Platform for Real-Time Control (Phase 2 Results) , 2003 .

[9]  Kang G. Shin,et al.  Design and Evaluation of a Fault-Tolerant Multiprocessor Using Hardware Recovery Blocks , 1984, IEEE Transactions on Computers.

[10]  S. Pizzica.  An integrated approach to robust avionics systems design , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[11]  Ricky W. Butler,et al.  Design for validation (digital avionics) , 1991, IEEE/AIAA 10th Digital Avionics Systems Conference.

[12]  Jacob Savir,et al.  Built In Test for VLSI: Pseudorandom Techniques , 1987 .

[13]  Ricky W. Butler,et al.  Techniques for Modeling the Reliability of Fault-Tolerant Systems With the Markov State-Space Approach , 1995 .

[14]  BentonC. Clark.  The Genesis mission: unifying science and engineering , 2001 .

[15]  Dhiraj K. Pradhan,et al.  Roll-forward and rollback recovery: performance-reliability trade-off , 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.

[16]  John Rushby,et al.  A Comparison of Bus Architectures for Safety-Critical Embedded Systems , 2003 .

[17]  Gary S. Bolotin,et al.  X2000 advanced avionics project development of a new generation of avionics for space applications , 2003, 2003 IEEE Aerospace Conference Proceedings (Cat. No.03TH8652).

[18]  Thomas W. Williams,et al.  A logic design structure for LSI testability , 1977, DAC '77.

[19]  Cary R. Spitzer.  Digital Avionics Systems , 1987 .

[20]  C. M. Belcastro,et al.  Closed-loop HIRF experiments performed on a fault tolerant flight control computer , 1997, 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings.

[21]  A. L. White.  Synthetic bounds for semi-Markov reliability models , 1985 .

[22]  Ricky W. Butler,et al.  The SURE approach to reliability analysis , 1992 .

[23]  Mustafa Dogan,et al.  Digital linear state feedback control subject to electromagnetic disturbances , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[24]  J. Goldberg,et al.  SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.

[25]  R.W. Butler,et al.  Design for validation , 1992, IEEE Aerospace and Electronic Systems Magazine.

[26]  K. G. Shin,et al.  Integrated analysis of error detection and recovery , 1985 .