Self-stabilization is a system property that implies the system convergence to the desired behavior from every possible system state. Self-stabilizing monitoring layer implies automatic recovery of a monitored system and enables automatic recovery of systems. In the first part of the book we suggest monitoring the safety and liveness properties of black box software packages by recording its IO trace. The monitoring layer continuesly analyzes the trace to identify the properties violations and executes appropriate recovery actions upon violation. In the second part of the book we present...