Ponochovnyi, Y. L.Kharchenko, V.Morozova, O.Поночовний, Юрій Леонідович2023-11-232023-11-232022https://doi.org/10.1016/B978-0-323-90240-3.00013-8https://dspace.pdau.edu.ua/handle/123456789/15438Y. Ponochovniy, V. Kharchenko, and O. Morozova. Modeling and availability assessment of smart building automation systems with multigoal maintenance. In System Assurances: Modeling and Management. 1st Ed., Editors: Prashant Johri, Adarsh Anand, Juri Vain, Jagvinder Singh, Mohammad Quasim, Academic Press, 2022. P.209-228.The rapid development of virtualization technologies and the cloud computing environment creation have led to the development and implementation of new versions of IT-systems architectures, for which it is necessary to take into account, evaluate, and provide indicators of computer systems and Web Services dependability. These include various systems, in particular smart building automation system (BAS)enDynamic programming methodautomation systemssmart buildingdevelopment technologiesgoals and contributionArticle