Analysing software failure using runtime verification and LTL

TL;DR

This paper proposes a runtime verification method using LTL to detect four types of component-level errors in self-healing software systems, demonstrated through simulation on mRUBIS.

Contribution

It introduces a novel runtime verification approach employing LTL for fault diagnosis in self-healing systems, enhancing failure detection accuracy.

Findings

Effective detection of four error types

Demonstrated efficiency on mRUBIS simulation

Supports autonomous fault recovery

Abstract

A self-healing software system is an advanced computer program or system designed to detect, diagnose, and automatically recover from faults or errors without human intervention. These systems are typically employed in mission-critical applications where downtime can have significant financial or operational consequences. Failure detection is one of the important steps in the self-healing system. In this research, a method using runtime verification is proposed to diagnose four types of errors at the component level. The simulation on mRUBIS shows that the suggested method has the necessary efficiency in detecting the occurrence of failures.