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

Igor Kabashkin, Sergey Glukhikh


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.

Full Text:



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:


  • There are currently no refbacks.

International Journal of Electronics and Telecommunications
is a periodical of Electronics and Telecommunications Committee
of Polish Academy of Sciences

eISSN: 2300-1933