CoolSoftware Screencasts

This section provides screencast demonstrating and explaining the tools emerged from the CoolSoftware project.

Modelling and Simulation

The Screencast demonstrates how to model Cool Components and how to simulate their energy consumption. -> Screencast

Contract Checking

The Screencast presents our contract checking approach, which is needed to manage variablity in energy auto tuning systems. -> Screencast