Modelling software fault management with runtime verification. (2015)

• Record Type: Journal Article
• Authors: Zhang, Xingjun; Yang, Yan; Wang, Endong; You, Ilsun; Dong, Xiaoshe
• Is Part Of: International journal of ad hoc and ubiquitous computing. Volume 20:Number 1(2015)
• Page Start: 26
• Page End: 38
• Publication Date: 2015
• Subjects: software fault tolerance -- runtime verification -- runtime modelling -- software fault management -- software faults -- software errors -- rule description -- event acquisition -- fault diagnosis -- fault handling; Ubiquitous computing -- Periodicals; Embedded computer systems -- Periodicals; Electronic data processing -- Distributed processing -- Periodicals; Wireless communication systems -- Periodicals; Computer architecture -- Periodicals; 004.2
• Languages: English
• ISSNs: 1743-8225

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.