To the question on implementation of multi-version execution environment software of onboard autonomous unmanned objects by means of real-time operating system

Автор: Kovalev I.V., Losev V.V., Saramud M.V., Kovalev D.I., Petrosyan M.O., Brezitskaya V.V.

Журнал: Сибирский аэрокосмический журнал @vestnik-sibsau

Рубрика: Математика, механика, информатика

Статья в выпуске: 4 т.18, 2017 года.

Бесплатный доступ

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 implementation multi-version execution environment - implementation of the princi- ple of a pseudo-parallelism (imitation of concurrent execution of tasks by dividing the time of their execution) are given. Messaging process between multiple tasks implemented by cycloram, as the procedure of returning of voting result by queuing mechanism.

Multi-version programming, reliability, real-time operating system, execution environment

Короткий адрес: https://sciup.org/148177756

IDR: 148177756

Список литературы To the question on implementation of multi-version execution environment software of onboard autonomous unmanned objects by means of real-time operating system

  • Ковалев И. В., Семенько Т. И., Царев Р. Ю. Методология оценки и повышения надежности программно-информационных технологий и структур/Федер. агентство по образованию; Краснояр. гос. техн. ун-т. Красноярк, 2005. 160 c.
  • Multiversion environment creation for control algorithm execution by autonomous unmanned objects/I. V. Kovalev //IOP Conference Series: Materials Science and Engineering V International Workshop on Mathematical Models and their Applications 2016 (7-9 November 2016, Krasnoyarsk). 2017. Vol. 173. Р. 012025.
  • Ковалев И. В. Анализ проблем в области исследования надежности программного обеспечения: многоэтапность и архитектурный аспект//Вестник СибГАУ. 2012. Вып. № 3 (55). C. 78-92.
  • Стельмах В. О., Ковалев И. В. Построение отказоустойчивых систем управления на основе мультиверсионного подхода//Информационно-телекоммуникационные системы и технологии (ИТСИТ-2012): материалы Всерос. молодеж. конф. 2012. С. 172-173.
  • Ковалёв П. В. Графоаналитический метод анализа мультиверсионных архитектур программного обеспечения//Международный журнал прикладных и фундаментальных исследований. 2009. № 6. С. 70.
  • Kovalev I., Zelenkov P., Ognerubov S. The minimization of inter-module interface for the achievement of reliability of multi-version software//Reshetnev Readings: IOP Conference. Series: Materials Science and Engineering, 17. 2015. Р. 012006.
  • Kovalev I. V., Zelenkov P. V., Tsarev M. Y. The control of developing a structure of a catastrophe-resistant system of information processing and control//Reshetnev Readings: IOP Conference. Series: Materials Science and Engineering, 17. 2015. Р. 012008.
  • Ковалев И. В., Юнусов Р. В. Мультиверсион-ный метод повышения программной надежности информационно-телекоммуникационных технологий в корпоративных структурах//Телекоммуникации и информатизация образования. 2003. № 2. С. 50-55.
  • Kovalev I. V., Dgioeva N. N., Slobodin M. Ju. The mathematical system model for the problem of multiversion software design//International Conference on Modelling and Simulation, MS'2004. AMSE/French Research Council, CNRS, Rhone-Alpes Region, Hospitals of Lyon. Lyon-Villeurbanne, 2004.
  • Ковалев И. В., Слободин М. Ю., Ступина А. А. Математическая постановка задачи проектирования n-версионных программных систем // Проблемы машиностроения и автоматизации. 2005. № 3. С. 16-23.
  • Engel E. А., Kovalev I. V. Information processing using intelligent algorithms by solving wcci 2010 tasks//Вестник СибГАУ. 2011. № 3. С. 4-8.
  • Оценка надежности АСУ с блокирующими модулями защиты/И. В. Ковалев //Приборы. 2013. № 6. С. 20-23.
  • Характеристика надежности программных модулей/М. В. Сарамуд //Материалы XIX Междунар. науч.-практ. конф., посвященной 55-летию Сибирского государственного аэрокосмического университета имени академика М. Ф. Решетнева/СибГАУ. Красноярск, 2015. Ч. 2. С. 87-88.
Еще
Статья научная