Reliability Model of Multiprocessor Hardware-Software Complexes of Real-Time Control Systems with Multi-Version Software

Reliability is a critical parameter of real-time control systems. In practice, the reliability of hardware and software complexes included in such systems, is ensured by creating redundancy of hardware components and a multi-version approach to software development. But the redundant reservation of hardware devices and too many versions of software can lead to unjustified growth in the cost of creating and operating the projected control system. A rational approach to the design requires the creation of a model, which allows evaluating the reliability of different hardware and software complex configurations at the design stage. We proposed a mathematical reliability model of hardware and software complexes of real-time control systems, built with the use of mathematical apparatus of the queueing theory, which is a system of differential equations for the probability of finding states in the system, in which one or another component of the hardware and software complex is faulty. From the system of differential equations, the system of linear algebraic equations for probabilities of states in a steady-state mode was obtained. An analytical solution of this system is given, which allows us to evaluate the reliability of multiprocessor hardware-software complexes with multi-version software without significant expenditure of computational resources. Possibilities of using the results obtained to optimize the reliability of multiprocessor hardware-software complexes with multi-version software are presented and directions
for further research are proposed

References

[1] Vasil’ev V.A., Legkov K.E., Levko I.V. Real-time systems and their application. Informatsiya i kosmos [Information and Space], 2016, no. 3, pp. 68--70 (in Russ.).

[2] Buttazzo G. Hard real-time computing systems: predictable scheduling algorithms and applications. New York, Springer, 2011.

[3] Kumar S. Fundamental limits to Moore’s law. Available at: https://arxiv.org/abs/1511.05956 (accessed: 05.03.2020).

[4] Lipaev V.V. Ekonomika proizvodstva programmnykh produktov [Economics of soft-ware development]. Moscow, Sinteg Publ., 2011.

[5] Kovalev I.V., Solov’ev E.V., Kovalev D.I., et al. This article discusses a method particle swarm (MRCH) and the possibility of its application to the problem of forming multiversioning software. Pribory i sistemy. Upravlenie, kontrol’, diagnostika [Instruments and Systems: Monitoring, Control and Diagnostics], 2013, no. 3, pp. 1--6 (in Russ.).

[6] Kovalev I.V., Losev V.V., Saramud M.V., et al. To the question of implementation of multi-version execution environment software of onboard autonomous pilotless objects by means of real-time operating system. Vestnik SibGAU, 2017, no. 1, pp. 58--61 (in Russ.).

[7] Efimov S.N., Terskov V.A. Rekonfiguriruemye vychislitel’nye sistemy obrabotki informatsii i upravleniya [Reconfigurable computing systems for information processing and management]. Krasnoyarsk, KrIZhT IrGUPS Publ., 2013.

[8] Efimov S.N., Tyapkin V.N., Dmitriev D.D., et al. Methods of assessing the characteristics of the multiprocessor computer system adaptation unit. J. Siberian Federal University. Mathematics & Physics, 2016, vol. 9, no. 3, pp. 288--295. DOI: https://doi.org/10.17516/1997-1397-2016-9-3-288-295

[9] Avizienis A. The N-version approach to fault-tolerant software. IEEE Trans. Soft. Eng., 1985, vol. SE-11, no. 12, pp. 1511--1517. DOI: https://doi.org/10.1109/TSE.1985.231893

[10] Lashkov A.A. Solution of SLAE with sparse matrix by reducing to a bordered block-diagonal form. Protsessy upravleniya i ustoychivost’ [Control Processes and Stability], 2014, vol. 1, no. 1, pp. 347--351 (in Russ.).

[11] Yuldashev A.V., Gatiyatullin M.Z. A comparative study of efficiency of several libraries implementing algorithms for solving sparse linear systems on NVidia GPUS. Vektor nauki Tol’yattinskogo gosudarstvennogo universiteta [Science Vector of Togliatti State University], 2012, no. 4, pp. 130--134 (in Russ.).

[12] Evart T.E., Lazareva A.B. Algorithm of solving systems of linear algebraic equations with sparse matrices. Privolzhskiy nauchnyy vestnik [Privolzhsky Scientific Journal], 2013, no. 12-2, pp. 91--92 (in Russ.).

[13] Goldberg D.E. Genetic algorithms in search, optimization and machine learning. New York, Addison-Wesley, 1989.

[14] Efimov S.N., Egorov A.S., Semenkin E.S. [Genetic programming algorithm with auto-detected functions for the selection of special processors MCS for data mining in real time]. Informatsionnye tekhnologii i matematicheskoe modelirovanie [Information Technologies and Mathematical Modelling]. Tomsk, TGU Publ., 2006, pp. 223--225 (in Russ.).

[15] Galushin P.V. Design and analysis of asymptotic probabilistic genetic algorithm. Zhurnal Sibirskogo federal’nogo universiteta. Ser. Matematika i fizika [Journal of Siberian Federal University. Mathematics and Physics], 2012, no. 1, pp. 49--56 (in Russ.).

[16] Semenkin E., Semenkina M. Stochastic models and optimization algorithms for decision support in spacecraft control systems preliminary design. Informatics in Control, Automation and Robotics, Lecture Notes in Electrical Engineering, 2014, vol. 283, pp. 51--65. DOI: https://doi.org/10.1007/978-3-319-03500-0_4