К ВОПРОСУ РЕАЛИЗАЦИИ МУЛЬТИВЕРСИОННОЙ СРЕДЫ ИСПОЛНЕНИЯ БОРТОВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АВТОНОМНЫХ БЕСПИЛОТНЫХ ОБЪЕКТОВ СРЕДСТВАМИ ОПЕРАЦИОННОЙ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ : научное издание

Описание

Перевод названия: TO THE QUESTION OF IMPLEMENTATION OF MULTI-VERSION EXECUTION ENVIRONMENT SOFTWARE OF ONBOARD AUTONOMOUS PILOTLESS OBJECTS BY MEANS OF REAL-TIME OPERATING SYSTEM

Тип публикации: статья из журнала

Год издания: 2017

Ключевые слова: мультиверсионная среда исполнения, голосование, задача, циклограмма, сообщения, очереди, надежность, модуль, multi-version execution environment, voting, tasks, cyclogram, messages, queue, reliability, module

Аннотация: Рассматриваются вопросы функциональной и алгоритмической реализации мультиверсионной среды исполнения модулей как компонентов бортового программного обеспечения автономных беспилотных объектов средствами операционной системы реального времени. Приведен один из подходов к реализации мультиверсионной среды исполнения - реализация приПоказать полностьюнципа псевдопараллельности, а именно, имитация параллельного исполнения задач (тредов) путем разделения времени их исполнения. Определено, что функциональный потенциал рассматриваемой операционной системы, выраженный в наличии планировщика тредов и временной базы как инструмента выполнения действий через строго выделенные интервалы времени, механизма очередей, обмена сообщениями, способен быть использован в качестве функциональной поддержки изыскиваемой среды. Также озвучена возможность портирования, т. е. адаптирования к исполнению на однокристальных микроЭВМ (микроконтроллерах), что, в свою очередь, способствует возможности апробации идеи на доступных инструментальных средствах. Циклограммой реализован процесс обмена сообщениями между несколькими тредами как процедуры возврата результата голосования посредством механизма очередей, который является безопасным способом взаимодействия тредов друг с другом и решает проблему совместного доступа нескольких тредов к одному аппаратному ресурсу, роль которого в данном случае играет память. Также приведены основные API-функции, сопровождающие процесс алгоритмизации обмена сообщениями, такие как запуск планировщика, создание тредов, создание очереди, запись в очередь, чтение из нее и пр. Рассматриваемый механизм обмена сообщениями совместно с планировщиком и системой приоритетов, реализуемые средствами операционной системы реального времени, позволяют выстраивать более гибкие алгоритмы вотирования (голосования), способные варьировать весами N-версионных модулей и, как следствие, влиять на показатели надежности мультиверсионного программного обеспечения, в том числе для реализации мультиверсионной среды исполнения бортового программного обеспечения автономных беспилотных объектов. The article deals with the functional and algorithmic implementation of multi-version execution environment of modules as components of the onboard software of autonomous pilotless objects by means of real-time operating system. One of the approaches to implement multi-version execution environment implementation of the principle of a pseudo-parallelism (imitation of concurrent execution of tasks (threads) by dividing the time of their execution) are given. It was determined that the functional capacity of the operating system, expressed in the presence of threads scheduler and time base, as a tool for the implementation of actions through a strictly selected intervals, queuing mechanism, messaging, capable of being used as a functional support of sought environment. The article also announced the possibility of porting, which is adapting to the execution on the single-chip microcomputers (microcontrollers), which, in turn, contributes to capability of testing the idea on available workbench. Messaging process between multiple threads has been implemented by cyclogram, as the procedure of returning of voting result by queuing mechanism, which is a safe way of interaction of threads with each other and solves the problem of sharing multiple threads to the same hardware resources, whose role in this case played by memory. The main API-functions accompanying process of algorithmization of the exchange of messages, such as start scheduler, the creation of threads, creating of the queue, entry in the queue, reading out and others are shown. In the article it is viewed messaging mechanism, in conjunction with the scheduler and priority system implemented by real-time operating system, allow building more flexible algorithms of voting, that can vary the weights of N-versioned modules, and as a result, affect the reliability indices of multi-version software, including for implementation multi-version execution environment of onboard software of autonomous pilotless objects.

Ссылки на полный текст

Издание

Журнал: Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева

Выпуск журнала: Т. 18, 1

Номера страниц: 58-61

ISSN журнала: 18169724

Место издания: Красноярск

Издатель: Сибирский государственный аэрокосмический университет имени академика М.Ф. Решетнева

Персоны

  • Ковалев И.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Лосев В.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Сарамуд М.В. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Ковалев Д.И. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)
  • Петросян М.О. (Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева)

Вхождение в базы данных