Шановні колеги! ХІ Міжнародна науково-практична конференція «Інформатика. Культура. Техніка» (25.09.2025 – 26.09.2025) (Детальніше)

Поведінкова верифікація систем інтернету речей на основі мереж Петрі

Автор(и)

  • Олександр Миколайович Мартинюк Одеський національний політехнічний університет, пр. Шевченка, 1, Одеса, Україна, 65044 http://orcid.org/0000-0003-1461-2000
  • Олександр Валентинович Дрозд Одеський національний політехнічний університет, пр. Шевченка, 1, Одеса, Україна, 65044 https://orcid.org/0000-0003-2191-6758
  • Сергій Анатольевич Нестеренко Oдеський національний політехнічний університет, пр. Шевченко, 1, Одеса, Україна, 65044 http://orcid.org/0000-0002-3757-6594
  • Тамем Ахмеш Одеський національний політехнічний університет, пр. Шевченка, 1, Одеса, Україна, 65044 http://orcid.org/0000-0001-7342-4339

DOI:

https://doi.org/10.15276/aait.04.2019.4

Ключові слова:

системи Інтернет речей, поведінкова верифікація, мережа Петрі, покриття перевіряються властивостей, складність верифікації

Анотація

Швидкий розвиток, впровадження у всіх сферах людської діяльності та зростаюча відповідальність функцій Інтернет- систем речей посилюють і ускладнюють вимоги до надійності їх проектних рішень на етапах розробки та працездатності під час впровадження в життя. Загальновідомі методи перевірки проектів та реалізацій базуються на засобах системного, структурного, функціонального, конструкторсько-технологічного аналізу та синтезу Інтернет-систем речей. Однак їхні можливості не занижують доцільність розробки формалізованих моделей та методів перевірки. У цьому дослідженні представлені елементи технології та етапи методології перевірки поведінки проектів функціонального рівня для Інтернет- систем речей, представлених за допомогою мереж Петрі. Загальна перевірка представлена трьома етапами - аналіз правильності загальних структурних та функціональних властивостей, фактична перевірка міжрівневих та міжкомпонентних взаємодій, поведінкове тестування в режимі онлайн та офлайн у класі помилок функціонального типу. У запропонованому аналізі визначаються основні сутності та взаємозв'язки систем речей Інтернету речей та перевіряються архітектурний рівень, що визначає структуру, компоненти, функції, інтерфейси, взаємодії асинхронно-подій та представляють елементи мереж Петрі - їхні позиції, переходи, дуги , функції, розмітка. Тестування в Інтернеті та офлайн для динамічної перевірки поведінки в Інтернеті систем речей проводиться на основі відповідно фону або спеціального формування багатьох технологічних потоків в мережі Петрі, активованих під час її моделювання та охоплення об'єктів мережі Петрі . У цій роботі представлені загальні оцінки витрат ресурсів та часу на проектування Інтернет-систем речей без перевірки та з верифікацією, показано їх зменшення у разі помилок проектування, перероблення та застосування верифікації. Перевірка проілюстрована на прикладі мереж Петрі, що імітують автоматичну систему освітлення.

Завантаження

Дані завантаження ще не доступні.

Біографії авторів

Олександр Миколайович Мартинюк, Одеський національний політехнічний університет, пр. Шевченка, 1, Одеса, Україна, 65044

канд. техніч. наук, доцент, доцент кафедри комп’ютерних інтелектуальних систем і мереж

Олександр Валентинович Дрозд, Одеський національний політехнічний університет, пр. Шевченка, 1, Одеса, Україна, 65044

доктор техніч. наук, професор кафедри комп’ютерних інтелектуальних систем і мереж

Сергій Анатольевич Нестеренко, Oдеський національний політехнічний університет, пр. Шевченко, 1, Одеса, Україна, 65044

доктор техніч. наук, професор кафедри комп’ютерних інтелектуальних систем і мереж, проректор

Тамем Ахмеш, Одеський національний політехнічний університет, пр. Шевченка, 1, Одеса, Україна, 65044

аспірант кафедри комп’ютерних інтелектуальних систем і мереж

Опубліковано

2019-12-24

Як цитувати

[1]
Martynyuk O.N.., Drozd O.V., Nesterenko S.A., Ahmesh T. “Behavioral verification of internet of things systems by Petri nets”. Applied Aspects of Information Technology. 2019; Vol. 2, No. 4: 295-303. DOI:https://doi.org/10.15276/aait.04.2019.4.

Статті цього автора (авторів), які найбільше читають