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

Volume

2

fYear

2002

fDate

27-31 Oct. 2002

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Avionics Systems Conference, 2002. Proceedings. The 21st

Print_ISBN

0-7803-7367-7

Type

conf

DOI

10.1109/DASC.2002.1053008

Filename

1053008