17-811 Self-Healing Systems: Some Resources

David Garlan
Spring Semester 2003

A. General Resources

  1. Workshop on Self-Healing Systems Proceedings (available from ACM Digital Library.Click on Proceedings, then WOSS)
  2. IBM Systems Journal, Special Issue on Autonomic Computing.
  3. Living systems. James Grier Miller.

B. User Interfaces

Adaptive User Interfaces

  1. Hefley, W. (1993). A Paradox of Increasing Satellite Autonomy: Providing Operator Support in Stressful Conditions. In Proceedings of the AIAA Workshop on Software for Satellite Autonomy (Albuquerque, NM, June 22-25, 1993).
  2. Hefley, W. & Murray, D. (1993). Intelligent User Interfaces. In Gray, W., Hefley, W., & Murray, D. (Eds.), Proceedings of 1993 ACM/AAAI International Workshop on Intelligent User Interfaces. New York: ACM.
  3. Hefley, W. E. (1992). Apprenticeship Instruction through Adaptive Human-Computer Interfaces. In J. F. Nunamaker, Jr. (ed.), Proceedings, 25th Annual Hawaii International Conference on Systems Sciences, Vol. III: Information Systems, 229-239. Los
  4. Alamitos, CA: IEEE Computer Society Press.
  5. Hefley, W. E. (1990). Architectures for Adaptable Human-Machine Interface. In W. Karwowski & M. Rahimi (eds.), Ergonomics of Hybrid Automated Systems II, 575-585. Amsterdam: Elsevier Science Publishers.

