Upgrading embedded software in the field: Dependability and survivability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2491, Issue , 2002, Pages 166-181

  Sha, Lui ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; LIFE CYCLE;

COMMUNICATION AND CONTROL; EMBEDDED CONTROL SYSTEMS; LONG LIFE CYCLES; PHYSICAL ENVIRONMENTS; SOFTWARE UPGRADES;

PROGRAM DEBUGGING;

EID: 84883102608     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45828-x_13     Document Type: Conference Paper

References (14)

1. Lim, S., Lee, K., and Sha, L., “Ensuring Integrity and Service Availability in a Web Based Control Laboratory,” Journal of Parallel and Distributed System, Special Issue on Security in Mission Critical Real-time Systems, Accepted for publications.
2. Software Fault Tolerance, edited by Michael Lyu, John Willey & Sons, 1999.
3. Mareczek, J., Buss, M., and Spong, M.W., “Invariance Control for a Class of Cascade Nonlinear Systems,” IEEE Trans. Automatic Control, to appear.
4. Mareczek, J., Buss, M., and Spong, M.W., “Invariance Control for Non-Cascade Nonlinear Systems,” 2001 American Control Conference, Arlington, VA, May 2001.
5. Sha, L., “Using Simplicity to Control Complexity,” IEEE Software, July/August, 2001.
6. Sha L., Rajkumar, R., Sathaye, S., “Generalized Rate Monotonic Scheduling Theory: A Framework for Developing Real-Time Systems”, Proceedings of the IEEE, Vol. 82 No. 1, pp. 68-82, January 1994. (Invited paper)
7. Sha, L., “Dependable System Upgrades”, Proceedings of IEEE Real Time System Symposium, 1998.
8. Spong, M.W., “Communication Delay and Control in Telerobotics,” Journal of the Japan Robotics
9. Rajkumar, R., Gagliardi, M., Sha, L., "The Real-Time Publisher/Subscriber Inter-Process Communication Model for Distributed Real-Time Systems: Design and Implementation", Proceedings of the First IEEE Real-time Technology and Applications Symposium, pp. 66-75, May 1995.
10. Cliff Mercer, Ragunathan Rajkumar, and Jim Zelenka, "Temporal Protection in Real-Time Operating Systems". In Proceedings of the 11th IEEE Workshop on Real-Time Operating Systems and Software, May 1994.
11. Boyd, S., Ghaoul, L. E., Feron, E., and Balakrishnan, V., “Linear Matrix Inequality in Systems and Control Theory”, SIAM Studies in Applied Mathematics. 1994.
12. Leveson, N. G., “Safeware: System Safety and Computers”, Addison Wesley, Sept. 1994.
13. Yeh, Y. C. (Bob), “Dependability of the 777 Primary Flight Control System”, the Proceedings of DCCA Conference, 1995.
14. Hashii, B., Lal, M., Pandey, R., and Samorodin, S., “Securing Systems Against External Programs,” IEEE Internet Computing, 2(6):35-45, Nov-Dec 1998.