| Self Fault-Tolerance of Protocols: A Case Study |
| |
| 作者单位： | Dept. of Computer Science & Technology, Wuhan Transportation University, 430063, P. R. China
|
| |
| 基金项目： | This project was supported by the National Natural Science Foundation of China and the Natural Science Foundation of Hubei Prov |
| |
| 摘 要： | 1. INTRODUCTIONWith the rapid developmellt of high-speed networks, multimedia communication networks andmobile computer networks, the researching issue related to communication protocol design hasattracted more extensive attention worldwide. Since communication protocols deal with thecomplex issues related to distribution such as communication, concurrency, synchronizationof multimedia and harmonization of processes, their development needs to be tackled byusing sophisticated formal method…
|
Self Fault-Tolerance of Protocols: A Case Study |
| |
| Authors: | Li Layuan Li Chunlin |
| |
| Abstract: | The prerequisite for the existing protocols' correctness is that protocols can be normally operated under the normal conditions, rather than dealing with abnormal conditions. In other words, protocols with the fault-tolerance can not be provided when some fault occurs. This paper discusses the self fault-tolerance of protocols. It describes some concepts and methods for achieving self faulttolerance of protocols. Meanwhile, it provides a case study, investigates a typical protocol that does not satisfy the self fault-tolerance, and gives a new redesign version of this existing protocol using the proposed approach. |
| |
| Keywords: | Protocols Self fault-tolerance Formal method Multimedia communications Protocol engineering |
| 本文献已被 万方数据 等数据库收录！ |
