@proceedings {Bruneo2015797, title = {Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds}, journal = {Proceedings - 2015 IEEE 8th International Conference on Cloud Computing, CLOUD 2015}, year = {2015}, note = {cited By 2; Conference of 8th IEEE International Conference on Cloud Computing, CLOUD 2015 ; Conference Date: 27 June 2015 Through 2 July 2015; Conference Code:116940}, pages = {797-804}, publisher = {Institute of Electrical and Electronics Engineers Inc.}, address = {New York (USA)}, abstract = {

Cloud computing infrastructures provide services to a wide number of users whose behavior can deeply change at the occurrence of particular events. To correctly handle such situations a cloud infrastructure have to be reconfigured in a way that does not cause degradation in the overall performance. Otherwise, the quality of service specified in the service level agreement could be violated. To prevent such situations, the infrastructure could be organized as an autonomic system where self-adaptation and self-configuration techniques are implemented. Appropriate design choices become important in order not to fail in this goal. We propose a technique, based on a Petri net model and a specific analytical analysis approach, to represent Infrastructure-as-a-Service (IaaS) systems in the case in which the load conditions can suddenly change and reactive autonomic management techniques are applied to mitigate the consequences of the change. The model we propose is able to appropriately evaluate performance metrics in such critical situations making it suitable as a design tool for IaaS cloud systems. {\textcopyright} 2015 IEEE.

}, keywords = {Autonomic management, cloud computing, Cloud computing infrastructures, Cloud infrastructures, Iaas clouds, Industrial management, Infrastructure as a service (IaaS), Performance metrics, Petri nets, Quality of service, Resiliency, Service Level Agreements, Stochastic reward nets, Stochastic systems}, isbn = {9781467372879}, doi = {10.1109/CLOUD.2015.110}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84960155425\&doi=10.1109\%2fCLOUD.2015.110\&partnerID=40\&md5=2aa09923889aea0bc667deb1d6d250d8}, author = {Dario Bruneo and Francesco Longo and Rahul Ghosh and Marco Scarpa and Antonio Puliafito and Kishor Trivedi} } @article {Longo2015280, title = {Dependability modeling of Software Defined Networking}, journal = {Computer Networks}, volume = {83}, year = {2015}, note = {cited By 6}, pages = {280-296}, publisher = {Elsevier}, abstract = {

Software Defined Networking (SDN) is a new network design paradigm that aims at simplifying the implementation of complex networking infrastructures by separating the forwarding functionalities (data plane) from the network logical control (control plane). Network devices are used only for forwarding, while decisions about where data is sent are taken by a logically centralized yet physically distributed component, i.e., the SDN controller. From a quality of service (QoS) point of view, an SDN controller is a complex system whose operation can be highly dependent on a variety of parameters, e.g., its degree of distribution, the corresponding topology, the number of network devices to control, and so on. Dependability aspects are particularly critical in this context. In this work, we present a new analytical modeling technique that allows us to represent an SDN controller whose components are organized in a hierarchical topology, focusing on reliability and availability aspects and overcoming issues and limitations of Markovian models. In particular, our approach allows to capture changes in the operating conditions (e.g., in the number of managed devices) still allowing to represent the underlying phenomena through generally distributed events. The dependability of a use case on a two-layer hierarchical SDN control plane is investigated through the proposed technique providing numerical results to demonstrate the feasibility of the approach. {\textcopyright} 2015 Elsevier B.V.

}, keywords = {Availability, Complex networks, Controllers, Degree of distributions, Distributed components, Electric network topology, Information dissemination, Markov processes, Networking infrastructure, Non-Markovian, Quality control, Quality of service, Random processes, Reliability, Reliability and availability, Software defined networking (SDN), Software reliability, Software-defined networkings, Stochastic models, Stochastic systems, Topology, Type expansions}, issn = {13891286}, doi = {10.1016/j.comnet.2015.03.018}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84946489290\&doi=10.1016\%2fj.comnet.2015.03.018\&partnerID=40\&md5=b4f32c89d2b7b79fefcaf97082764960}, author = {Francesco Longo and Salvatore Distefano and Dario Bruneo and Marco Scarpa} } @article {Bruneo20153052, title = {Modeling and Evaluation of Energy Policies in Green Clouds}, journal = {IEEE Transactions on Parallel and Distributed Systems}, volume = {26}, number = {11}, year = {2015}, note = {cited By 0}, pages = {3052-3065}, publisher = {IEEE Computer Society}, abstract = {

Following the as-a-service philosophy, a cloud service provider offers computing utilities in the form of virtual resources instantiated on top of a physical infrastructure. In order to meet business requirements still providing high-quality services, performance evaluation needs to be carefully carried out with the aim of optimizing data center utilization and increasing user satisfaction. In this context, power efficiency plays a critical role pushing service providers towards the application of innovative green strategies. In this paper, we present an analytical framework, based on stochastic reward nets, that allows to evaluate different resource allocation policies in a green cloud. A use case is shown in order to illustrate the approach, modeling scattering and saturation allocation policies and comparing them to a purely physical data center scenario. A validation of the proposed model against the CloudSim framework is presented and several numerical results are provided, demonstrating the effectiveness of the approach as a powerful tool for a cloud service provider to perform well-informed decisions about theresource allocation policies to be enforced. {\textcopyright} 1990-2012 IEEE.

}, keywords = {Allocation policies, Business requirement, cloud computing, Cloud service providers, Distributed database systems, Green Computing, High quality service, Performance evaluation, Quality control, Resource allocation, Resource allocation policy, Stochastic reward nets, Stochastic systems}, issn = {10459219}, doi = {10.1109/TPDS.2014.2364194}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84944075521\&partnerID=40\&md5=ee939ccd602bffca9ab90abdfd8285d9}, author = {Dario Bruneo and Audric Lhoas and Francesco Longo and Antonio Puliafito} } @proceedings {Bruneo201598, title = {An SRN-based resiliency quantification approach}, journal = {Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets)}, volume = {9115 Lecture Notes in Computer Science}, year = {2015}, note = {cited By 0; Conference of 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015 ; Conference Date: 21 June 2015 Through 26 June 2015; Conference Code:119609}, pages = {98-116}, publisher = {Springer Verlag}, address = {Brussels, Belgium, 21-26 June 2015}, abstract = {

Resiliency is often considered as a synonym for faulttolerance and reliability/availability. We start from a different definition of resiliency as the ability to deliver services when encountering unexpected changes. Semantics of change is of extreme importance in order to accurately capture the real behavior of a system. We propose a resiliency analysis technique based on stochastic reward nets that allows the modeler: (1) to reuse an already existing dependability or performance model for a specific system with minimal modifications, and (2) to adapt the given model for specific change semantics. To automate the model analysis an algorithm is designed and the modeler is provided with a formalism that corresponds to the semantics. Our algorithm and approach is implemented to demonstrate the proposed resiliency quantification approach. Finally, we discuss the differences between our approach and an alternative technique based on deterministic and stochastic Petri nets and highlight the advantages of the proposed approach in terms of semantics specification. {\textcopyright} Springer International Publishing Switzerland 2015.

}, keywords = {Analysis techniques, Deterministic and stochastic Petri nets, Model analysis, Performance Model, Petri nets, Resiliency, Semantics, Stochastic models, Stochastic reward nets, Stochastic systems}, isbn = {9783319194875}, issn = {03029743}, doi = {10.1007/978-3-319-19488-2_5}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84937428490\&partnerID=40\&md5=7d0bbe99afba1a79df65b4e35e86a02c}, author = {Dario Bruneo and Francesco Longo and Marco Scarpa and Antonio Puliafito and Rahul Ghosh and Kishor S. Trivedi} } @article {Longo20152506, title = {Variable operating conditions in distributed systems: Modeling and evaluation}, journal = {Concurrency Computation Practice and Experience}, volume = {27}, number = {10}, year = {2015}, note = {cited By 1}, pages = {2506-2530}, publisher = {John Wiley and Sons Ltd}, abstract = {

SummaryPerformance and dependability evaluation plays a key role in the design of a broad range of systems, especially when strict requirements need to be met. This is particularly challenging in distributed contexts, where several components may interact among themselves by influencing each other. In this paper, we present an analytical method that allows the study of a class of systems where different operating conditions alternate by changing the stochastic behavior of the system components but still preserving the continuity of the performance and dependability quantities to investigate. The proposed solution technique, based on phase type distributions, Kronecker algebra, and ad-hoc fitting algorithms, can be applied for the analytical evaluation of a wide class of distributed systems. Examples are provided to show the usefulness and the applicability of the methodology, characterizing and investigating different performance and dependability aspects of three distributed computing systems, that is, a connection-oriented network, an Internet of Things application, and an Infrastructure-as-a-Service Cloud. Copyright {\textcopyright} 2014 John Wiley \& Sons, Ltd.

}, keywords = {Algebra, cloud computing, Conservative systems, Dependability, Distributed computer systems, Internet, Internet of Things, Kronecker algebra, Markov processes, Non-Markovian, Performance, phase type distributions, Stochastic systems}, issn = {15320626}, doi = {10.1002/cpe.3419}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84932604392\&partnerID=40\&md5=b8f197a50fa177e85f0c1ac2a93fe392}, author = {Francesco Longo and Dario Bruneo and Salvatore Distefano and Marco Scarpa} } @proceedings {Bruneo201384, title = {Analytical evaluation of resource allocation policies in green IaaS clouds}, journal = {Proceedings of the IEEE 3rd International Conference on Cloud and Green Computing (CGC) Co-located with the IEEE 3rd International Conference on Social Computing and Its Applications (SCA)}, year = {2013}, note = {cited By 1; Conference of 3rd IEEE International Conference on Cloud and Green Computing, CGC 2013, Held Jointly with the 3rd IEEE International Conference on Social Computing and Its Applications, SCA 2013 ; Conference Date: 30 September 2013 Through 2 October 2013; Conference Code:102391}, pages = {84-91}, publisher = {IEEE Computer Society}, address = {Karlsruhe, Germany, 30 September - 2 October 2013}, abstract = {

Cloud systems represent the new ICT frontier where computing utilities are offered in terms of virtual instances, following the so called as-a-service philosophy. Different commercial solutions have been already put in place but several aspects need to be faced in order to provide high-value services able to meet business requirements. In particular, performance evaluation plays a critical role being strictly related to data center optimization and user satisfaction. Moreover, the use of large data centers able to respond to the high service demand has increased the attention to power efficiency, thus calling for green solutions and energy-aware strategies that jointly consider environmental and economical aspects. In order to design powerful strategies able to meet the quality of service requirements still reducing the energy costs, performance analysis frameworks are needed. In this paper, we present an analytical model, based on stochastic reward nets, that is able to easily implement resource allocation strategies in a green infrastructure as-a-service cloud. The model is organized into layers that represent the virtual resource pool and the physical machines. Different allocation algorithms (i.e., scattering, saturation) have been implemented by properly managing the coordination between the model layers. Numerical results are provided that demonstrate the effectiveness of the proposed approach. {\textcopyright} 2013 IEEE.

}, keywords = {Analytical evaluation, cloud computing, Distributed computer systems, Green Computing, Performance analysis, Performance evaluation, Quality of service, Resource allocation, Resource allocation policy, Resource allocation strategies, Service requirements, Stochastic reward nets, Stochastic systems}, isbn = {9780769551142}, doi = {10.1109/CGC.2013.21}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84893329592\&partnerID=40\&md5=369f37efc4aabea38300336d819db864}, author = {Dario Bruneo and Audric Lhoas and Francesco Longo and Antonio Puliafito} } @proceedings {Bruneo201371, title = {Availability Assessment of a Vision Cloud Storage Cluster}, journal = {European Conference on Service-Oriented and Cloud Computing (ESOCC)}, volume = {393 Communications in Computer and Information Science}, year = {2013}, note = {cited By 0; Conference of European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 ; Conference Date: 11 September 2013 Through 13 September 2013; Conference Code:106555}, pages = {71-82}, publisher = {Springer Verlag}, address = {Malaga, Spain, 11-13 September 2013}, abstract = {

VISION Cloud is a European Commission funded project, whose aim is to design and propose a new architecture for a scalable and flexible cloud environment. The VISION Cloud reference architecture considers a single cloud as composed by multiple distributed data centers each of which can be composed by a great number of storage clusters. On top of the storage rich nodes forming each cluster, a distributed file system is built. In this paper, we provide an stochastic reward net model for a storage cluster in the context of the storage cloud environment proposed by the VISION Cloud project. The proposed model represents a first step in the direction of obtaining a quantification of the availability level reached through the use of the VISION Cloud proposed architecture from a user perspective. {\textcopyright} Springer-Verlag Berlin Heidelberg 2013.

}, keywords = {Architecture, Availability assessment, cloud computing, Cloud environments, Distributed file systems, European Commission, Proposed architectures, Reference architecture, Stochastic models, Stochastic reward nets, Stochastic systems, User perspectives}, isbn = {9783642453632}, issn = {18650929}, doi = {10.1007/978-3-642-45364-9_7}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84904676242\&partnerID=40\&md5=d7510b50bf986e126b22270279202382}, author = {Dario Bruneo and Francesco Longo and David Hadas and Hillel Kolodner} } @proceedings {Bruneo2012277, title = {Modeling energy-aware cloud federations with SRNs}, journal = {32nd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets)}, volume = {7400 Lecture Notes in Computer Science}, year = {2012}, note = {cited By 4; Conference of 32nd International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2011 ; Conference Date: 20 June 2011 Through 24 June 2011; Conference Code:94089}, pages = {277-307}, publisher = {Springer-Verlag}, address = {Newcastle upon Tyne, United Kingdom, 20-24 June 2011}, abstract = {

Cloud computing is a challenging technology that promises to strongly modify the way computing and storage resources will be accessed in the near future. However, it may demand huge amount of energy if adequate management policies are not put in place. In particular, in the context of Infrastructure as a Service (IaaS) Cloud, optimization strategies are needed in order to allocate, migrate, consolidate virtual machines, and manage the switch on/switch off period of a data centre. In this paper, we present a methodology based on stochastic reward nets (SRNs) to investigate the more convenient strategies to manage a federation of two or more private or public IaaS Clouds. Several policies are presented and their impact is evaluated, thus contributing to a rational and efficient adoption of the Cloud computing paradigm. {\textcopyright} 2012 Springer-Verlag.

}, keywords = {cloud computing, Computing paradigm, Data centres, Digital storage, Energy aware, Energy conservation, Management policy, Optimization strategy, Performance evaluation, Petri nets, Quality of service, Stochastic reward nets, Stochastic systems, Storage resources, Switch-on, virtual machines}, isbn = {9783642351785}, issn = {03029743}, doi = {10.1007/978-3-642-35179-2_12}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84870045120\&partnerID=40\&md5=b1e106331e417cc512bcbc713cc582de}, author = {Dario Bruneo and Francesco Longo and Antonio Puliafito} } @proceedings {Bruneo2011, title = {Evaluating energy consumption in a cloud infrastructure}, journal = {2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)}, year = {2011}, note = {cited By 4; Conference of 2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2011 ; Conference Date: 20 June 2011 Through 23 June 2011; Conference Code:86401}, publisher = {IEEE Computer Society}, address = {Lucca, Italy, 20-23 June 2011}, abstract = {

Cloud computing is a challenging technology that promises to strongly modify the way computing and storage resources will be accessed in the near future. Clouds may demand huge amount of energy if adequate management policies are not put in place. Optimization strategies are needed in order to allocate, migrate, consolidate virtual machines and manage the switch on/switch off period of a data center. In this paper, we present a modeling approach based on Stochastic reward nets to investigate the more convenient strategies to manage a federation of Clouds, having in mind the final goal to reduce the overall energy consumption. Several policies are presented and their impact is evaluated, thus contributing to a rational and efficient adoption of the Cloud computing paradigm. {\textcopyright} 2011 IEEE.

}, keywords = {cloud computing, Clouds, computer systems, Computing paradigm, Data centers, Energy utilization, Management policy, Modeling approach, Multimedia systems, Optimization strategy, Performance evaluation, Quality control, Quality of service, Stochastic reward nets, Stochastic systems, Storage resources, Switch-on, virtual machines, Wireless networks}, isbn = {9781457703515}, doi = {10.1109/WoWMoM.2011.5986479}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-80052709389\&partnerID=40\&md5=9d12783598805d3b668813d0d5b70057}, author = {Dario Bruneo and Francesco Longo and Antonio Puliafito} } @article {Bruneo20111213, title = {Performance analysis of job dissemination techniques in Grid systems}, journal = {Concurrency Computation Practice and Experience - John Wiley \& Sons, Inc.}, volume = {23}, number = {11}, year = {2011}, note = {cited By 2}, pages = {1213-1235}, abstract = {

In the last few years, remarkable efforts have been made to extend the Grid paradigm to commercial solutions. Business-oriented grids call for effective Quality of Service strategies able to adapt to different user requirements and to address Service Level Agreements. Performance analysis and prediction with respect to different load conditions or management policies are required to define such strategies. However, the highly distributed nature of Grid systems and the presence of distinct administrative domains make it difficult to carry out performance estimations. In fact, several parameters are involved and the autonomy of each site could make it complex to set them in a proper way. In this paper, we present a non-Markovian Stochastic Petri Net methodology that allows to conduct performance analysis of Grid systems focusing on aspects related to the Virtual Organization as a whole. In particular, different job allocation techniques can be evaluated with respect to both user and provider points-of-view. The influence of different information update policies on the accuracy of the allocation schemes can also be investigated, highlighting the costs/benefits in terms of job waiting time, service availability, and system utilization. The proposed methodology is designed to be as general as possible and it can be applied to analyze a gLite Grid infrastructure taken as case study. {\textcopyright} 2011 John Wiley \& Sons, Ltd.

}, keywords = {Grid computing, Grid infrastructures, Grid systems, Information updates, Job allocation, Load condition, Management policy, Non-Markovian, Performance analysis, Performance estimation, performance measurements, Petri nets, Quality of service, Random access storage, Service availability, Service Level Agreements, Stochastic Petri Nets, Stochastic systems, System utilization, User requirements, Virtual organization, Waiting-time}, issn = {15320626}, doi = {10.1002/cpe.1697}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-79960133545\&partnerID=40\&md5=a557a0ec6dd02249f31a6a0960e2bc92}, author = {Dario Bruneo and Francesco Longo and Marco Scarpa and Antonio Puliafito} } @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 = {

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.

}, 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} } @proceedings {Bruneo2010243, title = {VO-level performance analysis of gLite Grids}, journal = {Proceedings of the 19th IEEE Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)}, year = {2010}, note = {cited By 0; Conference of 19th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2010 ; Conference Date: 28 June 2010 Through 30 June 2010; Conference Code:81490}, pages = {243-248}, publisher = {IEEE Computer Society}, address = {Larissa, Greece, 28-30 June 2010}, abstract = {

Business oriented grids call for effective Quality of Service strategies able to adapt to different user requirements. Performance analyses and predictions with respect to different load conditions or management policies are essential instruments to define such strategies. In this paper, we present a non-Markovian Stochastic Petri Net model that allows to conduct performance analyses of Grid systems focusing on aspects related to the Virtual Organization as a whole. Different job allocation techniques will be evaluated with respect to both user and provider point-of-views. We will also investigate the influence of different information update policies on the accuracy of the allocation schemes, highlighting the costs/benefits in terms of job waiting time, service availability, and system utilization. {\textcopyright} 2010 IEEE.

}, keywords = {Business-oriented, gLite middleware, Graph theory, Grid computing, Grid systems, Information updates, Job allocation, Load condition, Management policy, middleware, Non-Markovian, Performance analysis, performance measurements, Petri nets, Quality of service, Random access storage, Service availability, Stochastic models, Stochastic Petri Nets, Stochastic systems, System utilization, User requirements, Virtual organization, Waiting-time}, isbn = {9780769540634}, issn = {15244547}, doi = {10.1109/WETICE.2010.45}, url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-77955917215\&partnerID=40\&md5=5f89b9d07327325a09d78d1af77f0519}, author = {Dario Bruneo and Francesco Longo and Marco Scarpa and Antonio Puliafito} }