@inproceedings{ef43ab918ba8414480167a6d3253c7a2,
title = "Design and verification of Internet service automatic fault-heal system",
abstract = "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.",
keywords = "Autonomic computing, Fault-heal, Internet service",
author = "Yunchun Li and Yanshun Li and Xianlong Qin",
year = "2009",
doi = "10.1109/ICISE.2009.477",
language = "英语",
isbn = "9780769538877",
series = "2009 1st International Conference on Information Science and Engineering, ICISE 2009",
pages = "186--189",
booktitle = "2009 1st International Conference on Information Science and Engineering, ICISE 2009",
note = "1st International Conference on Information Science and Engineering, ICISE2009 ; Conference date: 26-12-2009 Through 28-12-2009",
}