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
01.08.2018
616546 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Reliability assessment of CubeSat nanosatellites flight software by high-order Markov chains
Elsevier | 2021
|Application Isssues of the Semi-Markov Reliability Model
Online Contents | 2015
|