Achieving critical system survivability through software architectures

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

Volumn 3069, Issue , 2004, Pages 51-78

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

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

APPLICATION AREA; ASSURANCE TECHNOLOGY; CRITICAL SERVICE; CRITICAL SYSTEMS; SOFTWARE FAILURE; SOFTWARE INTENSIVE SYSTEMS; SYSTEM DAMAGE; SYSTEM DESIGNERS;

COMPUTER ARCHITECTURE;

EID: 35048863443     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (54)

1. Alvisi, L. and K. Marzullo. "WAFT: Support for Fault-Tolerance in Wide-Area Object Oriented Systems." Proc. 2nd Information Survivability Workshop, IEEE Computer Society Press, Los Alamitos, CA, October 1998.
2. Anderson, T., and R. W. Witty. "Safe programming." BIT 18:1-8, 1978.
3. Appel, A. "Foundational Proof-Carrying Code." IEEE Symposium on Logic in Computer Science, Boston MA, 2001
4. Avizienis, A., J. Laprie, and B. Randell. "Fundamental Concepts of Computer System Dependability." IARP/IEEE-RAS Workshop on Robot Dependability: Technological Challenge of Dependable Robots in Human Environments, Seoul, Korea, May 2001.
5. Babaoglu, O. and A. Schiper. "On Group Communication in Large-Scale Distributed Systems." ACM Operating Systems Review 29(1):62-67, January 1995.
6. Backes, M. and C. Cachin. "Reliable Broadcast In A Computational Hybrid Model With Byzantine Faults, Crashes, And Recoveries" International Conference on Dependable Systems and Networks, San Francisco CA, June 2003
7. Birman, K. "The Process Group Approach to Reliable Distributed Computing." Communications of the ACM, 36(12):37-53 and 103, December 1993.
8. Burns, A., and A. J. Wellings. "Safety Kernels: Specification and Implementation." High Integrity Systems 1(3):287-300, 1995.
9. Carzaniga, A., D. Rosenblum, and A. Wolf. "Achieving Scalability and Expressiveness in an Internet-scale Event Notification Service." Symposium on Principles of Distributed Computing, 2000.
10. Cristian, F. "Understanding Fault-Tolerant Distributed Systems." Communications of the ACM 34(2):56-78, February 1991.
11. Deswarte, Y., N. Abghour, V. Nicomette, D. Powell. "An Intrusion-Tolerant Authorization Scheme for Internet Applications." Sup. to Proc. 2002 International Conference on Dependable Systems and Networks, Washington, D.C. June 2002.
12. Deutsch, M. S., and R. R. Willis. Software Quality Engineering: A Total Technical and Management Approach. Englewood Cliffs, NJ: Prentice-Hall, 1988.
13. 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.
14. Federal Aviation Administration Advisory Circular 25.1309-1A, "System Design and Analysis."
15. Fraser, T., L. Badger, and M. Feldman. "Hardening COTS Software with Generic Software Wrappers." in OASIS: Foundations of Intrusion Tolerant Systems (J. Lala Ed.), IEEE Computer Society Press, 2003.
16. Gartner, Felix C. "Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments." A CM Computing Surveys 31(1):1-26, March 1999.
17. Jalote, P. Fault Tolerance in Distributed Systems. Prentice Hall:Englewood Cliffs, NJ, 1994.
18. Knight, J., M. Elder, J. Flinn, and P. Marx. "Summaries of Four Critical Infrastructure Systems." Technical Report CS-97-27, Department of Computer Science, University of Virginia, November 1997.
19. Knight, J. C., D. Heimbigner, A. Wolf, A. Carzaniga, J. Hill, P. Devanbu, and M. Gertz. "The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications." Intrusion Tolerance Workshop, The International Conference on Dependable Systems and Networks, Washington, DC, June 2002.
20. Knight, J. C., E. A. Strunk and K. J. Sullivan. "Towards a Rigorous Definition of Information System Survivability." DISCEX 2003, Washington, DC, April 2003.
21. Lala, J. "Foundations of Intrusion Tolerant Systems." IEEE Computer Society Press, Catalog # PR02057, 2003.
22. Leveson, N., T. Shimeall, J. Stolzy and J. Thomas. "Design for Safe Software." AIAA Space Sciences Meeting, Reno, Nevada, 1983.
23. Magee, J., N. Dulay and J. Kramer. "Structuring Parallel and Distributed Programs." Software Engineering Journal, 8(2):73-82, March 1993.
24. Magee, J., and J. Kramer. "Darwin: An Architectural Description Language." http://www-dse.doc.ic.ac.uk/research/darwin/darwin.html, 1998.
25. Melliar-Smith, P., and L. Moser. "Surviving Network Partitioning." IEEE Computer 31(3):62-68, March 1998.
26. Myers, J.F. "On Evaluating The Performability Of Degradable Computing Systems." IEEE Transactions on Computers 29(8):720-731, August 1980.
27. Myers, J.F., and W.H. Sanders. "Specification And Construction Of Performability Models." Proc. Second International Workshop on Performability Modeling of Computer and Communication Systems, Mont Saint-Michel, France, June 1993.
28. Nace, W., and P. Koopman. "A Product Family Based Approach to Graceful Degradation." DIPES 2000, Paderborn, Germany, October 2000.
29. Peters, D. K., and D. L. Parnas. "Requirements-based Monitors for Real-time Systems." IEEE Trans. on Software Engineering 28(2):146-158, Feb. 2002.
30. Powell, D. and R. Stroud (Eds). "Conceptual Model and Architecture of MAFTIA." http://www.newcastle.research.ec.org/maftia/deliverables/D21.pdf
31. Ramasamy, H., P. Pandey, J. Lyons, M. Cukier, and W. Sanders. "Quantifying the Cost of Providing Intrusion Tolerance in Group Communications." in OASIS: Foundations of Intrusion Tolerant Systems (J. Lala Ed.), IEEE Computer Society Press, 2003.
32. Reynolds, J., J. Just, E. Lawson, L. Clough, R. Maglich, and K. Levitt. "The Design and Implementation of an Intrusion Tolerant System." in OASIS: Foundations of Intrusion Tolerant Systems (J. Lala Ed.), IEEE Computer Society Press, 2003.
33. Rowanhill, Jonathan C., Philip E. Varner and John C. Knight. "Efficient Hierarchic Management For Reconfiguration of Networked Information Systems." The International Conference on Dependable Systems and Networks (DSN-2004), Florence, Italy, June 2004.
34. Rushby, J. "Kernels for Safety?" Safe and Secure Computing Systems, T. Anderson Ed., Blackwell Scientific Publications, 1989.
35. Sames, D., B. Matt, B. Niebuhr, G. Tally, B. Whitmore, and D. Bakken. "Developing a Heterogeneous Intrusion Tolerant CORBA Systems." in OASIS: Foundations of Intrusion Tolerant Systems (J. Lala Ed.), IEEE Computer Society Press, 2003.
36. Scandariato, Riccardo and John C. Knight. "An Automated Defense System to Counter Internet Worms." Technical Report CS-2004-12, Department of Computer Science, University of Virginia, March 2004.
37. 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.
38. Sha, L. "Using Simplicity to Control Complexity." IEEE Software 18(4):20-28, 2001.
39. Sha, L., R. Rajkumar and M. Gagliardi. "A Software Architecture for Dependable and Evolvable Industrial Computing Systems." Technical Report CMU/SEI-95-TR-005, Software Engineering Institute, Carnegie Mellon University, 1995.
40. 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, Guadelajara, Mexico, January 2003.
41. Storey, N. Safety-Critical Computer Systems. Prentice Hall: Harlow, U.K., 1996.
42. Strunk, E. The Role of Natural Language in a Software Product. M.S. Thesis, University of Virginia Dept. of Computer Science, May 2002.
43. Strunk, E. A., and J. C. Knight. "Assured Reconfiguration of Embedded Real-Time Software." The International Conference on Dependable Systems and Networks (DSN-2004), Florence, Italy, June 2004.
44. Strunk, J., G. Goodson, M. Scheinholz, C. Soules and G Ganger. "Self Securing Storage: Protecting Data in Compromised Systems." in OASIS: Foundations of Intrusion Tolerant Systems (J. Lala Ed.), IEEE Computer Society Press, 2003.
45. Sullivan, K., J. Knight, X. Du, and S. Geist. "Information Survivability Control Systems." Proc. 21st International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, May 1999.
46. U.S. Department of Commerce, National Telecommunications and Information Administration, Institute for Telecommunications Services, Federal Std. 1037C.
47. Valetta, G. and G. Kaiser. "Using Process Technology to Control and Coordinate Software Adaptation." 25th International Conference on Software Engineering. Portland, Or. May, 2003.
48. van Renesse, R., K. Birman, and S. Maffeis. "Horus: A Flexible Group Communications System." Comm. of the ACM 39(4):76-83, April 1996.
49. van Renesse, R., K. Birman, M. Hayden, A. Vaysburd, and D. Karr. "Building Adaptive Systems Using Ensemble." Technical Report TR97-1638, Department of Computer Science, Cornell University, July 1997.
50. Van Renesse, R., K. Birman and W. Vogels. "Astrolabe: A Robust and Scalable Technology for Distributed System Monitoring, Management, and Data Mining." ACM Transactions on Computer Systems, Vol. 21, No. 2, pp. 164-206, May 2003.
51. Veríssimo, P., Neves, N.F., and Correia, M. "Intrusion-Tolerant Architectures: Concepts and Design (extended)." Technical Report DI/FCUL TR03-5, Department of Computer Science, University of Lisboa, 2003
52. Wang, F., F. Jou, F. Gong, C. Sargor, K. Goseva-Popstojanova, and K. Trivedi. "SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services." in OASIS: Foundations of Intrusion Tolerant Systems (J. Lala Ed.), IEEE Computer Society Press, 2003.
53. Wika, K.J., and J.C. Knight. "On The Enforcement of Software Safety Policies." Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS), Gaithersburg, MD, 1995.
54. Zhou, L., F. Schneider and R. Renesse. "COCA: A Secure Distributed Online Certification Authority." in OASIS: Foundations of Intrusion Tolerant Systems (J. Lala Ed.), IEEE Computer Society Press, 2003.