Задворний, Сергій Олександрович2026-05-062026-05-062026Задворний С. О. Метод аналізу надійності IoT-інфраструктур на основі редукції бінарних діаграм рішень : кваліфікаційна робота магістра : 123 Комп’ютерна інженерія / Хмельницький національний університет. Хмельницький, 2026. 107 с.https://elar.khmnu.edu.ua/handle/123456789/21036Стрімкий розвиток технологій Інтернету речей (IoT) та масове впровадження систем розумного будинку зумовили появу принципово нових вимог до надійності мережевих інфраструктур. Сучасна IoT-інфраструктура розумного будинку являє собою складну розподілену систему, що об'єднує десятки різнорідних пристроїв, таких як давачі, виконавчі механізми та мережеві шлюзи, взаємодія яких забезпечується через спільне бездротове середовище передачі даних. Саме ця архітектурна особливість породжує специфічний клас відмов, відсутній у традиційних технічних системах: поширювані відмови, за яких несправність одного компонента здатна ланцюговим чином вивести з ладу суміжні пристрої та призвести до повного відказу всієї інфраструктури.uk123 Комп’ютерна інженеріянадійністьінтернет речейбінарні діаграми рішеньредукціяМагістерські роботи