17-811 Self-Healing Systems: Topics

General

• Control Theory
• Fault tolerance
• Immunology
• Autonomic Computing

User Interfaces

•  User Modeling
•  Learning by watching
•  Intelligent tutoring systems
•  Intelligent user interfaces; Attentive User Interfaces

Model-based Approaches

• Architecture-based Adaptation
• Rainbow-like approaches

Mobility, Ubiquitous Computing, OS Support

• Task-oriented computing
• Context-aware computing
• Resource-aware computing (including energy-aware, adaptive resource assignment, etc.)
• Agent-based systems

Alternative Models of Computation

•  Biological Models: Santa Fe Institute
• AI approaches, including Neural Nets
• Amorphous Computing
• Multicellular Automata

Algorithms and Code

• Self-stabilizing algorithms
• Hot swapping
• Safe mobile code

Networks, Distributed Systems, and Middleware

•  Adaptive middleware
•  Adaptive network protocols
•  Chroma and other CMU OS work
•  Multi-fidelity systems

Fault Tolerance and Dependability

• Classical techinques

Formal Models

• Coordination Languages
• Formal reasoning about mobile systems