Please use this identifier to cite or link to this item: http://localhost:80/xmlui/handle/123456789/1226
Title: Modeling and Analysis of the Thermal Properties Exhibited by Cyberphysical Data Centers
Authors: Malik, Saif U. R.
Bilal
Keywords: COMSATS
verification
Cloud computing
cyberphysical systems (CPSs)
formal methods
data center (DC)
Issue Date: 22-Dec-2015
Publisher: IEEE
Abstract: Data centers (DCs) contribute toward the prevalent application and adoption of the cloud by providing architectural and operational foundation. To perform sustainable computation and storage, a DC is equipped with tens of thousands of servers, if not more. It is worth noting that the operational cost of a DC is being dominated by the cost spent on energy consumption. In this paper, we model a DC as a cyberphysical system (CPS) to capture the thermal properties exhibited by the DC. All software aspects, such as scheduling, load balancing, and all the computations performed by the devices, are considered the “cyber” component. The supported infrastructure, such as servers and switches, are modeled as the “physical” component of the CPS. We perform detailed modeling of the thermal characteristics displayed by the major components of the CPS. Moreover, we propose a thermal-aware control strategy that uses a high-level centralized controller and a low-level centralized controller to manage and control the thermal status of the cyber components at different levels. Our proposed strategy is testified and demonstrated by executing on a real DC workload and comparing it with three existing strategies, i.e., one classical and two thermal-aware strategies. Furthermore, we also perform formal modeling, analysis, and verification of the strategies usin
URI: http://142.54.178.187:9060/xmlui/handle/123456789/1226
ISSN: 1937-9234
Appears in Collections:Journals

Files in This Item:
File Description SizeFormat 
7361984.htm115 BHTMLView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.