In this paper a modeling framework is introduced for describing how complex recovery algorithms used to implement safety critical control systems on a recoverable computer can affect the stability and performance characteristics of the closed-loop system. The model has a hybrid structure consisting of three distinct parts: a Markovian exosystem, a finite-state machine, and a jump-linear dynamical system. It is shown in some detail how such a model could be used to characterize rollback recovery algorithms. Two specific examples are given where mean-square stability is determined as a function of upset persistency and various algorithm parameters.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards hybrid models of recoverable computer control systems


    Contributors:


    Publication date :

    2002-01-01


    Size :

    653425 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Performance analysis of recoverable flight control systems using hybrid dynamical models

    Zhang, Hong / Gray, W.S. / Gonzalez, O.R. | Tema Archive | 2005


    Characterization of a Recoverable Flight Control Computer System

    Malekpour, Mahyar / Torres, Wilfredo | NTRS | 1999


    Recoverable satellites

    Harvey, Brian | Springer Verlag | 2013


    Closed-loop neutron particle effects testing on a recoverable flight control computer

    Eure, K. / Belcastro, C.M. / Koppen, D. et al. | IEEE | 2004


    Closed-Loop Neutron Particle Effects Testing on a Recoverable Flight Control Computer

    Eure, K. / IEEE / AIAA | British Library Conference Proceedings | 2004