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.
Towards hybrid models of recoverable computer control systems
2002-01-01
653425 byte
Conference paper
Electronic Resource
English
Performance analysis of recoverable flight control systems using hybrid dynamical models
Tema Archive | 2005
|Springer Verlag | 2013
|Closed-Loop Neutron Particle Effects Testing on a Recoverable Flight Control Computer
British Library Conference Proceedings | 2004
|