Reliability of Module Based Software System

TL;DR

This paper derives a Markovian model-based expression for the reliability of module-based software systems, accounting for benign and catastrophic failures, especially useful for self-detecting control software.

Contribution

It introduces a novel reliability expression for modular software systems considering different failure types using Markov models.

Findings

Reliability expression applicable to control software with self-error detection.

Inclusion of both benign and catastrophic failures in reliability modeling.

Model provides a basis for assessing system dependability in modular software.

Abstract

This paper consider the problem of determining the reliability of a software system which can be decomposed in a number of modules. We have derived the expression of the reliability of a system using the Markovian model for the transfer of control between modules in order. We have given the expression of reliability by considering both benign and catastrophic failure. The expression of reliability presented in this work is applicable for some control software which are designed to detect its own internal errors.