Diplomová práca sa zaoberá analýzou vlastností vonkajšieho a vnútorného prostredia budov, možnosťami vykurovania a chladenia. Dôraz je kladený najmä na energetickú náročnosť a vplyv počasia na vývoj teplôt v budove počas roka. Vytvorený model prostredníctvom nástroja UPPAAL SMC popisuje správanie vykurovania a chladenia počas roka a zisťuje energetickú náročnosť zadanej budovy. Samotný model budovy je možné čiastočne upraviť pomocou vytvoreného uživateľského rozhrania.The thesis deals with the analysis of the properties of the external and internal environment of the buildings, the possibilities of heating and cooling. The emphasis is mainly on the energy intensity and the impact of weather conditions on the building temperature during the ...