@proceedings {Distefano2014255,
	title = {Non-Markovian modeling of a BladeCenter chassis midplane},
	journal = {Proceedings of the 11th European Workshop on Computer Performance Engineering (EPEW)},
	volume = {8721 Lecture Notes in Computer Science},
	year = {2014},
	note = {cited By 0; Conference of 11th European Workshop on Computer Performance Engineering, EPEW 2014 ; Conference Date: 11 September 2014 Through 12 September 2014; Conference Code:107431},
	pages = {255-269},
	publisher = {Springer Verlag},
	address = {Florence, Italy, 11-12 September 2014},
	abstract = {<p>In distributed contexts such as Cloud computing, the reliability and availability of the provided resources and services have to be assured in order to meet user requirements. At the infrastructure level, this specification is translated into tighter ones on the datacenter hosting physical resources. In this paper, starting from a real case study of the IBM BladeCenter, we provide a technique for the quantitative evaluation of datacenter infrastructure availability. The proposed technique allows one to take into account both aging phenomena and multiple operating conditions. In particular, one subsystem of the BladeCenter, the chassis midplane, is studied. Indeed, based on the stochastic characterization of the midplane reliability through statistic measurements, a model dealing with the non-exponential failure time distribution thus obtained is evaluated to demonstrate the suitability and the effectiveness of the proposed technique. {\textcopyright} 2014 Springer International Publishing.</p>
},
	keywords = {Aging phenomena, Chassis, Failure-time distribution, Non-Markovian modeling, Operating condition, Physical resources, Quantitative evaluation, Reliability and availability, Stochastic models, Stochastic systems, User requirements},
	isbn = {9783319108841},
	issn = {03029743},
	doi = {10.1007/978-3-319-10885-8_18},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84906969232\&partnerID=40\&md5=6840d4a28b6ed80a602f4db06c10343b},
	author = {Salvatore Distefano and Francesco Longo and Marco Scarpa and Kishor S. Trivedi}
}
@proceedings {Bruneo2010,
	title = {QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets},
	journal = {Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing (IPDPS)},
	year = {2010},
	note = {cited By 11; Conference of 24th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2010 ; Conference Date: 19 April 2010 Through 23 April 2010; Conference Code:80843},
	publisher = {IEEE Computer Society},
	address = {Atlanta, GA, United States, 19-23 April 2010},
	abstract = {<p>Service Oriented Architecture (SOA) is the most important and effective software paradigm to design Internet-based services. Using the SOA technology, value-added services can be easily deployed as a combination of existing Web services. In this context, WS-BPEL language has become the SOA industrial standard. To allow services to be composed, business relationships between providers and consumers have to be adequately managed. This implies that a formal definition of Quality of Service (QoS) is agreed and that effective tools for its measurement have to be developed. However, the design ofQoS guaranteed composed Web services still requires several efforts due to the highly distributed nature ofsuch software applications. This work aims at proposing a methodology to evaluate Web service performance at the earliest design phase. We present a novel technique to translate WS-BPEL processes into non-Markovian stochastic Petri nets with the final goal to evaluate parameters such as service time distribution and service reliability. The obtained model can be numerically solved through automatic tools, allowing to investigate the service behavior under different operating conditions and thus helping software engineers to develop QoS-guaranteed software solutions. {\textcopyright} 2010 IEEE.</p>
},
	keywords = {Automatic tools, Business relationships, Computer software, Design, Design phase, Distributed parameter networks, Effective tool, Formal definition, Graph theory, Industrial standards, Information services, Internet-based services, Non-Markovian, Novel techniques, Operating condition, Petri nets, Quality of service, Service oriented architecture (SOA), Service reliability, Service time distribution, Software applications, Software engineers, Software paradigm, Software solution, Stochastic Petri Nets, Stochastic systems, Value added service, Web services, WS-BPEL},
	isbn = {9781424464432},
	doi = {10.1109/IPDPS.2010.5470391},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-77954020712\&partnerID=40\&md5=70790f3d893defcf4e9c792d8b58c5da},
	author = {Dario Bruneo and Salvatore Distefano and Francesco Longo and Marco Scarpa}
}
