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 year. The model created by UPPAAL SMC describes the behavior of heating and cooling during the year and identifies the energy demand of the given building. The building model itself can be partially modified using the built-in user interface.

This project deals with given safeguard possibilities, both mechanical and electronic. A row house with garden was chosen for being secured. Subsequently, were elaborated two`s proposals of securing and guarding of this object. First, was based on camera`s system and second on common system ESS. Later on they were evaluated and the most considerable benefits were emphasized. A system based on control panel with connected detectors was selected upon specification. Subsequently was created a model of the chosen system, at which the required behaviour was simulated and verified. An outline of an implementation was created in the C language.