Error recovery in critical infrastructure systems

Proceedings - Computer Security, Dependability, and Assurance: From Needs to Solutions, CSDA 1998

Volumn 1998-November, Issue , 1998, Pages 49-71

  Knight, J C ^a   Elder, M C ^a   Du, Xing ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; ERRORS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; INFORMATION SYSTEMS; INFORMATION USE; NETWORK SECURITY; PUBLIC WORKS; RECONFIGURABLE ARCHITECTURES; RECOVERY; SECURITY SYSTEMS;

CATASTROPHIC FAULT; CRITICAL INFRASTRUCTURE SYSTEMS; DISTRIBUTED INFORMATION SYSTEMS; FAULT TOLERANT DISTRIBUTED SYSTEMS; INFRASTRUCTURE APPLICATIONS; LOCAL ERROR; RECONFIGURABLE SYSTEMS;

CRITICAL INFRASTRUCTURES;

EID: 85013873422     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSDA.1998.798357     Document Type: Conference Paper

References (49)

1. Agnew, B., C. Hofmeister, and J. Purtilo. "Planning for Change: A Reconfiguration Language for Distributed Systems" Proceedings of the 2nd International Workshop on Configurable Distributed Systems, IEEE Computer Society Press, Los Alamitos, CA, March 1992, pp. 15-22.
2. Allen, R. and D. Garlan. "Beyond Definition/Use: Architectural Interconnection, " ACM S1GPLAN Notices, Vol. 28 No. 9, August 1994, pp, 35-45.
3. Alvisi, L. and K. Marzullo. "WAFT: Support for Fault-Tolerance in Wide-Area Object Oriented Systems, " Proceedings of the 2nd Information Survivability Workshop, IEEE Computer Society Press, Los Atamitos, CA, October 1998, pp. 5-10.
4. Anderson, T, and J. Knight. "A Framework for Software Fault Tolerance in Real-Time Systems, " IEEE Transactions on Software Engineering, Vol. SE-9 No. 3, May 1983, pp. 355-364.
5. Anderson. T. and P. Lee. Fault Tolerance-Principles and Practice. Prentice Hall. Enplewood Cliffs. NJ. 1981.
6. Babaoglu, 0. and A. Schiper. "On Group Communication in Large-Scale Distributed Systems, " ACM Operating Systems Review, Vol. 29 No. 1, January 1995, pp. 62-67.
7. Bhatri, N., M. Hiltunen, R, Schlichting, and W. Chiu. "Coyote: A System for Constructing Fine-Grain Configurable Communication Services, " ACM Transactions on Computer Systems, Vol-16 No. 4, November 1998, pp. 321-366.
8. Birman, K. 'The Process Group Approach to Reliable Distributed Computing, " Communications of the ACM, Vol. 36 No. 12, December 1993, pp. 37-53 and 103.
9. Birman, K. Building Secure and Reliable Network Applications, Manning, Greenwich, CT, 1996.
10. Cowan. C. L. Delcambre, A. Le Meur, L. Liu, D. Maier, D. McNamee, M. Miller, C. Pu, P. Wagle, and J. Walpole, "Adaptation Space: Surviving Non-Maskable Failures, " Technical Report 98-013, Department of Computer Science and Engineering, Oregon Graduate Institute of Science and Technology, May 1998.
11. Cristian, F. "Understanding Fault-Tolerant Distributed Systems, " Communications of the ACM, Vol. 34 No. 2, February 1991, pp. 56-78
12. Cristian, F. and S. Mishra. "Automatic Service Availability Management in Asynchronous Distributed Systems, " Proceedings of the 2nd International Workshop on Configurable Distributed Systems, IEEE Computer Society Press, Los Alamitos, CA, March 1992, pp. 58-68.
13. Cristian, F. "Automatic Reconfiguration in the Presence of Failures, " Software Engineering Journal, Vol. 8 No. 2, March 1993, pp. 53-60.
14. Cristian, F., B. Dancey, and J. Dehn. "Fault-Toterancc in Air Traffic Control Systems " ACM Transactions on Computer Systems, Vol. 14 No. 3, August 1996, pp. 265-2S6.
15. Ellison, B., D. Fisher, R. Linger, H. Lipson, T, Longstaff, and N. Mead. "Survivable Network Systems: An Emerging Discipline" Technical Report CMU/SEI-97-TR.-013, Software Engineering Institute, Carnegie Mellon University, November 1997.
16. Garlan, D. and D. Perry. "Introduction to the Special Issue on Software Architecture, " IEEE Transactions on Software Engineering, Vol. 21 No. 4, April 1995, pp. 269-274.
17. Hofmeister, C, E. White, and J. Purtilo. "Surgeon: A Packager for Dynamically Reconfigurable Distributed Applications, " Software Engineering Journal, Vol. 8 No. 2, March 1993, pp. 95-101.
18. Hofmeister, C. "Dynamic Reconfiguration of Distributed Applications, " Ph. D, Dissertation, Technical Report CS-TR-3210, Department of Computer Science, University of Maryland, January 1994.
19. Jalote, P. Fault Tolerance in Distributed Systems. Prentice Halt, Englewood Cliffs, NJ, 1994.
20. Knight, J., M. Elder, J. Flinn, and F. Marx. "Summaries of Three Critical Infrastructure Systems, " Technical Report CS-97-27, Department of Computer Science, University of Virginia, November 1997.
21. Knight, J. and J. Urquhart. "On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems, " IEEE Transactions on Software Engineering, Vol. SE-13 No. 5, May 1987, pp. 553-563.
22. Kramer, T and J. Magee. "Dynamic Configuration for Distributed Systems, " IEEE Transactions on Software Engineering, Vol. SEl 1 No. 4, April 1985, pp. 424-436.
23. Kramer, J. and J. Magee. 'The Evolving Philosophers Problem: Dynamic Change Management" IEEE Transactions on Software Engineering, Vol. 16 No. 11, November 1990, pp. 1293-1306.
24. Laprie, J. "Dependable Computing and Fault Tolerance: Concepis and Terminology" Digest of Papers FTCS-15: 15th International Symposium on Fault-Tolerant Computing, June 1985, pp. 2-11.
25. Luckham, D., J. Kenney, L. Augustin, J. Vera, D. Bryan, and W. Mann. "Specification and Analysis of System Architecture Using Rapide, " IEEE Transactions on Software Engineering, Vol. 21 No. 4, April 1995, pp. 336-355.
26. Maffeis, S. "Electra-Making Distributed Programs Object-Oriented, " Technical Report 93-17, Department of Computer Science, University of Zurich, April 1993.
27. Maffeis, S. "Piranha: A CORBA Tool For High Availability, " IEEE Computer, Vol. 30 No. 4, April 1997, pp. 59-66.
28. Magee, J., N. Dulay, and J. Kramer. "Structuring Parallel and Distributed Programs, " Software Engineering Journal, Vol, 8 No, 2, March 1993) pp. 73-82.
29. Magee, J., N. Dulay, and J. Kramer. "A Constructive Development Environment for Parallel and Distributed Programs, " Distributed Systems Engineering Journal, Vol, I No, 5, September 1994, pp. 304-312.
30. Magee, J, N, Dulay, S, Eisenbach, and J. Kramer. "Specifying Distributed Software Architectures, " Lecture Notes in Computer Science, Vol. 989, September 1995, pp. 137-153.
31. Magee, J. and J. Kramer. "Darwin: An Architectural Description Language, " http://www-dse. doc. ic. ac. uk/research/darwin/darwin. html, 1998.
32. Melliar-Smilh, P. and L. Moser. "Surviving Network Partitioning, " IEEE Computer, Vol. 31 No. 3, March 1998, pp. 62-68.
33. Moriconi, M. and X. Qian. "Correctness and Composition of Software Architectures, " ACM SJGSOFT Software Engineering Notes, Vol. 19 No. 5N December 1994, pp. 164-174.
34. Office of the Undersecretary of Defense for Acquisition and Technology. "Report of the Defense Science Board Task Force on Information Warfare-Defense {IW-D), " November 1996.
35. President's Commission on Critical Infrastructure Protection. "Critical Foundations; Protecting America's Infrastructures The Report of the President's Commission on Critical Infrastructure Protection, " United States Government Printing Office (GPO), No. 040 00000699-1, October 1997.
36. Purtilo, J. 'The POLYL1TH Software Bus, " ACM Transactions on Programming Languages and Systems, Vol. 16 No. I. January 1994, pp. 151-174
37. Purtilo, J. and P. Jalote. "An Environment for Developing Fault-Tolerant Software " IEEE Transactions on Software Engineering, Vol. 17 No. 2, February 1991, pp. 153-159.
38. Reiter, M., K. Birman, and L. Gong. "Integrating Security in a Group Oriented Distributed System, " Proceedings of the 1992 IEEE Symposium on Research in Security and Privacy, IEEE Computer Society Press, Los Alamitos, CA, May 1992, pp. 18-32.
39. Reiier, M., K. Birman, and R. van Rencsse. "A Security Architecture for Fault-Toterant Systems, '' ACM Transactions on Computer Systems, Vol 12 No. 4, November 1994, pp. 340-371.
40. Rodeh, O., K. Birman, M. Hayden. Z. Xiao, and D. Dolev. "Ensemble Security. " Technical Report TR98-1703, Department of Computer Science, Come] University, September 1998.
41. Shaw, M., R. DeLine, D. Klein, T, Ross, D. Young, andG. Zelcsnik. "Abstractions for Software Architecture and Tools to Support Them, " IEEE Transactions on Software Engineering. Vol 21 No. 4, April 1995, pp. 314-335.
42. Shrivastava, S., C, Dixon, G-Parrington, "An Overview of the Arjuna Distributed Programming System, " IEEE Software, Vol. 8 No. 1, January 1991. pp. 66-73.
43. Shrivastava, S. and D. McCue. "Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment, " IEEE Transactions on Parallel and Distributed Systems, Vol. 5 No. 4, April 1994, pp. 421432.
44. Sullivan, K, J, Knight, J. McHugh, X. Du, and S. Geist. "A Framework for Experimental Systems Research in Distributed Survivability Architectures, " Technical Report CS-98-3&, Department of Computer Science, University of Virginia, December 1998.
45. Sullivan, IC, J. Knight, X. Du, and S. Geist. "Information Survivability Control Systems, " Proceedings of the 21st International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, May 1999, pp. 184-192.
46. Summers, B. The Favment System: Design. Management, and. Supervision. International Monetary Fund, Washington, DC, 1994.
47. van Rencsse, R., K. Birman, and S. Maffeis. "Horus: A Flexible Group Communications System, " Communications of the ACM, Vol. 39 No. 4, April 1996, pp. 76-83.
48. van Renesse, R., K. Birman, M. Haydert, A, Vaysburd, and D. Karr. "Building Adaptive Systems Using Ensemble, " Technical Report TR97-1638, Department of Computer Science, Cornell University, July 1997.
49. Welch, D. "Building Self-Reconfiguring Distributed Systems using Compensating Reconfiguration, " Proceedings of the 4th International Conference on Configurable Distributed Systems, IEEE Computer Society Press, Los Alamitos, CA, May 1998.