004.021
Doi: 10.31772/2712-8970-2021-22-1-32-46
Multiversion model of software control systems for space vehicles with range of decision-making
Kartsan I. N., Efremova S. V.
Marine Hydrophysical Institute, Russian Academy of Sciences;
2, Каpitanskaya St., Sevastopol, 299011, Russian Federation.
Reshetnev Siberian State University of Science and Technology;
31, Krasnoiarskii Rabochi Prospekt, Krasnoyarsk, 660037, Russian Federation.
Sevastopol State University;
33, Universitetskaya St., Sevastopol, 299053, Russian Federation.
The paper presents a multi-version model with ranking of alternatives in order of preference, taking into account the dependence of the attributes in the design of software for spacecraft control systems of various classes. The applied software with a set of algorithms, based on the general scheme of the method of branches and borders allow determining the exact solution of the optimization problem.
To achieve the highest reliability of the software component of spacecraft control systems built with the use of multi-version programming methodology, a large number of versions of software modules are combined into a single structure.
While software complexes even without introduction of redundant elements are characterized as complex systems, there is no need to speak about wide use of enumerative methods for their formation.
Using the proposed modified method of ordered preference through similarity to an ideal solution, will allow to solve the problem of choosing the best computing system from a number of available systems. This approach is becoming increasingly possible because of the tremendous progress in computing design and manufacturing technology. Even the so-called personal computers provide computational capabilities that some time ago seemed impossible even for computers representing a much more powerful class of computing equipment - supercomputers.
Keywords: multi-version model, software, spacecraft control systems, algorithm, multi-attribute decision-making methods.
1. Volkov V. A. [Multiattribute
selection of fault-tolerant software components]. Vestnik universitetskogo kompleksa. 2006, No. 8 (22), P. 208–211. (In
Russ.)
2. Kovalev I. V., Savin S. V. [Optimal
formation of redundant structure for fault-tolerant information systems]. Issledovano v Rossii. 2004, No. 7, P. 1123–1129. (In Russ.)
3.
Kartsan I. N., Zhukov A. O., Platonov O. А., Efremova
S. V. The hardware and software implementation of the adaptive platform for an
onboard spacecraft control system. Journal
of Physics: Conference Series. 2019, Vol.
1399, No. 3, P. 033071.
4. Kartsan I. N., Efremova S. V.,
Khrapunova V. V., Tolstopiatov M. I. Choice of
optimal multiversion software for a small satellite ground-based control and
command complex. IOP
Conference Series: Materials Science and Engineering. 2018, Vol. 450, No. 2, P. 022015.
5. Kudymov V. I., Brezitskaya V. V.,
Zelenkov P. V., Kartsan I. N., Malanina Yu. N. Formation of optimal
composition of the modules of single-function multiversion software for
automated control system of the satellite communication system. IOP Conference Series: Materials
Science and Engineering. 2018, Vol. 450, No. 5, P. 052009.
6.
Kovalev I., Davydenko O. Interactive system for spacecraft
technological control cycle construction. Program
and Abstracts of Int. Symposium SOR’96. TU-Braunschweig (4–6 Sept. 1996).
1996, P. 195.
7. Stupina A. Realization of
conventional pattern of random search methods in the space of Boolean
variables. Optimization Days. 1997,
P. 98–112.
8. Yunusov R. V. [Modeling of software
architectures of automated control systems]. Materialy Vserossiiskoi elektronnoi nauch.-tekhn. konf. “Upravlyayushchie i vychislitel’nye sistemy. Novye
tekhnologii” [Materials of the All-Russian
Electronic Scientific and Technical Conf. “Management and computing systems. New Technologies”]. 2001, P. 60–61. (In
Russ.)
9. Antamoshkin A., Stupina A. The
random search algorithms in the space of Boolean variables. Symp. OR’97. Jena, 1997, P. 112–118.
10. Semenenko M. G., Kniazeva I. V.,
Beckel L. S., Rutskiy V. N., Tsarev R. Y., Yamskikh T. N., Kartsan I. N. How to use neural network and
web technologies in modeling complex technical systems. IOP Conference Series: Materials
Science and Engineering. 2019, Vol. 537, No. 3, P. 032095.
11. Semenko T. I. [Multiattributive
approach to the formation of fault-tolerant software control systems]. Successes of modern natural science.
2004, No. 6, P.
32–33. (In Russ.)
12. Kovalev I. V., Tsarev R. Yu. [Combined method
of multi-version spacecraft control software formation]. Aviation and Space Instrument Engineering. 2006, No. 9, P. 8–14. (In Russ.)
13. Tsarev R. Yu. Mnogoatributivnoe prinyatie reshenii v
mul'tiversionnom proektirovanii: monografiya [Multi-attributive
decision making in multiversion design : monograph]. Krasnoyarsk, IPC KSTU, 2005, 156 p.
14. Efremova S.
V., Kartsan I. N., Zhukov A. O. An
ordered ranking multi-attributive model for decision-making systems with
attributes of control systems software. IOP Conference Series: Materials
Science and Engineering. 2021, Vol. 1047, P. 012068.
15. Kartsan I. N. Models for Estimating the
Reliability of the Software of an Onboard Control System. Research journal of pharmaceutical biological and chemical sciences.
2018, Vol. 9, No. 5,
P. 2357–2367.
16. Tsarev R. Yu. [Analysis of
qualitative and quantitative attributes in the design phase of fault-tolerant
software systems]. Control systems and
information technologies. 2006, No. 3(25), P. 95–101. (In Russ.)
17. Tsarev R. Yu. [Compensation model of
multi-attribute decision making in the formation of management information
systems]. Problems of the theory and
practice of management. 2007, No. 9, P. 63–68. (In Russ.)
18. Tsarev R. Yu. [Attribute
transformation in multi-attribute decision making]. Мaterialy
V Mezhdunar. nauch. konf. “Reshetnevskie chteniya” [Materials V Intern. Scientific.
Conf “Reshetnev reading”]. Krasnoyarsk,
2001, P. 119–120. (In Russ.)
19. Ching-Lai Hwang, Kwangsun Yoon. Multiple Attribute Decision Making. Methods
and Application, Springer-Verlag,
Berlin, 1981, 255 p.
20. Stupina A., Volf P. Random point
processes. Siberian Aviation and Space
Salon. 2001,
P. 273–276.
21. Tynchenko V. S.,
Tynchenko V. V., Bukhtoyarov V. V., Tynchenko S. V., Petrovskyi E. A. The multi-objective optimization of complex
objects neural network models. Indian
Journal of Science and Technology. 2016, Vol. 9, No. 29, P. 99467.
22. Karaseva
M. V., Kartsan I. N., Zelenkov P. V. [Meta-search multi-linguistic system]. Vestnik SibGAU. 2007, No. 3 (16), P. 69–70. (In Russ.)
23.
Kartsan I. N. [The multiversion
software of the onboard control complex with genetic algorithm]. Мaterialy XXI Mezhdunar. nauch. konf.
“Reshetnevskie chteniya” [Materials XXI Intern. Scientific. Conf
“Reshetnev reading”]. Krasnoyarsk, 2017, P. 372–373 (In Russ.).