Научная электронная библиотека ULRICH'S Periodicals Directory

Сибирский государственный университет
науки и технологий имени академика М.Ф. Решетнева

Сибирский аэрокосмический журнал
ISSN 2712-8970 (Print) ISSN 2782-5760 (on-line)

Сведения об образовательной организации

UDK 004.41(075.8)
TO THE QUESTION OF IMPLEMENTATION OF MULTI-VERSION EXECUTION ENVIRONMENT SOFTWARE OF ONBOARD AUTONOMOUS PILOTLESS OBJECTS BY MEANS OF REAL-TIME OPERATING SYSTEM
I. V. Kovalev, V. V. Losev*, M. V. Saramud, D. I. Kovalev, M. O. Petrosyan
Reshetnev Siberian State Aerospace University 31, Krasnoyarsky Rabochy Av., Krasnoyarsk, 660037, Russian Federation
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.
Keywords: multi-version execution environment, voting, tasks, cyclogram, messages, queue, reliability, module.
References

1. Kovalev I. V., Semenko T. I., Tsarev R. Yu. Metodologiya otsenki i povysheniya nadezhnosti programmno-informatsionnykh tekhnologiy i struktur [The assessment of methodology and improvement of the reliability of software and information technologies and

structures]. Krasnoyarsk, Feder. Education Agency, Krasnoyarsk state technical University Publ., 2005, 160 p.

2. Kovalev I. V. et al. Multiversion environment creation for control algorithm execution by autonomous unmanned objects. IOP Conference Series: Materials Science and Engineering V International Workshop on Mathematical Models and their Applications 2016 7–9 November 2016. 2017, Vol. 173, P. 012025.

3. Kovalev I. [Analysis of problems in the field of research of software reliability: the multistage and the architectural aspect]. Vestnik SibGAU. 2012, No 3 (55), P. 78–92 (In Russ.).

4. Barry R. Using the FreeRTOS Real Time Kernel: ARM Cortex-M3 Edition. Real Time Engineers, 2010, P. 196.

5. Kovalev I. V. et al. Instrumental’nye sredstva formirovaniya mul’tiversionnoi arkhitektury otkazoustoichivykh programmnykh system [Tools multiversioning formation of fault-tolerant architecture of software systems]. Krasnoyarsk, M-vo sel’skogo khoz-va Rossiiskoi Federatsii, Krasnoyarskii gos. agrarnyi un-t Publ., 2011, P. 152.

6. Stel’makh V. O., Kovalev I. V. [Building on the basis of fault-tolerant control systems multiversionnyh approach]. Materialy vserossiiskoi molodezhnoi konferentsii “Informatsionno-telekommunikatsionnye sistemy i tekhnologii (ITSIT-2012)” [Information and Telecommunication Systems and Technologies (ITSIT 2012): Proc. youth]. 2012, P. 172–173.

7. Kovalev P. V. [Graphic-analytical method for the analysis of software architectures multiversionnyh]. Mezhdunarodnyi zhurnal prikladnykh i fundamental’nykh issledovanii, Akademiya estestvoznaniya. 2009, No. 6, P. 70 (In Russ.).

8. Kovalev I. V., Zelenkov P. V., Ognerubov S. The minimization of inter-module interface for the achievement of reliability of multi-version software. IOP Conference Series: Materials Science and Engineering 17. Сер. XVII International Scientific Conference “Reshetnev Readings” 2015, P. 012006.

9. 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. IOP Conference Series: Materials Science and Engineering 17. Сер. XVII International Scientific Conference “Reshetnev Readings”. 2015, P. 012008.

10. Kovalev I. V. [Multiversioned views method for increasing software reliability information and telecommunication technologies in corporate structures]. Telekommunikatsii i informatizatsiya obrazovaniya. 2003, No. 2, P. 50–55 (In Russ.).

11. Kovalev I. V., Dgioeva N. N., Slobodin M. Ju. The mathematical system model for the problem of multiversion software design. Proceedings of Modelling and Simulation, MS’2004 AMSE : Intern. Conf. on Modelling and Simulation, MS’2004. AMSE, French Research Council, CNRS, Rhone-Alpes Region, Hospitals of Lyon. Lyon-Villeurbanne, 2004.

12. Kovalev I. V., Slobodin M. Ju., Stupina A. A. [Mathematical formulation of the problem of designing n-version software systems]. Problemy mashinostroeniya i avtomatizacii. 2005, No. 3, P. 16–23 (In Russ.).

13. Engel E. А., Kovalev I. V. [Information processing using intelligent algorithms by solving wcci 2010 tasks]. Vestnik SibGAU. 2011, No. 3 (36), P. 4–8 (In Russ.).

14. Losev V. V., Kovalev I. V. [Reengineering information support of integrated systems of production management]. Pribory. 2010, No. 3 (117), P. 31–36 (In Russ.).

15. Kovalev I. et al. Evaluation of the reliability of ACS with blocking protection modules. Pribory. 2013, No. 6, P. 20–23 (In Russ.).


Kovalev Igor Igorevich – postgraduate student, Reshetnev Siberian State Aerospace University. Е-mail:

grimm7jow@gmail.com.

Losev Vasiliy Vladimirovich – Cand. Sc., Docent, Department of Automation of Production Processes, Institute of

Informatics and Telecommunications, Reshetnev Siberian State Aerospace University. Е-mail: basilos@mail.ru.

Kovalev Igor Vladimirovich – Dr. Sc., Professor, Department of System Analysis, Rector, Reshetnev Siberian State

Aerospace University. E-mail: kovalev.fsu@mail.ru.

Saramud Mikhail Vladimirovich – postgraduate student, Reshetnev Siberian State Aerospace University. Е-mail:

saramud@bk.ru.

Petrosyan Mariam Onikovna – postgraduate student, Reshetnev Siberian State Aerospace University. Е-mail:

mopetrosyan@gmail.com.