A methodology for formal expression of hierarchy in model solution

Malhotra, Manish; Trivedi, K.S.

doi:10.1109/pnpm.1993.393445

Cited by 17 publications

(5 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Malhotra and Trivedi [Malhotra and Trivedi, 1994] give a classification of the various dependability model types based on their modeling power. They establish this hierarchy through a proof procedure that relies on the algorithms for conversion from one model type to another.…”

Section: Power Hierarchy Of Model Typesmentioning

confidence: 99%

See 1 more Smart Citation

Computational Probability

2000

International Series in Operations Research &Amp; Management Science

View full text Add to dashboard Cite

show abstract

Section: Power Hierarchy Of Model Typesmentioning

confidence: 99%

“…Such model composition is available in the SHARPE package [Sahner et al, 1995). For additional references see [Malhotra and Trivedi, 1993).…”

Section: Model Compositionmentioning

confidence: 99%

Computational Probability

2000

International Series in Operations Research &Amp; Management Science

View full text Add to dashboard Cite

show abstract

“…A broadly implemented approach in combined performance and reliability analysis is the hierarchical modelling technique (Malhotra and Trivedi, 1993). In this paper, we also propose a hierarchical model combining reliability and performance for a basic VoIP system over a wireless network.…”

Section: Introductionmentioning

confidence: 99%

Reliability and performance modelling of VoIP system with multiple component failures

Gupta

Selvamuthu

2013

IJRS

View full text Add to dashboard Cite

Nowadays Voice over IP (VoIP) has become an evolutionary technology in telecommunications. Because of the increasing dependencies of people on VoIP for voice communication, it is important to design a reliable and performance oriented VoIP system. In this paper a hierarchical model combining reliability and performance is proposed for a server based VoIP system on a wireless network. The top level reliability model consists of only the basic components of a VoIP system. Simultaneous failure of multiple components is taken into modelling consideration. Component redundancies and software rejuvenation are employed to achieve higher system reliability. Assuming exponential failure and repair times of the components, continuous time Markov chain is used to develop the top level reliability model. In addition, a lower level performance model is constructed to obtain the performance metrics of the system at each state of the top level reliability model. Numerical results are provided for the quantitative analysis of the proposed model.Reference to this paper should be made as follows: Gupta, V. and Dharmaraja, S. (2013) 'Reliability and performance modelling of VoIP system with multiple component failures', Int.

show abstract

“…Hierarchical models [10] represent a large class of models that use hierarchical structures to avoid the large state-space problem in modeling complex systems. The solution described in this paper exploits the hierarchical nature of these systems, and the independence [1], [4], [5] of their subsystems.…”

mentioning

confidence: 99%

Hierarchical composition and aggregation of state-based availability and performability models

2003

Self Cite

View full text Add to dashboard Cite

Telecommunication systems are large and complex, consisting of multiple intelligent modules in shelves, multiple shelves in frames, and multiple frames to compose a single network element. In the availability and performability analysis of such a complex system, combinatorial models are computationally efficient but have limited expressive power. State-based models are expressive but computationally complex. Furthermore, this complexity grows exponentially with the size of the model. This state-space explosion problem must be solved in order to model complex-systems using state-based models.The solution, in this paper, is to partition complex models into a hierarchy of submodels, to transform lower-level -state, -transition Markov reward models and stochastic reward nets into equivalent (with respect to their steady-state behavior) 2-state, 2-transition models, and then to back-substitute the equivalent submodels into the higher-level models. This paper also proposes a canonical form for the equivalent submodels. This technique is defined for availability models, where the state of the system is either up or down, and for performability models, where the state of the system may be up, down, or partially-up/partially-down. This paper also shows how this technique can be used to obtain common availability measures for telecommunication systems, and when to apply it to availability models and when to use it in performability models.For future work, it would be interesting to more tightly integrate this technique with modeling tools, perhaps coupled with a graphic front-end to facilitate the navigation of the model hierarchy.Index Terms-Equivalent failure rate, equivalent repair rate, hierarchical composition, Markov reward model, outage measure, "Reliability and Quality Measurements for Telecommunication Systems" measure, telecommunication system.

show abstract

A methodology for formal expression of hierarchy in model solution

Cited by 17 publications

References 15 publications

Computational Probability

Computational Probability

Reliability and performance modelling of VoIP system with multiple component failures

Hierarchical composition and aggregation of state-based availability and performability models

Contact Info

Product

Resources

About