Assured reconfiguration of fail-stop systems

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2005, Pages 2-11

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

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAIL-STOP SYSTEMS; HARDWARE DEPENDABILITY; HARDWARE FAULTS; HYPOTHETICAL AVIONICS SYSTEM;

AVIONICS; COMPUTER SOFTWARE; HARDWARE; MATHEMATICAL MODELS; PROGRAM PROCESSORS; UNMANNED VEHICLES;

COMPUTER SYSTEM RECOVERY;

EID: 27544492863     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2005.22     Document Type: Conference Paper

References (12)

1. ARINC Inc. "Avionics Application Software Standard Interface." ARINC Spec. 653, Baltimore, MD, 1997.
2. Garlan, D., S. Cheng, and B. Schmerl. "Increasing System Dependability through Architecture-based Self-repair." Architecting Dependable Systems, R. de Lemos, C. Gacek, A. Romanovsky (Eds), Springer-Verlag, 2003.
3. Jahanian, F., and A.K. Mok. "Safety Analysis of Timing Properties in Real-Time Systems." IEEE Trans, on Software Engineering, 12(9):890-904.
4. Knight, J. C., E. A. Strunk and K. J. Sullivan. "Towards a Rigorous Definition of Information System Survivability." Proc. 3rd DARPA Information Survivability Conf. and Exposition, Washington, D.C., April 2003.
5. Kopetz, H., and G Bauer, "The Time-Triggered Architecture." Proc. IEEE, 91(1):112-126, Jan. 2003.
6. Porcarelli, S., M. Castaldi, F. Di Giandomenico, A. Bondavalli, and P. Inverardi. "A framework for reconfiguration-based fault-tolerance in distributed systems." Architecting Dependable Systems II, R. De Lemos, C. Gacek, and A. Romanovsky (Eds), Springer-Verlag, 2004.
7. Sha, L. "Using Simplicity to Control Complexity." IEEE Software 18(4):20-28.
8. Schlichting, R. D., and F. B. Schneider. "Fail-stop processors: An approach to designing fault-tolerant computing systems." ACM Trans. Computing Systems 1(3):222-238.
9. Shelton, C., and P. Koopman. "Improving System Dependability with Functional Alternatives." Proc. 2004 Int'1 Conf. Dependable Systems and Networks, Florence, Italy, June 2004.
10. Strunk, E. A., and J. C. Knight. "Assured Reconfiguration of Embedded Real-Time Software." Proc. Int'l Conf. Dependable Systems and Networks, Florence, Italy, June 2004.
11. Strunk, E. A., J. C. Knight, and M. A. Aiello. "Distributed Reconfigurable Avionics Architectures." Proc. 23rd Digital Avionics Systems Conference, Salt Lake City, UT, Oct. 2004.
12. Yeh, Y. C. "Triple-Triple Redundant 777 Primary Flight Computer." Proc. 1996 IEEE Aerospace Applications Conference, vol. 1, New York, N. Y., February 1996.