Model Based Byzantine Fault Detection Technique for Cloud Computing

Cloud computing has attracted much interest recently from both industry and academic. More and more Internet applications are moving to the cloud environment. However, fault detection technique in cloud application is a crucial issue. This issue is especially difficult since cloud computing relies by nature on a highly dynamic environment. In this paper, we propose a model based Byzantine fault detection technique for cloud computing. A cloud computing fault net (CFN) is used to precisely model the different components of cloud computing, such as service resources, cloud module, the detection and failure process, etc, the basic properties of the constructed model are analyzed. Based on this, the fault detection strategy is proposed, which can dynamically detect the fault of cloud application in the execution process. The operational semantics and related theories of Petri nets help prove its effectiveness and correctness. An example is used to simulate the modeling and analyzing process, and a series of experiments are done to explain the effectiveness of proposed method.