Distributed reconfigurable avionics architectures

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2004, Pages

  Strunk, Elisabeth A ^a   Knight, John C ^a   Aielld, M Anthony ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATED MODULAR ARCHITECTURE (IMA); LINE REPLACEABLE UNITS (LRU); PORTING SOFTWARE; STATIC ANALYSIS;

ACCIDENT PREVENTION; COMPUTER HARDWARE; FAILURE ANALYSIS; FLIGHT DYNAMICS; LARGE SCALE SYSTEMS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

AVIONICS;

EID: 16244417759     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Driscoll, K., B. Hall, H. Sivencrona, P. Zumsteg, September 2003, "Byzantine Fault Tolerance, from Theory to Reality," in Proc. International Conference on Computer Safety, Reliability, and Security, Edinburgh, UK.
2. Yeh, Y. C., February 1996, "Triple-Triple Redundant 777 Primary Flight Computer," in Proc. 1996 IEEE Aerospace Applications Conference, v. 1, New York, N.Y.
3. Sha, L., July/August 2001, "Using Simplicity to Control Complexity," IEEE Software 18(4):20-28.
4. Brower, R. W., 2001, "Lockheed F-22 Raptor," in The Avionics Handbook, C. Spitzer, ed., Boca Raton, FL, CRC Press, pp. 32-1 - 32-11.
5. Moore, J., 2001, "Advanced Distributed Architectures," in The Avionics Handbook, C. Spitzer, ed., Boca Raton, FL, CRC Press, pp. 33-1 - 33-13.
6. See www.aadl.info
7. Strunk, E. A., J. C. Knight, July 2004, "Assured Reconfiguration of Embedded Real-Time Software," Proc. 2004 International Conference on Dependable Systems and Networks (DSN), Florence, Italy.
8. Schlichting, R. D., F. B. Schneider, August 1983, "Fail-stop processors: An approach to designing fault-tolerant computing systems," ACM Transactions on Computing Systems 1(3):222-238.
9. Knight, J. C., E. A. Strunk, 2004, "Achieving Critical System Survivability through Software Architectures," in Architecting Dependable Systems II, de Lemos, Gacek, and Romanovsky, eds., Springer-Verlag.