Title :
Towards hybrid models of recoverable computer control systems
Author :
Gray, W. Steven ; Patilkulkarni, S. ; Gonzalez, Oscar R.
Author_Institution :
Old Dominion Univ., Norfolk, VA, USA
Abstract :
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.
Keywords :
Markov processes; aircraft control; closed loop systems; finite state machines; safety-critical software; Markovian exosystem; algorithm parameters; closed-loop system; complex recovery algorithms; finite-state machine; hybrid models; jump-linear dynamical system; mean-square stability; modeling framework; performance characteristics; recoverable computer control systems; rollback recovery algorithms; safety critical control systems; upset persistency; Computer errors; Control system synthesis; Control systems; Error correction; Fault tolerance; Fault tolerant systems; Microprocessors; Robust stability; Safety; Stability analysis;
Conference_Titel :
Digital Avionics Systems Conference, 2002. Proceedings. The 21st
Print_ISBN :
0-7803-7367-7
DOI :
10.1109/DASC.2002.1053008
