Програмні моделі та методи безпечної взаємодії автономних транспортних сутностей

Abstract

Метою роботи є розроблення програмних моделей, алгоритмів та методології проєктування, які забезпечують безпечну та захищену взаємодію автономних транспортних сутностей. Об’єктом дослідження є процес взаємодії автономних та підключених транспортних сутностей у динамічному середовищі дорожнього руху. Предметом дослідження є методи, програмні моделі та алгоритми забезпечення безпечної кооперативної взаємодії автономних транспортних систем на основі V2V-комунікацій, відносного позиціонування та формальних моделей верифікації. Результати дослідження В роботі виконано інтеграцію контрактного аналізу з фреймворком Arrowhead, що забезпечує формальну верифікацію та підвищення рівня кіберзахищеності транспортних систем Висновок Виконано практичну імплементацію методології на прикладі колони автономних транспортних засобів, що дозволило продемонструвати ефективність запропонованих рішень у задачах платонування.