Application Variability Adaptaer (AVA, Module 1), New Devices Finder (NDF, Module 2), EDAF (Edge-Deployment Alternatives Finder) and Energy Consumption and Latency Minimizer (ECLAM, Module 4)

The "Proof of concept" directory applies our modules to the real world scenario of the University Campus presented in the paper. In the first case, the application should be adapter according to the infrastructure's capabilities, so the AVA returns the information needed to do so. In the second scenario, the application must provide a specific set of functionalities, so the NDF returns the minimal set of devices (with the minimal configuration) to provide such a functionality. In the third, the developer wants to know the alternatives of deployment that satisfy the application's requirements (ECLAM), while in the fourth one the developer wants to minimize the energy consumption, latency or both (ECLAM).   

The "Benchmark" directory contains a Benchmark version of the modules, which allows: setting the number of nodes and features in case of Module 1; nodes and services in case of Module 2; and tasks and nodes in case of Modules 3 and 4. The characteristics of the devices (CPU, RAM, workload, etc.) and tasks (connections, computational load, hardware and software requirements, time restrictions, etc.) are randomly generated.

Requirements

- Python (https://www.python.org/). Remember to include python as environment variable. 
- Z3 solver for Python (https://pypi.org/project/z3-solver/).

Usage

Go to the modules directory and run:  <python .\script_name.py>