Dependability Model of Automated Intelligent Regenerative Life Support System for Space Missions



Long-duration human space missions require intelligent regenerative life support systems that can recycle resources and automatically manage failures. This paper explores using Petri nets to model the reliability and complex interactions of such closed-loop systems. An architecture consisting of primary systems, backups, and consumable reserves is outlined. The automation system that controls everything is described. Petri nets can capture concurrency, failure modes, redundancy, and dynamic behavior. A modular modeling methodology is presented to develop hierarchical Petri net models that scale in fidelity. Elementary fragments represent failures and redundancy. Subsystem modules can be substituted for more detailed models. Analysis and simulation assess system reliability and failure response. This supports designing ultra-reliable systems to safely sustain human life in space.

Author Biographies

Igor Kabashkin, Transport and Telecommunication Institute

Igor Kabashkin is Professor of Transport and Telecommunication Institute (TTI) in Riga, Latvia. He holds a Radio Engineering Diploma (1977), he has PhD in Aviation (1981), Doctor Degree in Aviation (1993), Doctor Habilitatus Degree in Engineering (1993). He is author of more than 400 research books and papers and 69 patents.

He was President of Transport and Telecommunication Institute (2005-2014), Vice-Rector for research and development affairs of Riga Aviation University (1994-1999) and had the same position in TTI (1999-2005). Igor Kabashkin is Member of Joint OECD/ITF Transport Research Centre (since 2003), Member of Latvian Academy of Science (since 1998), President of Latvian Transport Development and Education Association (since 2007). He is actual member of the IEEE, International Academy of Astronautics, American Institute of Aeronautics and Astronautics and others.

Igor Kabashkin is chief-editor of the international research journals "Transport and Telecommunication"(Latvia), Member of the board of the journals “Journal of Aviation Technology and Engineering” (Purdue University, USA), “Transport” (Lithuania) and “Journal of Modern Computing” (Estonia-Latvia-Lithuania) and others.

The main area of professional interests: Transport Telematics and Logistics, Analysis and Modelling of Complex Systems, Operations Research, Information Technology Applications, Electronics and Telecommunication,        Decision Support Systems, Air Traffic Control Systems.

Sergey Glukhikh, Transport and Telecommunication Institute

Research Department, Researcher


I. Kabashkin and S. Glukhikh, “Reliability model of bioregenerative reactor of life support system for deep space habitation,” in Dependable Computer Systems and Networks, W. Zamojski et al., Eds. Cham: Springer, pp. 105–117, 2023.

X. Pan, S. Ding, W. Zhang, T. Liu, L. Wang, and L. Wang, “Probabilistic risk assessment in space launches using Bayesian network with fuzzy method,” Aerospace, vol. 9, p. 311, 2022.

S. Glukhikh, “Reliability model of autonomous transport with life support systems based on closed biotechnological complexes,” in Reliability and Statistics in Transportation and Communication, I. Kabashkin and I. Yatskiv, Eds. Cham: Springer, pp. 354–366, 2023.

L. Carnevali, L. Ciani, A. Fantechi, G. Gori, and M. Papini, “An efficient library for reliability block diagram evaluation,” Appl. Sci., vol. 11, p. 4026, 2021.

N. Bäuerle, “Markov models,” in Optimization and Operations Research, U. Derigs, Ed., vol. 4. Eolss Publishers, pp. 26–48, 2009.

J. L. Garland and C. Hall, “A simple, mass balance model of carbon flow in a controlled ecological life support system,” NASA Rep., 1989. Available:

K. Lange and M. Anderson, “Reliability impacts in life support architecture and technology selection,” in Proc. 42nd Int. Conf. Environmental Systems, 2012.

D. Wiksten and J. Swanson, “Accelerated life testing of spacecraft subsystems,” NASA TM-33-575, 1973. Available:

J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ, USA: Prentice Hall, 1981.

I. Kabashkin, “Reliability model of intelligent transport systems,” in Proc. IEEE 7th Int. Conf. ITS Telecommunications, Sophia Antipolis, pp. 1–4, 2007.

Petri Nets Tools Database. [Online]. Available: