In this work, we present a hybrid infrastructure, named NECADA, which supports the execution of a detailed simulation model representing all building processes on a supercomputer, cloud, cluster of computers or desktop environments. The aim of this infrast ructure is to find optimal values for various building parameters and the associated impacts to reduce the energy demand or consumption of the building or the residential area . The infrastructure combines both, formal languages and co - simulation in order to obtain a complete unambiguous definition of the model, using the best tools to simulate any model component.