When combining several modules into a flight control software system, it is non-trivial to determine, prior to deployment, performance and reliability values of the software system. Moreover, once the system is deployed, it is often the case that during operation it fails to meet its performance and reliability requirement and one needs to detect what has gone wrong (i. e., performance/reliability bottlenecks). To study these issues, a Semi-Markov Process (SMP) formulation is proposed in this work for the reliability and performance of flight control software systems. By explicitly including failure states into the SMP representation of a module, we can compute both its performance and reliability using a single SMP. We can also detect its performance and reliability bottlenecks by applying the formal sensitivity analysis technique. We demonstrate our approach by choosing a representative flight control software system that is validated using experiments on real flight control computer.
Semi-Markov Based Reliability Analysis for Flight Control Software
2018-08-01
616546 byte
Conference paper
Electronic Resource
English
Reduction Of Sizes Of Semi-Markov Reliability Models
NTRS | 1995
|Application Isssues of the Semi-Markov Reliability Model
Online Contents | 2015
|