The complexity of software systems has reached the point where we need run-time mechanisms that
can be used to provide fault management services. Testing and veri fication may not cover all possible
scenarios that a system can encounter, hence a simpler, yet formally specifi ed run-time monitoring,
diagnosis, and fault mitigation architecture is needed to increase the software system's dependability.
The approach described in this paper borrows concepts and principles from the field of `Systems Health