The aim of this team project was to apply stochastic modeling techniques to model a 'Dynamic Server Allocation for Energy Efficiency'.
Power consumption in data centers receive a huge concern by data center providers and that’s why in this project we have modeled a policy, using the Performance Evaluation Process Algebra (PEPA) language, that it will dynamically perform the powering on or off of the servers in order to minimize the power consumption according to the demand.
The development of the previously presented task was based taking as a starting point the publication "Dynamic Server Allocation for Energy Efficiency" done by Nigel Thomas and Ali Alssaiari (2016).
All the material was developed for the 'Formal Methods for System Verification' Ca' Foscari University master's degree course in 'Software Dependability and Cyber Security' (2019/2020).
The project documentation and analysis are available visiting the following resources:
Moreover it also has been made available the source files for either the documentation and presentation (Written using Latex)
The material is available under the Apache 2.0.