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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Semi-Markov Based Reliability Analysis for Flight Control Software


    Contributors:
    He, Zhili (author) / Chen, Wei (author) / Dang, Yuanfang (author) / Ma, Li (author)


    Publication date :

    2018-08-01


    Size :

    616546 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Markov reliability models for digital flight control systems

    MCGOUGH, JOHN / REIBMAN, ANDREW / TREDI, KISHOR | AIAA | 1989


    Markov reliability models for digital flight control systems

    Mcgough, John / Reibman, Andrew / Trivedi, Kishor | NTRS | 1989


    Reduction Of Sizes Of Semi-Markov Reliability Models

    White, Allan L. / Palumbo, Dan L. | NTRS | 1995


    Application Isssues of the Semi-Markov Reliability Model

    Rudnicki Jacek | DOAJ | 2015

    Free access

    Application Isssues of the Semi-Markov Reliability Model

    Rudnicki, Jacek | Online Contents | 2015