GreenContinuum: A Formal Model of a Smart Grid-Aware Edge-Cloud Continuum for Carbon and Energy Management

The Edge-Cloud Continuum is a large-scale, loosely coupled system consisting of multiple stakeholders, regions, dynamic infrastructures, and conflicting objectives. With surging growth and demand, the Continuum's energy and carbon footprint have massively increased, resulting in great operational expense, environmental impact, and strain on power grids. Methods to mitigate this face significant challenges: Quality of Service (QoS) guarantees must be balanced against not only carbon emissions, but the loadings, capacities, and QoS of the (smart) grids that power the underlying infrastructure. Integrated models to enable reasoning across both a Continuum and its associated Smart Grids are therefore required. This work presents a formal model to reason across the integration of Smart Grids and the Edge-Cloud Continuum. Firstly, we identify the components, interactions, and properties crucial to mitigating cross-Continuum energy and carbon footprint while maintaining user, provider, and power grid QoS. We then present associated mathematical models to enable a model-based simulation to be developed based on our work. We present this simulation (all code is available for download) and use a simple scheduling algorithm to demonstrate the feasibility of utilizing knowledge from both the Smart Grid and Edge-Cloud Continuum for carbon and energy management, showing that significant savings are possible.