Title: Modelling software fault management with runtime verification

Authors: Xingjun Zhang; Yan Yang; Endong Wang; Ilsun You; Xiaoshe Dong

Addresses: Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China ' Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China ' Inspur (Beijing) Electronic Information Industry Co. Ltd., Beijing 100085, China ' Department of Information Security Engineering, Soon Chun Hyang University, 22 Soonchunhyangro, Asan-si, Chungnam-do, 336-745, Republic of Korea ' Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China

Abstract: To achieve the software fault tolerance at runtime, based on runtime verification techniques, this paper proposes a runtime model of running program, which is used to define the actions and constrains for runtime software fault management. This model contains the descriptions of event, path, scope and adjustment. A runtime fault management system prototype, which mainly includes the rule description, event acquisition, fault diagnosis and handling, is implemented to verify the model. Two test cases are used to estimate the effect of the prototype, and the results show that this method can handle faults successfully at runtime.

Keywords: software fault tolerance; runtime verification; runtime modelling; software fault management; software faults; software errors; rule description; event acquisition; fault diagnosis; fault handling.

DOI: 10.1504/IJAHUC.2015.071660

International Journal of Ad Hoc and Ubiquitous Computing, 2015 Vol.20 No.1, pp.26 - 38

Received: 30 Aug 2013
Accepted: 21 Oct 2013

Published online: 14 Sep 2015 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article