Assured reconfiguration of embedded real-time software

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2004, Pages 367-376

  Strunk, Elisabeth A ^a   Knight, John C ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; REAL TIME SYSTEMS; SPECIFICATIONS; SYSTEMS ANALYSIS; USER INTERFACES;

APPLICATION-LEVEL PROPERTIES; EMBEDDED REAL-TIME SOFTWARE; HARDWARE COMPONENTS; SAFETY-CRITICAL SYSTEMS;

EMBEDDED SYSTEMS;

EID: 4544274908     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dsn.2004.1311906     Document Type: Conference Paper

References (16)

1. Andersen, T., and R. W. Witty. "Safe programming." BIT, 18:1-8, 1978.
2. Bateman, A., D. Ward, and J. Monaco. "Stability Analysis for Reconfigurable Systems with Actuator Saturation." Proc. American Control Conf., Anchorage, AK, May 8-10, 2002.
3. Cailliau, D., and R. Bellenger. "The Corot Instruments Software: Towards Intrinsically Reconfigurable Real-time Embedded Processing Software in Space-borne Instruments." Proc. 4th IEEE International Symposium on High-Assurance Systems Engineering, Nov. 1999.
4. Green, D.F. Jr. "Runway Safety Monitor Algorithm for Runway Incursion Detection and Alerting." NASA/CR-2002-211416, National Aeronautics and Space Administration, January 2002.
5. Jahanian, F., and A.K. Mok. "Safety Analysis of Timing Properties in Real-Time Systems." IEEE Trans. on Software Engineering, 12(9):890-904.
6. Karsai G., A. Ledeczi, J. Sztipanovits, G Peceli, G. Simon, and T. Kovacshazy. "An Approach to Self-Adaptive Software based on Supervisory Control." Self-Adaptive Software, Lecture Notes in Computer Science, 2002.
7. Lions, J. "Ariane V Flight 501 Failure: Report by the Inquiry Board." http://ravel.esrin.esa.it/docs/esa-x-1819eng.pdf.
8. Neema S., T. Bapty, and J. Scott. "Adaptive Computing and Run-time Reconfiguration." Proc. Military Applications of Programmable Logic Devices, Laurel, MD, September 1999.
9. Seeling, K. "Reconfiguration in an Integrated Avionics Design." 15th AIAA/IEEE Digital Avionics Systems Conference, Oct. 1996.
10. Sha, Lui. "Using Simplicity to Control Complexity." IEEE Software 18(4):20-28.
11. Schlichting, R. D., and F. B. Schneider. "Fail-stop processors: An approach to designing fault-tolerant computing systems." ACM Transactions on Computing Systems 1(3):222-238.
12. Shelton, C., P. Koopman, and W. Nace. "A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems." Eighth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadelajara, Mexico, Jan. 2003.
13. Stewart, D.B., and G. Arora. "Dynamically Reconfigurable Embedded Software-Does It Make Sense?" Proc. Second IEEE International Conference on Engineering of Complex Computer Systems, Oct. 1996.
14. Strunk, E. A., and J. C. Knight. "Functionality/Dependability Co-design in Real-Time Embedded Software." Workshop on Co-design for Embedded Real-time Systems, July 2003.
15. Wika, K.G. and J.C. Knight. "On the Enforcement of Software Safety Policies." 10th Annual IEEE Conf. on Computer Assurance (COMPASS '95), June 1995.
16. Yeh, Y. C. "Triple-Triple Redundant 777 Primary Flight Computer." Proc. 1996 IEEE Aerospace Applications Conference, vol. 1, New York, N.Y., February 1996.