Научная статья на тему 'Инструменты верификации программ управления беспилотными транспортными средствами'

Инструменты верификации программ управления беспилотными транспортными средствами Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
98
17
i Надоели баннеры? Вы всегда можете отключить рекламу.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Франтасов Дмитрий Николаевич, Мельников Павел Андреевич, Климась Анна Сергеевна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Инструменты верификации программ управления беспилотными транспортными средствами»

ИНСТРУМЕНТЫ ВЕРИФИКАЦИИ ПРОГРАММ УПРАВЛЕНИЯ БЕСПИЛОТНЫМИ ТРАНСПОРТНЫМИ СРЕДСТВАМИ

1 2 3

Франтасов Д.Н. , Мельников П.А. , Климась А.С.

1Франтасов Дмитрий Николаевич - кандидат технических наук, кафедра прикладной математики, информатики и информационных систем;

2Мельников Павел Андреевич - студент;

3Климась Анна Сергеевна - студент, кафедра информационных систем и технологий, факультет строительства железных дорог и информационных технологий, Самарский государственный университет путей сообщения, г. Самара

На сегодняшний момент создание беспилотных транспортных средств является одним из путей повышения транспортной эффективности. Разработка автономного, не подверженного влиянию «человеческого фактора» транспортного средства позволит решить ряд проблем, таких как:

- безопасность движения;

- эффективная трата энергоресурсов;

- эффективное совместное использование.

Уже давно в мире ведется разработка беспилотных транспортных средств. Со временем и развитием технологий возможность создавать беспилотные транспортные средства появилась практически у каждого человека. Однако в процессе разработки таких транспортных средств инженеры сталкиваются с множеством проблем и одной из главных является написание программы управления движением, учитывающую возможные внешние факторы для бесперебойного движения.

На данный момент уже существует несколько видов беспилотного транспорта, которые работают под управлением программ без вмешательства людей. И для создания ПО для беспилотных транспортных средств каждый разработчик создаёт инструменты, жестко связанные с его областью и мало универсальные [1]. Это сильно тормозит развитие данной области, так как свободным разработчикам очень трудно для каждого нового транспортного средства писать всю программу с нуля и, при необходимости, даже создавать специальные инструменты для конкретных случаев.

Так как сейчас не существует общедоступной программы, которая могла бы выполнять такие функции, как построение программы автономного действия беспилотного устройства, предлагается начать с создания конструктор программ для бесперебойной работы беспилотных транспортных средств. Он призван помочь инженерам при проектировании программ управления беспилотных транспортных средств. Он позволяет заранее просчитать какая комбинация команд позволит устройству функционировать бесперебойно, а какая приведет к сбою на каком-либо этапе, таким образом можно проверить все возможные варианты выполнения

программы, и понять, на каком именно произошла ошибка или сбой, для того, чтобы можно было предпринять меры по оптимизации программы. Также конструктор может сам предлагать разработчикам варианты избавления от конфликтных ситуаций.

Данный инструмент, при указании показателей потребляемой мощности, позволяет рассчитывать максимальную потребляемую энергию и ее критический уровень, что позволит заранее рассчитать все возможные затраты энергии в процессе работы беспилотного транспортного средства и, по возможности, максимально снизить энергопотребление беспилотного транспортного средства в процессе выполнения определенной программы. После построения корректной программы конструктор автоматически должен формировать всю необходимую документацию по ней и предоставлять ее разработчику в нужном виде.

В дальнейшем планируется формирование сообщества разработчиков беспилотных транспортных средств вокруг платформы, предоставляемой на базе веб-платформы. Это позволит быстрее развивать саму программу, а также может дать толчок развитию беспилотных транспортных средств во многих сферах человеческой деятельности. После образования «сообщества» веб-платформа может стать одним из центров генерации идей и разработки технологий для беспилотного транспорта.

Список литературы

1. Разработка информационной поддержки процесса проектирования управляющих алгоритмов бортовых комплексов управления космических аппаратов. / А.А. Калентьев, Ю.М. Сыгуров. Вестник Самарского государственного аэрокосмического университета. № 1 (21), 2010. С. 58-62.

i Надоели баннеры? Вы всегда можете отключить рекламу.