Щодо аспектів специфікації і перевірки протоколів інтернету речей

Скорочена інформація про документ
dc.contributor.authorТіменко, Артур Валентинович
dc.contributor.authorTimenko, Artur V.
dc.date.accessioned2021-01-15T09:28:14Z
dc.date.available2021-01-15T09:28:14Z
dc.date.issued2019
dc.descriptionТіменко, А. В. Щодо аспектів специфікації і перевірки протоколів інтернету речей = On the aspects of iot protocols specification and checking / А. В. Тіменко // Shipbuilding & Marine Infrastructure. – 2019. – № 2 (12). – С. 35–41.uk_UA
dc.description.abstractАнотація. Сучасний рівень складності різноманітних програмних систем зумовлює потребу адаптації та доопрацювання процесу розроблення таких систем належним чином. Показовими прикладами останніх є системи, побудовані згідно з концепцією Інтернету речей, що, зокрема, передбачає застосування спеціалізованих протоколів взаємодії компонентів. Концепція Інтернету речей охоплює мільярди різнорідних «розумних» пристроїв, що взаємодіють один з одним на основі різноманітних протоколів. З огляду на варіативність протоколів взаємодії та їх реалізацій виникає проблема сумісності таких пристроїв. Разом із цим варто відзначити, що під час проектування різного роду систем, наприклад систем критичного призначення, все більшого поширення набуває використання формальних методів, зокрема методів перевірки на моделі. Робота адресується вирішенню проблеми перевірки сумісності компонентів систем Інтернету речей шляхом автоматизованого застосування методів перевірки на моделі. Мета роботи – запропонувати підхід до вирішення проблеми перевірки сумісності компонентів систем Інтернету речей за рахунок застосування методу перевірки на моделі. Методика полягає в наступному: спочатку синтезується абстрактна специфікація, потім ця специфікація деталізується і перевіряється методом перевірки на моделі в автоматизованому режимі. Як результат запропоновано підхід до перевірки сумісності компонентів систем Інтернету речей, що полягає в автоматизованій формальній верифікації протоколів взаємодії. Синтез специфікації протоколу MQTT згідно з запропонованим підходом розглядається як тематичне дослідження.uk_UA
dc.description.abstract1Abstract. Modern level of diverse software systems complexity stipulates the engineering process to be adapted and refined appropriately. The demonstrative examples of such systems are the ones from the Internet of Things domain that, in particular, imply the usage of specialized communication protocols. The concept of the Internet of Things encompasses the billions of heterogeneous smart devices communicating to each other through different protocols. Taking into consideration the variation of communication protocols and its implementations, the interoperability problem arises. Moreover, it should be noted that during the designing of diverse systems, the safety-critical ones in particular, the practice of formal methods usage, especially the model checkers, is becoming more and more popular. The work is addressed to solving the interoperability problem of the Internet of Things domain by way of automated model checking. Goal – to propose an approach to solving the interoperability problem in the Internet of Things domain by way of model checking method usage. The technique applied is as follows: synthesize the abstract specification first, and then this specification should be detailed and formally checked in an automated manner. Results obtained – an approach to checking the interoperability between the components of the Internet of Things system has been proposed. The approach is based on automated formal verification of communication protocols. Synthesis of MQTT protocol specification has been considered as a case study. The novelty of work is about the interpretation of interoperability checking problem from the viewpoint of consistency at communication protocols level. The practical value of the results obtained is about the possibility of application of the approach proposed in order to exclude the unexpected scenarios of the Internet of Things System’s components communication, communication failures in particular.uk_UA
dc.identifier.issn2409-3858 (Print)
dc.identifier.issn2519-1845 (Online)
dc.identifier.urihttps://eir.nuos.edu.ua/handle/123456789/3411
dc.language.isoukuk_UA
dc.relation.ispartofseriesУДК;004.052.42
dc.subjectIoTuk_UA
dc.subjectпротоколuk_UA
dc.subjectспецифікаціяuk_UA
dc.subjectверифікаціяuk_UA
dc.subjectперевірка на моделіuk_UA
dc.subjectсумісністьuk_UA
dc.subjectQoSuk_UA
dc.subjectTLAuk_UA
dc.subjectIoTuk_UA
dc.subjectprotocoluk_UA
dc.subjectspecificationuk_UA
dc.subjectverificationuk_UA
dc.subjectmodel checkinguk_UA
dc.subjectinteroperabilityuk_UA
dc.subjectQoSuk_UA
dc.subjectTLAuk_UA
dc.titleЩодо аспектів специфікації і перевірки протоколів інтернету речейuk_UA
dc.title.alternativeOn the aspects of iot protocols specification and checkinguk_UA
dc.typeArticleuk_UA

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Timenko.pdf
Розмір:
310.08 KB
Формат:
Adobe Portable Document Format
Опис:
стаття
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
2.99 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

№ 2 (12) 2019