Kharchenko, V.Ponochovnyi, Y. L.Boyarchuk, A.Qahtan, A.-S.M.Поночовний, Юрій Леонідович2019-02-132019-02-132017Kharchenko, V., Ponochovnyi, Y., Qahtan, A.-S.M., Boyarchuk, A. Security and availability models for smart building automation systems (2017) International Journal of Computing, 16 (4), pp. 194-202.https://www.scopus.com/inward/record.uri?eid=2-s2.0-85040017443&partnerID=40&md5=ff1cecc461a23524f2e8478dd6471072https://dspace.pdau.edu.ua/handle/123456789/2177This article presents the information on control system of smart building, which is considered as a set of subsystems including a building automation system. The paper considers the three-level architecture of the building automation system components, including FPGA, communication and management levels. It is determined that the causes of failures and inaccessibility of the BAS architecture component can be both internal system and external factors, among which software defects and vulnerabilities are identified. BAS security and availability during its life cycle are assessed using the Fault-, Attack- and Availability-Tree and Markov models. Markov model is used to develop a number of strategies which help to recover system and to eliminate all the possible threats during systems life time. The models of BAS architecture with software defects and attacked vulnerabilities with general reliability (defect) and security (vulnerability) maintenance are analyzed in detail. The recommendations on the choice of strategies and service parameters are given.enBuilding automation systemMaintenances strategiesArticle