Markovian models for performance and dependability evaluation

DOI10.1007/3-540-44667-2_2MaRDI QIDQ4547764zbMATH OpenFDO

Authors B. R. Haverkort

Publication date 21 August 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2090/20900038

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Markov dependability models of complex systems: Analysis techniques
• Numerical transient analysis of Markov models
• Performance modelling and Markov chains
• scientific article; zbMATH DE number 5560393
• Automated performance and dependability evaluation using model checking

Cited in

(16)

• Assisting the design of a groupware system - Model checking usability aspects of thinkteam
• Markov reliability models of fault-tolerant distributed computing systems
• Performance evaluation in stochastic process algebra dtsdPBC
• Logical characterization of fluid equivalences
• Equivalences for fluid stochastic Petri nets
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• A unified approach for reliability and performability evaluation of semi-Markov systems
• Performance analysis of concurrent systems in algebra dtsiPBC
• Performance modelling and Markov chains
• scientific article; zbMATH DE number 5560393 (Why is no real title available?)
• Markov dependability models of complex systems: Analysis techniques
• scientific article; zbMATH DE number 2006786 (Why is no real title available?)
• Performance evaluation := (process algebra + model checking) Markov chains
• A Markovian Dependability Model with Cascading Failures
• Markov chains and dependability theory
• A compound measure of dependability for systems modeled by continuous-time absorbing Markov processes

Describes a project that uses

Uses Software

• SPNP

This page was built for publication: Markovian models for performance and dependability evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4547764)