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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Semi-Markov Based Reliability Analysis for Flight Control Software


    Beteiligte:
    He, Zhili (Autor:in) / Chen, Wei (Autor:in) / Dang, Yuanfang (Autor:in) / Ma, Li (Autor:in)


    Erscheinungsdatum :

    01.08.2018


    Format / Umfang :

    616546 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Markov reliability models for digital flight control systems

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


    Markov reliability models for digital flight control systems

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


    Reliability assessment of CubeSat nanosatellites flight software by high-order Markov chains

    Yakovyna, Vitaliy / Symets, Ivan | Elsevier | 2021

    Freier Zugriff

    An empirical study of flight control software reliability

    Dunham, J. R. / Pierce, J. L. | NTRS | 1986


    Application Isssues of the Semi-Markov Reliability Model

    Rudnicki, Jacek | Online Contents | 2015