pdf (English)
Опубликован
2023-07-12
Выпуск
Раздел
Системный анализ, управление и обработка информации
Лицензия
Copyright (c) 2023 D. I. Kovalev, P. K. Zaitsev
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
Журнал «Информатика. Экономика. Управление» / «Informatics. Economics. Management» публикует материалы на условиях лицензии CreativeCommons Attribution 4.0 International (CC BY 4.0), размещенной на официальном сайте некоммерческой корпорации Creative Commons: 
This work is licensed under a Creative Commons Attribution 4.0 International License.
Это означает, что пользователи могут копировать и распространять материалы на любом носителе и в любом формате, адаптировать и преобразовывать тексты, использовать контент для любых целей, в том числе коммерческих. При этом должны соблюдаться условия использования — указание автора оригинального произведения и источника: следует указывать выходные данные статей, предоставлять ссылку на источник, а также указывать, какие изменения были внесены.
Как цитировать
Improving decision-making algorithms on the correctness of the states of multiversions of fault-tolerant software systems
D. I. Kovalev
https://orcid.org/0000-0003-2128-6661
P. K. Zaitsev
https://orcid.org/0000-0002-6564-2325
DOI: https://doi.org/10.47813/2782-5280-2023-2-3-0201-0209
Ключевые слова: software, algorithm, reliability-critical application, fault-tolerant system, decision-making
Аннотация
The task of improving the algorithms for making decisions about the correctness of the states of multiversions is relevant today for the development of fault-tolerant software systems. The article considers a class of decision-making algorithms that are implemented in the execution environment of multi-version program modules. This execution environment includes a decision block, which, based on the principle of voting, allows you to get the correct decision at the output, filtering out the erroneous results of the execution of software versions. Advanced algorithms allocate the output results of multiversion triggering into classes or subsets, which are then analyzed for correctness. This approach is characterized by the fact that it allows you to increase the stability of the runtime environment to interversion errors. This, in turn, helps to improve the fault tolerance of software systems used in reliability-critical applications.
Биографии авторов
D. I. Kovalev
Ковалев Дмитрий Игоревич, аспирант, кафедра Информационных технологий и математического обеспечения информационных систем, Красноярский государственный аграрный университет, Красноярск, Россия
P. K. Zaitsev
Зайцев Павел Константинович, аспирант, кафедра Информатики, Сибирский федеральный университет, Красноярск, Россия
Библиографические ссылки
Kovalev I., Losev V., Saramud M., Petrosyan M. Model implementation of the simulation environment of voting algorithms, as a dynamic system for increasing the reliability of the control complex of autonomous unmanned objects. MATEC Web of Conferences. 2017; 132: 04011. https://doi.org/10.1051/matecconf/201713204011 DOI: https://doi.org/10.1051/matecconf/201713204011
Kovalev I.V., Zavyalova O.I., Laikov A.N. Formation of redundant software for fault-tolerant control systems. News of higher educational institutions. Instrumentation. 2008; 51(10): 30-34.
Kovalev I.V., Slobodin M.Ju., Tsarev R.Ju. Multi-version design of fault-tolerant software in control systems. Engineering & Automation Problems. 2006. 1: 61-69.
Kulyagin A. V., et al. N-version design of fault-tolerant control software for communications satellite system. 2015 International Siberian Conference on Control and Communications. SIBCON 2015 Proceedings, Omsk, 21-23 May 2015. Omsk; 2015: 7147116. https://doi.org/10.1109/SIBCON.2015.7147116 DOI: https://doi.org/10.1109/SIBCON.2015.7147116
Kotenok A.V. Implementation of multiversion voting algorithms. Bulletin of the University Complex. 2004; 3(17): 86 93.
Kotenok A.V. Environment for multiversion execution of program modules. Bulletin of the University Complex. 2006; 6(20): 219 238.
Kovalev I.V., Kotenok A.V. On the problem of choosing a decision-making algorithm in multiversion systems. Information Technology. 2006; 9:39-44.
Kovalev I.V., Slobodin M.Yu., Tsarev R.Yu. Taking into account the subjective preferences of the decision maker in the multiversion design of automated control systems. Control systems and information technologies. 2005; 1(18): 44-49.
Saramud M.V., Kovalev I.V., Losev V.V., Petrosyan M.O. Software interfaces and decision block for the execution environment of multi-version software in real-time operating systems. International Journal on Information Technologies and Security. 2018; 10(1): 25-34.
Engel E. А., Kovalev I. V. Information processing using intelligent algorithms by solving WCCI 2010 tasks. Siberian Aerospace Journal. 2011; 3(36): 4-8.
Kovalev I.V., Zelenkov P.V., Karaseva M.V., Tsarev M.Y., Tsarev R.Y. Model of the reliability analysis of the distributed computer systems with architecture "Client-Server". IOP Conf. Ser.: Mater. Sci. Eng. 2015; 70: 012009. https://doi.org/10.1088/1757-899X/70/1/012009 DOI: https://doi.org/10.1088/1757-899X/70/1/012009
Kovalev I.V. Analysis of problems in the field of software reliability research: multi-stage and architectural aspect. Siberian Aerospace Journal. 2014; 3(55): 78-92.
Kovalev I.V., Kovalev D.I., Ambrosenko N.D., Borovinsky D.V. Analysis of test problems of multiversion formation of fault-tolerant software systems. Modeling, optimization and information technology. 2022; 10(2). https://doi.org/10.26102/2310-6018/2022.37.2.003
Kovalev I.V., Nova A.V., Shtentsel A.V. Estimation of the reliability of the multiversion software architecture of control and information processing systems. Siberian Aerospace Journal. 2008; 3(20): 50-52.
Gruzenkin, D., Shavarin, D. Recovery blocks method to improve software reliability: comparison with N-version programming. Modern Innovations, Systems and Technologies. 2022; 2(3): 0127–0138. https://doi.org/10.47813/2782-2818-2022-2-3-0127-0138 DOI: https://doi.org/10.47813/2782-2818-2022-2-3-0127-0138
