The reliability of life-critical computer systems (Q1082062)

From MaRDI portal
Revision as of 10:00, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The reliability of life-critical computer systems
scientific article

    Statements

    The reliability of life-critical computer systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1986
    0 references
    In order to aid the designers of life-critical, fault-tolerant computing systems, accurate and efficient methods for reliability prediction are needed. The accuracy requirement implies the need to model the system in great detail, and hence to need to address the problems of large state space, non-exponential distributions, and error analysis. The efficiency requirement implies the need for new model solution techniques, in particular the use of decomposition-aggregation in the context of a hybrid model. We describe a model for reliability prediction which meets both requirements. Specifically, our model is partitioned into fault occurrence and fault/error handling submodels, which are represented by non-homogeneous Markov processes and extended stochastic Petri nets, respectively. The overall aggregated model is a stochastic process that is solved by numerical techniques. Methods to analyze the effects of variations in input parameters on the resulting reliability predictions are also provided.
    0 references
    fault-tolerant computing systems
    0 references
    reliability prediction
    0 references
    error analysis
    0 references
    stochastic Petri nets
    0 references
    stochastic process
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers