Design and Verification of Internet Service Automatic Fault-Heal System

Based on the current situation of Internet service management, we put forward an Internet service automatic fault-heal system. Combined with autonomic computing and services probes components, we put forward organization model and autonomic computing model of the system. Simultaneously, with the use of timed automata and UPPAAL - a model checking tool for timed automatons, we modeled the system and simulated it. Then we made a detailed description and analysis of each component of this model. Finally, combined with the verifier of UPPAAL and the TCTL formula, we verified the deadlock, safety and feasibility of the system.