NASA Office of Logic Design

NASA Office of Logic Design

A scientific study of the problems of digital engineering for space flight systems,
with a view to their practical solution.


From Anonymity to Ubiquity:
A Study of Our Increasing Reliance on Fault Tolerant Computing

Bibliography

# Category Reference
1 aircraft Ahlstrom, Kristina, et al., "Redundancy Management in Distributed Flight Control Systems: Experience & Simulations," IEEE 2002.
2 aircraft Bleeg, Robert J., "Commerical Jet Transport Fly-By-Wire Architecture Considerations," DASC 1988.
3 aircraft Borinski, J.W.; Schetz, J., "Aircraft Health Monitoring Using Optical Fiber Sensors," IEEE 2000.
4 aircraft Boskovic, J.D.; Li, S.; Mehra, R.K., "A Decentralized Fault-Tolerant Scheme for Flight Control Applications," ACC 2000.
5 aircraft Briere, Dominique, and Traverse, Pascal, "Airbus A320/A330/A340 Electrical Flight Controls A Family of Fault Tolerant Systems", IEEE 1993.
6 aircraft Driscoll, Kevin, and Hoyme, Kenneth, "The Airplane Information Management System: An Integrated Real-time Flight-deck Control System", IEEE, 1992.
7 aircraft Favre, C., "Fly by Wire for commercial aircraft: the Airbus experience," Int. Journal of Control, 1994.
8 aircraft Glista, S., "Lessons Learned from the F-22 Avionics Integrity Program," IEEE, 1998.
9 aircraft Hammond, Ronald A., Newman, David S., and Yeh, Y.C., "On Fly-by-Wire Control System and statistical analysis of system performance," Simualtion, October, 1989.
10 aircraft Kowal, B.W.; Scherz, C.J.; Quinlivan, R., "C-17 flight control system ," IEEE 1992.
11 aircraft Kowal, Brian W.; Scherz, Carl J.; Quinlivan, Richard, "C-17 Flight Control System Overview," IEEE, 1992.
12 aircraft Miller, R.J. and McGlone, M.E., "Development of an Integrated Fault Tolerant Engine Control," AIAA, 1981.
13 aircraft Popp, D.J.; Kahler, R.L, "C-17 flight control systems software design ," IEEE 1992.
14 aircraft Schrage, D.P.; Vachtsevanos, G., "Software Enabled Control (SEC) for Intelligent UAVs," AIAA, 2002.
15 aircraft Sudolsky, M.D., "C-17 O-level fault detection and isolation bit improvement concepts ," IEEE, 1996.
16 aircraft Tomayko, James E., COMPUTERS TAKE FLIGHT:A HISTORY OF NASA’S PIONEERING DIGITAL FLY-BY-WIRE PROJECT. NASA SP-2000-4224.
17 aircraft Tuttle, F.L., Kisslinger, R.L., "Verification and Validation of F-15 S/MTD Unique Software,"
18 aircraft Tuttle, F.L.; Kisslinger, R.L.; Ritzema, D.F., "F-15 S/MTD IFPC Fault Tolerant Design," IEEE, 1990.
19 aircraft Uczekaj, John S., "Reusable Avionics Software Evolution of the Flight Management System" IEEE, 1995.
20 aircraft Walter, Chris J., "MAFT: An Architecture for Reliable Fly-By-Wire Flight Control," DASC, 1988.
21 aircraft Yeh, Y.C., "Safety Critical Avionics for the 777 Primary Flight Controls System," IEEE, 2001.
22 aircraft Yeh, Y.C., "Triple-Triple Redundant 777 Primary Flight Computer," IEEE, 1996.
23 aircraft Yeh, Y.C., "Design considerations in Boeing 777 fly-by-wire computers," IEEE, 1995.
24 auto Fuehrer, T.; Hugel, R.; Hartwich, F.; Weiler, H., "FlexRay - The Communication System for Future Control Systems in Vehicles," SAE 2003.
25 auto Poledna, S.; Glück, M.; and Tanzer, C., "OSEKtime: A Dependable Real-Time Fault-Tolerant Operating System and Communication Layer as an Enabling Technology for By-Wire Applications," SAE, 2000.
26 auto Quigley, C.P.; Tan, F.H.; Tang, K.H.; McLaughlin, R.T., "An Investigation into the Future of Automotive In-Vehicle Control Networking Technology," SAE, 2001.
27 ft Audsley, N.C, Burke, M., "Distributed Fault-Tolerant Avionics Systems - A Real-Time Perspective," IEEE 1998.
28 ft Avizienis, A.; Mathur, F.; Rennels, D., "Automatic Maintenance of Aerospace Computers and Spacecraft Information and Control Systems," AIAA Systems Conference, 1969.
29 ft Avizienis, A., "Toward Systematic Design of Fault-Tolerant Systems," IEEE 1997.
30 ft Butler, R.W., "Fault-Tolerant Clock Synchronization Techniques for Avionics Systems," AIAA 1988.
31 ft Castro, M.; Liskov, B., "Byzantine fault tolerance can be fast," IEEE 2001.
32 ft Chen, Jie., and Patton, R.J., Robust Model-Based Fault Diagnosis for Dynamic Systems, Kluwer Academic Publishers, 1999.
33 ft Driscoll, Kevin, and Hoyme, Kenneth, "SAFEbus", IEEE AES Systems Magazine, 1993.
34 ft Frison, Steven G., and Wensley, John H., "Interactive Consistency and Its Impact on the Design of TMR Systems," IEEE, 1982.
35 ft Geffroy, Jean-Claude, and Motet, Gilles, Design of Dependable Computing Systems, Kluwer Academic Publishers, 2002.
36 ft Gertler, Janos. Fault detection and diagnosis in engineering systems, New York Marcel Dekker, Inc., 1998.
37 ft Hall, B.; Sellner, B.; Maier, R., "Automated safety critical software development for distributed control systems: A COTS approach," SAE, 2001.
38 ft Hamiter, L., "The History of Space Quality EEE Parts in the United States," ESTEC, 1990.
39 ft Hammett, Robert, “Design by Extrapolation: An Evaluation of Fault Tolerant Avionics” IEEE AESS Systems Magazine, 2002.
40 ft Harper, Christopher, and Winfield, Alan, "A Behaviour-Based Approach to the Design of Safety-Critical Systems," The Institution of Electrical Engineers, 1994.
41 ft Hills, Andy D., and Mirza, Nisar A., "Fault Tolerant Avionics", DASC 1988.
42 ft Hitt, E.F., "Avionics Cost of Ownership," IEEE, 1997.
43 ft Kopetz, H., "Fault Containment and Error Detection in the Time-Triggered Architecture," IEEE, 2003.
44 ft Kopetz, H., "Why Time-Triggered Architectures will Succeed in Large Hard Real-Time Systems," IEEE, 1995.
45 ft Kopetz, Hermann, and Bauer, Gunther, "The Time-Triggered Architecture," IEEE, 2003.
46 ft Krol, T., "Interactive consistency algorithms based on voting and error-correcting codes," IEEE, 1995.
47 ft Lala, Jaynarayan H., and Harper, Richard E., "Architectural Principles for Safety-Critical Real-Time Applications," IEEE, 1994.
48 ft Lamport, Leslie, Shostak, Robert, and Pease, Marshall, "The Byzantine Generals Problem," SRI International ACM, 1982.
49 ft Laurvick, C., Singaraju, "Nanotechnology in Aersopace Systems," IEEE, 2003.
50 ft McGough, John, "Effects of Near-Coincident Faults in Multiprocessor Systems," IEEE, 1983.
51 ft Murdock, John K., "Open Systems Avionics Network to Replace MIL-STD-1553," IEEE, 2000.
52 ft Osder, Stephen S., "Generic Faults and Architecture Design Considerations in Flight-Critical Systems," AIAA Guidance and Control Conference, 1982.
53 ft Papadopoulos, G.M., "Design Issues in Data Synchronous Systems," Agard Lecture Series, 1987.
54 ft Rushby, J., "A Comparison of Bus Architectures for Safety-Critical Embedded Systems," SRI, 2001.
55 ft Schor, A.L.; Leong F.J.; Babcock P.S., "Impact of Fault-Tolerant Avionics on Life-Cycle Costs," IEEE, 1989.
56 ft Siewiorek, Daniel, and Swarz, Robert, Reliable Computer Systems, AK Peters, 1998.
57 ft Simpson, T.; Henderson, R.; Crawley, E., "The Technical Issues with Implementing Spacecraft Open Avionics Platforms," AIAA, 2002.
58 ft Srinivasan, Jayakanth, and Lundqvist, Kristina, "Real-Time Architecture Analysis: A COTS Perspective," DASC, 2002.
59 ft Thambidurai, P.; You-keun Park;, "Interactive consistency with multiple failure modes," IEEE, 1988.
60 ft Walter, C.J., "Identifying the cause of detected errors," IEEE, 1990.
61 ft Williams, Ronald D.; Johnson, Barry W.; Roberts, Thomas E., "An Operating System for a Fault-Tolerant Multiprocessor Controller," IEEE, 1988.
62 ft Zhang, J.; Pervez, A.; Sharma, A.B., "Avionics Data Buses: An Overview", IEEE AESS Systems Magazine, February 2003.
63 software Basili, V.R.; McGarry, F.R.; Pajerski, R.; Zelkowitz, M.V., "Lessons Learned from 25 Years of Process Improvement: The Rise and Fall of the NASA Software Engineering Laboratory", ICSE 2002.
64 software Boussinot, F.; de Simone, R.; "The ESTEREL Language," IEEE 1991.
65 software Brooks, Frederick P., The Mythical Man-Month, Anniversary Edition, Addison Wesley, 1995.
66 software Brown, T. ; Pasetti, A.; Pree, W.; Henzinger, T.A.; Kirsch, C.M., "A reusable and platform-independent framework for distributed control systems," IEEE 2001.
67 software Pellerin, D.; Taylor, D., VHDL Made Easy!, Prentice Hall PTR, 1996.
68 software Henzinger, T.A.; Horowitz, B.; Kirsch, C.M., "Giotto: a time-triggered language for embedded programming," IEEE, 2003.
69 software Leveson, Nancy G., "The Challenge of Building Process-Control Software," IEEE, 1990.
70 software Leveson, Nancy G., "The Role of Software in Spacecraft Accidents," 2003.
71 software Leveson, Nancy G., Safeware, Addison Wesley, 1995.
72 software NASA Conference Publication 2222, Production of Reliable Flight-Crucial Software: Validation Methods Research for Fault Tolerant Avionics and Control Systems Sub-Working-Group Meeting. North Caroline, 1981
73 software Reese, John Damon., Leveson, Nancy G., "Software Deviation Analysis," IEEE, 1997.
74 software Sharma, Ashok, Programmable Logic Handbook, McGraw Hill, 1998.
75 software Shimeall, T.J.; Leveson, N.G., "An empirical comparison of software fault tolerance and fault elimination," IEEE, 1991.
76 software Srinivasan, J.K.; Leveson, N. G., "Automated Testing from Specifications," IEEE, 2002.
77 space Alkalai, Leon, "An Overview of Flight Computer Technologies for Future NASA Space Exploration Missions," Acta Astronautica, 2003.
78 space Bearden, David A., "A complexity-based risk assessment of low-cost planetary missions: when is a mission too fast and too cheap?," Acta Astronautica, 2002.
79 space Carlow, G.D., "Architecture of the Space Shuttle Primary Avionics Software System," ACM 1984.
80 space Castell, K.; Hernandez-Pellerano, A.; Wismer, M., "Closed loop software control of the MIDEX power system," IEEE 1998.
81 space Cooper, A.E.; Chow, W.T., "Shuttle Computer Complex," IFAC, 1975.
82 space Elfving, A.; Stagnaro, L.; Winto, A., "SMART-1: key technologies and autonomy implementation," Acta Astronautica, 2002.
83 space Hammett, Robert, Schwartz, Gary, and Smithgall, William T., "Preventing Data Pollution in the Space Shuttle Cockpit," DASC 2003.
84 space Hanaway, J, and Moorehead, R., Space Shuttle Avionics System, NASA, 1989.
85 space Hecht, H., “Fault-Tolerant Computers for Spacecraft,” AIAA, 1977.
86 space Lala, Jaynarayan H., Harper, Richard E., Jaskoiak, Kenneth R., Rosch, Gene, Alger, Linda S., Schor, Andrei L., "Advanced Informatio Processing System (AIPS) - Based Fault Tolerant Avionics Architecture for Launch Vehicles," IEEE, 1990.
87 space Liu, Chung-Yu, "A Study of Flight-Critical Computer System recovery from Space Radiation-Induced Error", IEEE AESS Systems Magazine, July 2002.
88 space Lockheed Missles & Space Company, Inc, Space Telescope Systems Description Handbook ST/SE-02, 1985.
89 space Lovellete, M.N., and Wood, K.S., and Wood, D.L., and Beall, J.H., "Strategies for Fault-Tolerant, Space-Based Computing: Lessons Learned from the ARGOS Testbed,"
90 space Madden, W.A., & Rone, K.Y., "Design, Development, Integration: Space Shuttle Primary Flight Software System," ACM, 1984.
91 space Mattox, Russell and White, J.B., "Space Shuttle Main Enginer Controller, " NASA Technical Paper, 1981.
92 space Moulinier, P.; Faye, F.; Lair J.C.; Maliet, E., "Mars Express spacecraft: design and development solutions for affordable planetary missions," Acta Astronautica, 2002.
93 space Pasetti, A., Pree, W., "A Component Framework for Satellite On-Board Software," IEEE 1999.
94 space Price, C.E., "Fault Tolerant Avionics for the Space Shuttle," IEEE, 1991.
95 space Reichmuth, D.M.; Gage, M.L.; Paterson, E.S.; Kramer, D.D., "A Fault Tolerant 80960 Engine Controller," AIAA, 1993.
96 space Ruffa, J.A.; Castell, K.; Flatley, T.; Lin, M., "MIDEX advanced modular and distributed spacecraft avionics architecture," IEEE, 1998.
97 space Scott, S.; Sabelhaus, P., et al, "LANDSAT-7 Failure Detection and Correction," AAS, 1995.
98 space Sklaroff, J.R., "Redundancy Management Technique for Space Shuttle Computers," IBM.
99 space Spector, A.; Gifford, D., "The Space Shuttle Primary Computer System," ACM, 1984.
100 space Tai, Ann T.; Chau, Savio N.; Alkalai, Leon, “COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture,” IEEE International Symposium on High Assurance Systems Engineering, 1999.
101 space Tomayko, James E., Computers in Spaceflight: The NASA Experience
102 space Trevathan, C.E.; Taylor, T.D.; Hartenstein, R.G.; Merwarth, A.C.; and Stewart, W.N., "Development and Application of NASA's First Standard Spacecraft Computer," ACM, 1984.
103 space Underwood, C.I.; and Oldfield, M.K., "Observations on the Reliability of COTS-Device-Based Solid State Data Recorders Operating in Low-Earth Orbit"
104 space Underwood, Craig, "18 Years of Fligth Experience with the UoSAT Microsatellites"
105 space Whitcomb, G.P., "The ESA approach to low-cost planetary mission," Acta Astronautica, 2002.

Home - NASA Office of Logic Design
Last Revised: December 10, 2003
Digital Engineering Institute
Web Grunt: Richard Katz
NACA Seal