An increase in the number of volatile renewables in the electricity grid enhances the imbalance of supply and demand. One promising candidate to solve this problem is to improve the energy storage. The Ecovat system is a new seasonal thermal energy storage system currently under development. In this paper, an integer linear programming model is developed to describe the behaviour and potential of this system. Furthermore, it is compared with a previously developed model, which is simplifying the behaviour of the Ecovat system much more, but is much less computationally expensive. It is shown that the new approach performs significantly better for several cases. For controlling a real Ecovat system in the future we may incorporate a number of improvements identified by our comparison analysis into the previously developed approach, which may help increase the quality of the obtained results without increasing the computational effort too much.