Mathematical Modelling of Software Failures

The problematic issues of modeling evaporation-condensation in the numerical study of non-stationary heat and mass transfer in cryogenic processes are considered. The statement of the problem of calculating the parameters of a multi-phase turbulent flow in a closed region is given when approximating the free surface by the liquid volume method, the use of which makes it possible to track the vertical displacement of the phase boundary in the process of changing the cryoproduct parameters over time. A description of evaporation-condensation models suitable for use in non-stationary calculations of flows in a closed region together with the liquid volume method is given. The possibility of using the Lee evaporation-condensation model and the model based on the law of particle diffusion is demonstrated as applied to calculations on simple computational grids. The results of calculations of the change in the pressure of a cryogenic product during non-drainage storage using various models of boiling-condensation are presented. The obtained simulation results were used in the accumulation of a database of storage parameters in the system for remote monitoring of the state of cryogenic equipment. The data are estimated storage times for various reference pressures and liquid levels in the vessel, with each external heat flux value having a specific estimated no-drain storage time.

Keywords

heat and mass transfer; non-drainage storage; computational fluid dynamics; evaporation-condensation model; tank container.

References

1. Dubrova E. Fault Tolerant Design. Switzerland, Springer, 2013.
2. Bogomolov A.V., Larkin E.V., Privalov A.N. Mathematical Models of Software Failures of Digital Control Systems. Scientific and Technical Information. Series 2: Information Processes and Systems, 2025, no. 1, pp. 1-9.
3. Larkin E., Privalov A., Bogomolov A., Akimenko T. Digital Control of Continuous Production with Dry Friction at Actuators. Smart Innovation, Systems and Technologies, 2022, vol. 232, pp. 427-436.
4. Privalov A.N., Larkin E.V., Bogomolov A.V. Reliability Modeling of Software Components of Cyber-Physical Systems. Software Products and Systems, 2025, no. 1, pp. 47-54.
5. Aital P., Sashikala P. Role of Software Reliability Models in Performance Improvement and Management. Journal of Software Engineering and Applications, 2021, vol. 5, no. 9, pp. 737-742.
6. Sanchez-Silva M., Klutke G.-A. Reliability and Life-Cycle Analysis of Deteriorating Systems. Switzerland, Springer, 2016.
7. Naes A., Leira B.J., Batsevych O. System Reliability Analysis by Enhanced Monte Carlo Simulation. Structural Safety, 2009, vol. 31, no. 5, pp. 349-355.
8. Golosovskiy M.S., Bogomolov A.V., Tobin D.S. Algorithm for Setting Fuzzy Logical Inclusion Systems Based on Statistical Data. Automatic Documentation and Mathematical Linguistics, 2023, vol. 57, no 1, pp. 1-9.
9. Larkin E., Akimenko T., Bogomolov A., Sharov V. Reliability of Robot'S Controller Software. Interactive Collaborative Robotics. Lecture Notes in Computer Science, 2023, vol. 14214, pp. 289-299.
10. Shatnavi O. Measuring Commercial Software Operational Reliability. An Interdisciplinary Modelling Approach. Eksploatacia i Niezawodnose - Maintenance and Reliability, 2014, vol. 16, no. 4, pp. 585-594.
11. Shatnawi O. Testing-Effort Dependent Software Reliability Model for Distributed Systems. International Journal of Distributed Systems and Technologies, 2013, no. 4, pp. 1-14.
12. Janssen J., Manca R. Applied Semi-Markov Processes. New York, Springer, 2006.
13. Q. Jiang, H.-S. Xi, B.-Q. Yin Event-Driven Semi-Markov Switching State-Space Control Processes. IET Control Theory and Applications, 2012, vol. 6, no. 12, pp. 1861-1869. DOI: 10.1049/iet-cta.2011.0174
14. Bielecki T.R., Jakubowski J., Nieweglowski M. Conditional Markov Chains: Properties, Construction and Structured Dependence. Stochastic Processes and Their Applications, 2017, vol. 127, no. 4, pp. 1125-1170.
15. Cherney D., Denton T., Thomas R. Linear Algebra. California, Davis, 2013.
16. Pavlov A.V. About the Equality of the Transform of Laplace to the Transform of Fourier. Issues of Analysis, 2016, vol. 5 (23), no. 4 (76), pp. 21-30.
17. Jianhui Li, C.G. Farquharson, Hu Xiangyun. Three Effective Inverse Laplace Transform Algorithms for Computing Time-Domain Electromagnetic Responses. Geophysics, 2015, vol. 81, no. 2, pp. 75-90.
18. Larkin E.V., Privalov A.N., Bogomolov A.V. Discrete Approach to Simulating Synchronized Relay Races. Automatic Documentation and Mathematical Linguistics, 2020, vol. 54, no. 1, pp. 43-51.
19. Barack O., Huang L. Assessment and Prediction of Software Reliability in Mobile Applications. Journal of Software Engineering and Applications, 2020, vol. 13, no. 9, pp. 179-190.
20. Inoue S., Yamada S. Lognormal Process Software Reliability Modeling with Testing Effort. Journal of Software Engineering and Applications, 2013, vol. 6, no. 4, pp. 8-14.
21. Kobayashi H., Marl B.L., Turin W. Probability, Random Processes and Statistical Analysis. London, Cambridge University Press, 2012.
22. Tobin D., Bogomolov A., Golosovskiy M. Model of Organization of Software Testing for Cyber-Physical Systems. Cyber-Physical Systems: Modelling and Industrial Application. Studies in Systems, Decision and Control, 2022, vol. 418, pp. 51-60.
23. Larkin E.V., Bogomolov A.V., Privalov A.N., Dobrovolsky N.N. Relay Races Along a Pair of Selectable Routes. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2018, vol. 11, no. 1, pp. 15-26. DOI: 10.14529/mmp180102
24. Larkin E.V., Bogomolov A.V., Privalov A.N., Dobrovolsky N.N. Discrete Model of Paired Relay-Race. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2018, vol. 11, no. 3, pp. 72-84. DOI: 10.14529/mmp180306
25. Larkin E., Bogomolov A., Privalov A. Discrete Model of Mobile Robot Assemble Fault-Tolerance. Interactive Collaborative Robotics. Lecture Notes in Computer Science, 2019, vol. 11659, pp. 204-215.
26. Larkin E.V., Akimenko T.A., Bogomolov A.V. Modeling the Reliability of the Onboard Equipment of a Mobile Robot. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2021, vol. 21, no. 3, pp. 390-399. DOI: 10.18500/1816-9791-2021-21-3-390-399
27. Lu Hongyuan, Guodong Pang, M. Mandjes A Functional Central Limit Theorem for Markov Additive Arrival Processes and its Applications to Queueing Systems. Queueing Systems, 2016, vol. 84, no. 3, pp. 381-406.
28. Grigelionis B.I. On the Convergence of Sums of Step Random Processes to the Poisson Process. Probability Theory and Its Applications, 1963, vol. 8, no. 2, pp. 189-194. (in Russian)