A stochastic model to investigate data center performance and QoS in IaaS cloud computing systems

D Bruneo - IEEE Transactions on Parallel and Distributed …, 2013 - ieeexplore.ieee.org
Cloud data center management is a key problem due to the numerous and heterogeneous
strategies that can be applied, ranging from the VM placement to the federation with other …

Dependability modeling using Petri-nets

M Malhotra, KS Trivedi - IEEE Transactions on reliability, 1995 - ieeexplore.ieee.org
This paper describes a methodology to construct dependability models using generalized
stochastic Petri nets (GSPN) and stochastic reward nets (SRN). Algorithms are provided to …

A characterization of the stochastic process underlying a stochastic Petri net

G Ciardo, R German… - IEEE Transactions on …, 1994 - ieeexplore.ieee.org
Stochastic Petri nets (SPN's) with generally distributed firing times can model a large class of
systems, but simulation is the only feasible approach for their solution. We explore a …

The Mobius framework and its implementation

DD Deavours, G Clark, T Courtney… - IEEE Transactions …, 2002 - ieeexplore.ieee.org
The Mobius framework is an environment for supporting multiple modeling formalisms and
solution techniques. Models expressed in formalisms that are compatible with the framework …

Analysis of software rejuvenation using Markov regenerative stochastic Petri net

S Garg, A Puliafito, M Telek… - Proceedings of Sixth …, 1995 - ieeexplore.ieee.org
In a client-server type system, the server software is required to run continuously for very
long periods. Due to repeated and potentially faulty usage by many clients, such software" …

A decomposition approach for stochastic reward net models

G Ciardo, KS Trivedi - Performance Evaluation, 1993 - Elsevier
We present a decomposition approach for the solution of large stochastic reward nets
(SRNs) based on the concept of near-independence. The overall model consists of a set of …

Network survivability modeling

PE Heegaard, KS Trivedi - Computer Networks, 2009 - Elsevier
Critical services in a telecommunication network should be continuously provided even
when undesirable events like sabotage, natural disasters, or network failures happen. It is …

[PDF][PDF] Stochastic reward nets for reliability prediction

J Muppala, G Ciardo, KS Trivedi - Communications in reliability …, 1994 - researchgate.net
We describe the use of stochastic Petri nets (SPNs) and stochastic reward nets (SRNs)
which are SPNs augmented with the ability to specify output measures as reward-based …

SHARPE at the age of twenty two

KS Trivedi, R Sahner - ACM SIGMETRICS Performance Evaluation …, 2009 - dl.acm.org
This paper discusses the modeling tool called SHARPE (Symbolic Hierarchical Automated
Reliability and Performance Evaluator), a general hierarchical modeling tool that analyzes …

Scalable analytics for IaaS cloud availability

R Ghosh, F Longo, F Frattini, S Russo… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
In a large Infrastructure-as-a-Service (IaaS) cloud, component failures are quite common.
Such failures may lead to occasional system downtime and eventual violation of Service …