A Framework For System-level Error Recovery Modelling

System-level dependability modeling requires a careful balance between detailed modeling of critical aspects of system behavior and abstract modeling to achieve tractability. A complex, detailed model requiring excessive resources for model construction and solution may be elegant, but provides limited utility to system designers. High-level abstract models that are easy to specify and solve can provide a quick means to evaluate tradeoffs during the design process, but if they ignore critical information, the designers may make inappropriate design decisions. A framework for providing a system-level abstraction of the behavior of hardware and software faults and errors is proposed.