Int J Performability Eng ›› 2017, Vol. 13 ›› Issue (7): 1057-1062.doi: 10.23940/ijpe.17.07.p7.10571062

• Original articles • Previous Articles     Next Articles

A Research for Aerospace Complex Software System Runtime Fault Detection

Chenjing Yan*, Wei Zhang, Xiaochuan Jing, Hui Ge, and Xiaoyin Wang   

  1. China Aerospace Academy of Systems Science and Engineering, Beijing and 100000, China

Abstract: Aerospace complex software system is the keypoint of aerospace industry informatization. The complexity and scale of aerospace complex software system is growing with the increase of system requirements. Therefore, the possibility of runtime failures is also increasing. The runtime failures may lead to some serious problems of the aerospace software system and may cause great damage. To reduce the loss of software failures and to ensure the normal operation of aerospace complex software system, this paper focuses on runtime fault detection based on runtime verification. Runtime verification aims to monitor a running system and check whether executions of the monitored system satisfies or violates a given correctness property. This paper proposes a method to realize runtime fault detection and solve the runtime failure problem.


Submitted on July 25, 2017; Revised on August 30, 2017; Accepted on September 15, 2017
References: 14