Invited Talk: Rainbow: Engineering Support for Self-Healing Systems

An increasingly important requirement of modern software-based systems is continuous operation even in the face of environmental changes, shifting user requirements, and unanticipated faults. One approach to address this requirement is to make systems self-adaptive: when problems are detected the system "heals" itself. In this talk I describe the Rainbow System, which allows engineers to add self-healing capabilities to existing systems. The key ideas behind Rainbow are (a) the use of architectural models; (b) a new language for specifying self-healing strategies; and (c) the ability to customize the self-healing mechanisms to the domain.