 97541 Galves A., Gaudel M. C.
 Rare Events in Stochastic Dynamical Systems and
Failures in UltraReliable Reactive Programs
(47K, Plain TeX)
Oct 13, 97

Abstract ,
Paper (src),
View paper
(auto. generated ps),
Index
of related papers

Abstract. This paper presents a model of reactive processcontrol programs as stochastic
processes. This makes it possible to prove that the law of the first failure
time in a ultrareliable reactive program is approximately exponential. This
fact is usually assumed on the basis of a constant probability of failure and
the independence of the successive inputs. These hypotheses {\sl a priori},
do not hold for reactive processcontrol programs. Our result provides a
rigourous justification of the exponential assumption for a large class of
ultrareliable reactive programs.
 Files:
97541.tex