Titlebook: Dependable Computing for Critical Applications; Algirdas Avižienis,Jean-Claude Laprie Textbook 1991 Springer-Verlag/Wien 1991 computer.des

Minatory

Observer-Based Dynamic Surface Controltical applications. Central to the evaluation process is the definition of specific measures of system behavior that are of interest to a user. This paper presents a unified approach to the specification of measures of performance, dependability, and performability. The unification is achieved by 1)

藐视

Specification Tools for Spatial Designf dependability to quantify the behaviour of such a system all along its lifetime. With respect to classical measures (point availability, reliability) we consider the successive periods during which the system is in operation. Under markovian assumptions, we give closed-form expressions of the dist