A modeling-based approach for dependability analysis of a constellation of satellites

Daniel Farias,Bruno Nogueira,Ivaldir Farias Júnior,Ermeson Andrade
DOI: https://doi.org/10.1007/s10270-024-01197-7
2024-07-26
Software & Systems Modeling
Abstract:Satellite constellations play critical roles across various sectors, encompassing communication, Earth observation and space exploration. Ensuring the dependable operation of these constellations is of utmost importance. This paper introduces a dependability modeling approach using stochastic Petri nets to analyze satellite constellations. The primary focus is on improving operational efficiency through the assessment of availability, reliability and maintainability. The approach helps satellite designers make informed decisions when selecting constellation configurations by assessing various dependability metrics. Using a global navigation satellite system as a case study, we conduct extensive numerical experiments to evaluate the feasibility of our approach. The results demonstrate quantitatively the significant impact of redundant components on both reliability and availability. They also illustrate how utilizing satellites in repair and operational orbits can influence these metrics and highlight the direct correlation between reliability and maintainability.
computer science, software engineering
What problem does this paper attempt to address?