A Research for Aerospace Complex Software System Runtime Fault Detection

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.