Abstract
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.
Publisher
Krasnoyarsk Science and Technology City Hall
Reference15 articles.
1. 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
2. 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.
3. 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.
4. 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
5. Kotenok A.V. Implementation of multiversion voting algorithms. Bulletin of the University Complex. 2004; 3(17): 86 93.