Sergio Mario Lins Galdino

Learn More
Interval arithmetic has been applied to model uncertainties. Generalized stochastic Petri Net (GSPN) is one of most commonly applied timed Petri net models for performance and reliability evaluation. This paper describes the interval generalized stochastic Petri net (IGSPN) as an interval extension to the GSPN model. The IGSPN analysis takes into account(More)
Data center availability is critical considering the explosive growth in Internet services and people's dependence on them. Furthermore, in recent years, sustainability has become important. However, data center designers have little information on the sustainability impact of data center availability architectures. In this paper, we present an approach to(More)
Interval arithmetic has been applied to model uncertainties and variabilities. An interval model is a space, family or class of models in which there are parameters represented by intervals, instead of real numbers. This paper describes the interval generalized stochastic Petri net (IGSPN) as an interval extension to the GSPN model. The IGSPN analysis takes(More)
In availability predictive analysis not every model input parameter is known exactly when the model is developed. The sources of uncertainties include lack of data and lack of knowledge about physical systems. In this paper, we present a reliable mechanism to help improve evaluation robustness when significant uncertainties exist. The mechanism incorporates(More)
Capacity planning tools aim at monitoring and evaluating computational infrastructures resources in terms of workloads. The capacity advisor is a capacity planning tool inside the HP virtual server environment - VSE. This paper describes the development and use of a synthetic workload generator named WGCap (workload generator for capacity advisor), a(More)
This paper describes the development and use of an interactive graphical user interface (GUI) for a synthetic trace generator named WGCap (Workload Generator for Capacity Advisor). The WGCap GUI generates traces to be imported into the Capacity Advisor, a capacity planning tool inside the HP Virtual Server Environment - VSE, for simulating the consumption(More)
Interval methods have been applied to the outer estimation of solution sets for real interval linear systems of equations. This work presents the evaluation of results relating to a significant set of algorithms for solving interval linear systems of equations applied to the steady state solution of dependability models. These algorithms have been(More)
Analytic techniques are frequently used for performance analysis of discrete event systems. Conventional models have a set of single value input parameters (such as mean resource demands) and give single value results for each performance index of interest (such as mean system throughput). However, this single point characterization of parameters is(More)
  • 1