English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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.

A Research for Aerospace Complex Software System Runtime Fault Detection