РАЗРАБОТКА МОДЕЛЕЙ И АЛГОРИТМОВ ДЛЯ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОГО ФУНКЦИОНИРОВАНИЯ БТС В ТРАНСПОРТНОЙ СРЕДЕ «УМНОГО ГОРОДА»

* Объектом исследования является безопасное функционирование беспилотных транспортных средств (БТС) в транспортной среде “умного города”. Цели работы – формирование методологического обеспечения по организации безопасного управления БТС в транспортной среде “умного города” в аспекте автоматического управления и координации, а также разработки высокоуровневых защищенных интерфейсов БТС. Методы или методология проведения работы – использованы: метод сетевых вычислений для задания временных ограничений при анализе ИБ, а также классические подходы к обработке ошибок измерения и разработанные участниками проекта оригинальные алгоритмы корректировки бесплатформенной инерциальной навигационной системы. Результаты работы. Сформирована комплексная информационная модель кибербезопасности БТС как киберфизической системы, позволяющей анализировать сценарии доступа к активам и обмена информации между ними; по результатам исследования методов интеллектуального анализа данных в задаче детектированию вредоносных запросов на получение доступа к управлению БТС разработан алгоритм и программный модуль, предназначенный для защиты интерфейса КФС системы с помощью системы многофакторной аутентификации; разработан моделирующий комплекс для исследования особенностей функционирования навигационных систем и датчиков БТС в условиях ухудшения их характеристик со временем (деградации); разработано алгоритмическое и программное обеспечение, предназначенное для выполнения алгоритма обучения с подкреплением БТС в толпе на основе подхода Soft Actor-Critic, а также и тестирования предобученных моделей. Научная новизна представленного проекта. Разработан метод, в котором для оценки доступности КФС для оценки временных характеристик КФС непосредственно не используется статистический анализ или предположения о статистических свойствах измеримых параметров системы, Впервые апробированы механизмы рекурсивного кусочного хеширования для выявления вредоносных сигнатур в трафике КФС. Обобщен алгоритм расширения локальной карты препятствий для случая неточных показаний дальномеров БТС. Разработаны новые подходы к валидации киберфизических систем с применением цифровых двойников. Разработана методика оценки качества программного обеспечения БТС, объединяющая модели управления безопасностью и концепции адаптивного тестирования.