Швидкий розвиток, впровадження в усі сфери діяльності людини та зростання відповідальності виконуваних функцій систем Інтернет речей посилюють та ускладнюють вимоги до достовірності їх проектних рішень на етапах розробки та працездатності в ході експлуатації реалізацій. Відомі методи верифікації проектів і реалізацій спираються на засоби системного, структурного, функціонального, конструкторсько-технологічного аналізу та синтезу систем Інтернет речей. Однак їхній ресурс не применшує доцільність розвитку формальних моделей і методів верифікації, зокрема, їх комплексування на ранніх системно-функціональних етапах, де неминуче і істотно "ручне" проектування. Наведено елементи комплексної поведінкової верифікації проектів системно-функціонального рівня (СФР) для систем Інтернет речей, які подаються за допомогою вхідних UML-діаграм і проектованих мереж Петрі (МП). Верифікація включає на першому етапі "ручний" етап системного аналізу коректності сутностей і відносин вхідних UML-діаграм і простих МП, що виконується як їх покриття при активізації в візуальному моделюванні. Для цього етапу наведено загальні оцінки витрат на перепроектування в разі появи помилок. На другому етапі в верифікації СФР виконується автоматизований аналіз коректності більш складних МП, що відповідають реальним об'єктам, у середовищі CPN Tools із моделюванням їх поведінки та побудовою графа досяжних станів (розміток). В цьому випадку результат надає можливість динаміку роботи МП, оцінити наявність тупиків, висячих вершин, нескінченних циклів, властивості безпеки та жвавості та за необхідності виконати перепроектування. Спільне комплексне застосування системної "ручний" і функціональної автоматизованої верифікації для вхідних UML-моделей і проектованих моделей МП надає можливість скоротити час проектування систем Інтернет речей за рахунок виключення або своєчасного усунення проектних помилок.

• Дрозд Олена Володимирівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"