The hybrid automated reliability predictor

Dugan, J.B.; Trivedi, Kishor S.; Smotherman, Mark; Geist, Robert

doi:10.2514/3.20109

Cited by 114 publications

(16 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…There are currently no estimates of the parameters required, such as the transient restoration, permanent coverage, simple-point failure, and near-coincident fault [18].…”

Section: Availability Modelmentioning

confidence: 98%

“…As an example, in the SURE [17] reUability program package of NASA, each transition related to a soft failure is described by the conditional mean and conditional standard deviation of the associated distribution, and the transition probability. The HARP package [18] allows the same modeling, as well as seven different ways of specifying fault-and error-handling behavior.…”

Section: Study Of Failure and Repair Datamentioning

confidence: 99%

“…A behavioral decomposition, which consists in separating the fault-occurrence and fault-handling behavior into distinct submodels, solving each submodel in the most appropriate way-for instance, simulating one submodel and solving the other submodel analytically, and incorporating the results of the fault-occurrence submodel into the fault-handling submodel. This approach is selected in the CAST [20], CARE III [21], and HARP [18] reliability-evaluation packages. 3.…”

Section: Availability Modelmentioning

confidence: 99%

See 2 more Smart Citations

An analysis of hardware and software availability exemplified on the IBM 3725 Communication Controller

Pignal¹

1988

IBM J. Res. & Dev.

View full text Add to dashboard Cite

“…There are currently no estimates of the parameters required, such as the transient restoration, permanent coverage, simple-point failure, and near-coincident fault [18].…”

Section: Availability Modelmentioning

confidence: 98%

Section: Study Of Failure and Repair Datamentioning

confidence: 99%

Section: Availability Modelmentioning

confidence: 99%

See 1 more Smart Citation

An analysis of hardware and software availability exemplified on the IBM 3725 Communication Controller

Pignal¹

1988

IBM J. Res. & Dev.

View full text Add to dashboard Cite

“…SAVE automatically generates the Markov chain from the modeling language description. Other modeling packages (e.g., HARP [6]) provide simple fault-tree (or reliabilityblock-diagram)-oriented languages to generate Markov chains, but typically only recovery-ba^d constructs are provided to model component interactions or dependencies.…”

Section: Introductionmentioning

confidence: 99%

Modeling and analysis of computer system availability

Goyal

Lavenberg

1987

IBM J. Res. & Dev.

View full text Add to dashboard Cite

The quantitative evaluation of computer-system availability is becoming increasingly important in the design and configuration of commercial computer systems. This paper deals with methods for constructing and solving large Markov-chain models of computer-system availability. A set of powerful high-level modeling constructs is discussed that can be used to represent the failure and repair behavior of the components that comprise a system, including important component interactions, and the repair actions that are taken when components fail. If time-independent failure and repair rates are assumed, then a timehomogeneous continuous-time Markov chain can be constructed automatically from the modeling constructs used to describe the system. Markov chains having tens of thousands of states can be readily constructed in this manner. Therefore, techniques that are particularly suitable for numerically solving such large Markov chains are also discussed, including techniques for computing the sensitivities of availability measures with respect to model parameters. A computer system modeling example is presented to ®Copyright 1987 by International Business Machines Corporation. Copying in printed form for private use is permitted without payment of royalty provided that (1) each reproduction is done without alteration and (2) the Journal reference and IBM copyright notice are included on the first page. The title and abstract, but no other portions, of this paper may be copied or distributed royalty free without further permission by computer-based and other information-service systems. Permission to republish any other portion of this paper must be obtained from the Editor. illustrate the use of these modeling and analysis techniques. The modeling constructs, automatic Markov-chain construction, and model-solution methods have been implemented in a program package called the System Availability Estimator (SAVE).

show abstract

“…To overcome the problem of largeness, several techniques Therefore the need arises for decomposition approaches that work at model level rather than the matrix level. Examples of such techniques include the flow-equivalent server approximation introduced by Chandy et a1 [5], behavioral decomposition technique used in the software tool HARP [6], and the approach used by Balbo et a1 [7]. In these approaches, the overall model is not generated but instead smaller models are generated whose solution is combined to yield overall model solution.…”

Section: Introductionmentioning

confidence: 99%

A methodology for formal expression of hierarchy in model solution

Malhotra

Trivedi²

Proceedings of 5th International Workshop on Petri Nets and Performance Models

View full text Add to dashboard Cite

We present a methodology for formal specification of hierarchy both in model specification and model solution. We allow hierarchy t o exist among diflereni model types used in performance and dependability modeling. This oflers a lot of jlexibility and power to the modeler. Our methodology presents a unified view of a variety of modeling techniques such as hierarchical composition, behavioral decomposition, iterative hierarchical modeling, reward-based performabilit y modeling, aggregation, etc. This methodology brings the hierarchical modeling technique(s , based on which the model is constructed, to the Are. This results in a better understanding of the model by the user and it can simplify model validation if need be. Such a methodology would also make the design of modeling toolkits, which allow these modeling techniques, much simpler by presenting a conceptually simpler and unijed view of a variety of modeling techniques. The formal expression is also expected to assist the modeler in construction of large, complex models.

show abstract

The hybrid automated reliability predictor

Cited by 114 publications

References 7 publications

An analysis of hardware and software availability exemplified on the IBM 3725 Communication Controller

An analysis of hardware and software availability exemplified on the IBM 3725 Communication Controller

Modeling and analysis of computer system availability

A methodology for formal expression of hierarchy in model solution

Contact Info

Product

Resources

About