[1] |
Driscoll, K.; Hall, B.; Paulitsch, M.; Zumsteg, P.; and Sivencrona, H.: The
Real Byzantine Generals.Proceedings of the Digital Avionics Systems
Conference , 2004, pp. 61-71.
|
[2] |
Bergin, C.: Faulty MDM removed. May 18 2008.
URL http://www.nasaspaceflight.com/2008/05/sts-124-frr-debate-outstanding-issues-faulty-mdm-removed.
|
[3] |
Bergin, C.: STS-126: Super smooth endeavor easing through the countdown. NASA
Spaceflight.com, November 13 2008.
URL http://www.nasaspaceflight.com/2008/11/sts-126-endeavour-easing-through-countdown.
|
[4] |
Kopetz, H.; and Grünsteidl, G.: TTP-A time triggered protocol for
automotive applications, Inst. für Technische Informatik, Technische
Universit, 1992.
|
[5] |
Gruenbacher, H.: Fault Injection for TTA. Deliverable 5.1-5.5 Combined Report
IST 1999 10748, Carinthia Tech Institute, 2002.
URL http://www3.cti.ac.at/fit/.
|
[6] |
Sivencrona, H.; Johannessen, P.; Persson, M.; and Torin, J.: Heavy-ion Fault
Injection in the Time-triggered Communication Protocol. Proc. 1st Latin
American Symposium on Dependable Computing LNCS 2847 , 2003, pp. pp.
69-80.
|
[7] |
Pfeifer, H.; Schwier, D.; and von Henke, F. W.: Formal Verification for Time
Triggered Clock Synchronization. Proc. 7th IFIP International Working
Conference on Dependable Computing for Critical Applications , 1999.
|
[8] |
Ademaj, A.: Slightly-Off-Specification Failures in the Time Triggered
Architecture. 7th IEEE Int. Workshop on High Level Design Validation and
Test , 2002.
|
[9] |
Osder, S.: Chronological overview of past avionic flight control system
reliability in military and commercial operations. AGARD-AG-224 ,
P. R. Kurzhals, ed., NATO Research and Technology Organisation, vol. 224, Jan
1977, pp. 2-1-2-17. Available from NTIS HC A16/MF A01.
|
[10] |
Osder, S.: Generic Faults and Architecture Deisgn Considerations in Flight
Critical Systems. AIAA Journal Of Guidance, vol. 6, no. 2,
March-April 1983, pp. 65-71.
|