@ARTICLE{Kabashkin_Igor_Dependability_2024,
 author={Kabashkin, Igor and Glukhikh, Sergey},
 volume={vol. 70},
 number={No 1},
 journal={International Journal of Electronics and Telecommunications},
 pages={39-44},
 howpublished={online},
 year={2024},
 publisher={Polish Academy of Sciences Committee of Electronics and Telecommunications},
 abstract={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.},
 type={Article},
 title={Dependability model of automated intelligent regenerative life support system for space missions},
 URL={http://journals.pan.pl/Content/130691/5-4448-Kabashkin-sk.pdf},
 doi={10.24425/ijet.2024.149512},
 keywords={life support system, dependability, automation, modelling, Petri net},
}