User Modeling

  1. 9th International Conference on User Modeling (UM'03)
  2. User Modeling and User-Adapted Interaction (UMUAI)

Attentive User Interfaces

  1. CACM, March 2003, Vol 46, No 3

C. Model-Based Approaches

Architecture-based adaptation

  1. P. Oreizy, M.M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. S. Rosenblum, and A. L. Wolf. "An Architecture-Based Approach to Self-Adaptive Software," IEEE Intelligent Systems, vol. 14, no. 3, pages 54-62. May/June 1999.
  2. C. Van der Westhuizen and A. van der Hoek, "Understanding and Propagating Architectural Change."In Proceedings of the Working IEEE/IFIP Conference on Software Architecture 2002 (WICSA 3), Montreal, Canada, August 2002.
  3. S.-W. Cheng, D. Garlan, B. Schmerl, J.P. Sousa, B. Spitznagel, P. Steenkiste, and N. Hu. Software Architecture-based Adaptation for Pervasive Systems.International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing, April 2002.
  4. J. Magee and J. Kramer.Self Organizing Software Architectures.International Software Architecture Workshop, San Francisco, October 1996.
  5. M. Mikic-Rakic and N.Medvidovic. Architecture-Level Support for Software Component Deployment in Resource Constrained Environments. First International IFIP/ACM Working Conference on Component Deployment. Berlin, Germany, June 2002.
  6. B. Schmerl and D. Garlan, Exploiting Architectural Design Knowledge to Support Self-repairing Systems, 14th International Conf. on Software Engineering and Knowledge Engineering, Ischia, Italy, 2002.
  7. R.C. van Ommering, F. van der Linden, J. Kramer, J. Magee. "The Koala Component Model for Consumer Electronics Software." IEEE Computer 33(3): 78-85 (2000)
  8. Gross, P.N., Gupta, S., Kaiser, G.E., Kc, G.S., Parekh, J.J.  "An Active Events Model for Systems Monitoring."  Proceedings of the Working
    9. Conference on Complex and Dynamic System Architecture, Brisbane, Australia, Dec 2001.
  9. Bond, A., Sud, J.  "Service Composition for Enterprise Programming." Proceedings of the Working Conference on Complex and Dynamic System
    10. Architecture, Brisbane, Australia, Dec 2001.

D. Mobility, Ubiquitous Computing, OS Support

General Mobile Computing Course Reading List

  1. http://www-2.cs.cmu.edu/afs/cs/project/coda-www/mcsa02/PAPERS/READINGS.pdf
  2. http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/coda-www/mcsa02/PAPERS/

Context-Aware Computing

  1. Asim Smailagic and Daniel Siewiorek.Application Design for Wearable and Context-Aware Computers. IEEE Pervasive Computing, Vol. 1, No, 4, Dec 2002, pp. 20-29.

Coda/Chroma readings

  1. hotos.pdf : hotos paper talking about need for prism/chroma integration
  2. mobisys.pdf : mobisys paper on Chroma and Tactics
  3. mobisys-dushyanth.pdf : dushyanth's mobisys paper on multi-fidelity adaptation
  4. s17.pdf : jason's sosp paper on energy aware adaptation
  5. p85-satyanarayanan.pdf : paper on evolution of coda

Other OS

  1. Puppeteer: http://www.cs.toronto.edu/~delara/papers/usits2001/index.html

E. Alternative Models of Computation

  1. R. Nagpal, Programmable Self-Assembly using Biologically-Inspired Multiagent Control.Autonomous Agents and Multiagent Systems Conference (AAMAS), July 2002.
  2. G. Tempesti, D. Mange, A. Stauffer, Self-Replicating and Self-Repairing Multicellular Automata. Artificial Life, Vol. 4, No 3, pp. 259-282, Summer 1998.
  3. 15-883: Computational Models of Neural Systems

F. Algorithms and Code

  1. Hjalmtysson and Gray, "Dynamic C++ classes: a lightweight mechanism to update code in a running system", USENIX Technical Conference, pg 65-76, 1998
  2. H. Abelson, D. Allen, D. Coore, C. Hanson, G. Homsy, T. Knight, R. Nagpal, E. Rauch, G. Sussman and R. Weiss, Amorphous Computing. Communications of the ACM, Volume 43, Number 5, May 2001.
  3. Papers on Software Rejuvenation
  4. Software Instability: A Framework for Instability Analysis. Jennifer Bevan and E. James Whitehead, Jr. (I have on file.)
  5. Genetic algorithms:  Hidden Order: How Adaptation Builds Complexity. John H. Holland, Heather Mimnaugh. (I have in my library.)

G. Networks, Distributed Systems, and Middleware

Adaptive Network Protocols

  1. Self-stabilizing Networks http://www.pdl.cmu.edu/SDI/2003/022003.html

Distributed Systems and Adaptation

  1. J. Kramer and J. Magee, "The Evolving Philosophers Problem: Dynamic Change Management," IEEE Transactions on Software Engineering, vol. 16, no. 11.November, 1990.
  2. J. Magee, N. Dulay,S. Eisenbach and J. Kramer. Specifying distributed software architectures. In Proceedings of the Fifth European Software Engineering Conference, ESEC ’95, September 1995.
  3. I. Ben-Shaul, O. Holder, and B. Lavva. Dynamic adaptation and deployment of distributed components in Hadas. IEEE Transactions on Software Engineering, 27(9):769-787, September 2001.
  4. E. P. Kasten, P. K. McKinley, S.M. Sadjadi, and R. E. K. Stirewalt. Separating introspection and intercession in metamorphic distributed systems. In Proceedings of the IEEE Workshop on Aspect-Oriented Programming for Distributed Computing (with ICDCS'02), Vienna, Austria, July 2002.
  5. R. Birrell, R. Levin, R. Needham, and M. Schroeder. Grapevine: An exercise in distributed computing. Communications of the ACM, 25(4):260--274, 1982. (Details one of the first systems to use eventual consistency.)

Databases

  1. Y. Saito. Consistency Management in Optimistic Replication Algorithms (2001). Not refereed, but available at http://www.hpl.hp.com/personal/Yasushi_Saito/replica.pdf (A recent paper giving a good summary of the state of the art. Also contains numerous good references.)

Adaptive Middleware

  1. G. Blair, G. Coulson, and N. Davies. Adaptive middleware for mobile multimedia applications. In Proceedings of the 8th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV), pages 259-273, 1997.
  2. G.S. Blair, G. Coulson, A. Andersen, L. Blair, M. Clarke, F. Costa, H. Duran-Limon, T. Fitzpatrick, L. Johnston, R. Moreira, N. Parlavantzas, K. Saikoski, The Design and Implementation of OpenORB v2, IEEE DS Online, Special Issue on Reflective Middleware, Vol. 2, No. 6, 2001.
  3. M. Roman, F. Kon, R.H. Campbell, Reflective Middleware: From the Desk to your Hand, IEEE DS Online, Special Issue on Reflective Middleware, Vol. 2, No. 5, 2001.
  4. R. Hayton, A. Herbert, D. Donaldson, FlexiNet: A Flexible Component-oriented Middleware System, Proc. 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications, Sintra, Sept. 1998.
  5. A. Andersen, F. Eliassen, G.S. Blair, A Reflective Component-Based Middleware with Quality of Service Management, Proceedings of PROMS2000 (Protocols for Multimedia Systems), Cracow, Poland, 2000.
  6. Special issue of CACM on Adaptive Middleware.
  7. Fabio Kon, Fabio Costa, Gordon Blair, Roy H. Campbell. Adaptive middleware: The case for reflective middleware.Communications of the ACM, June 2002, Volume 45, Issue 6.
  8. Loyall, J., Schantz, R., Zinky, J., Pal, P., Shapiro, R., Rodrigues, C., Atighetchi, M., Karr, D., Gossett, J.M., Gill, C.D. Comparing and contrasting adaptive middleware support in wide-area and embedded distributed object applications. 21st International Conference on Distributed Computing Systems, April 2001,

    9. pp. 625-634.
  9. Narasimhan, P., Moser, L.E., Melliar-Smith, P.M. Strong replica consistency for fault-tolerant CORBA applications. The Sixth International Workshop on Object-Oriented Real-Time Dependable Systems, 2001, pp. 10-17.

H. Fault Tolerance and Dependability

Fault Tolerance

  1. Chapter 1 in Dan Siewiorek’s Reliability Textbook and the introduction to Part II (the system examples) of the same textbook.
  2. P. Jalote. "Fault Tolerance in Distributed Systems". Prentice-Hall. 1998.

Dependability

  1. Kooman class reading list: http://www.ece.cmu.edu/~ece749/reading.html
  2. Avizienis, J.-C. Laprie and B. Randell, Fundamental Concepts of Dependability, Research Report N01145, LAAS-CNRS, April 2001. http://citeseer.nj.nec.com/avizienis01fundamental.html
  3. J. Gray, “Why do computers stop and what can be done about it?”, in Proc. 5th Symp. on Reliability in Distributed Software and Database Systems, (Los Angeles, CA, USA), pp.3-12, IEEE Computer Society Press, January 1986.

I. Formal Models

  1. M. Wermelinger, Towards a Chemical Model for Software Architecture Reconfiguration, IEE Proceedings - Software, Vol. 145, No. 5, pp. 130-136, 1998