Andrade, Ermeson Carneiro deFarias, Daniel Castro de2025-07-242024-02-28FARIAS, Daniel Castro de. A modeling-based approach for dependability analysis of a constellation of satellites. 2024. 24 f. Trabalho de Conclusão de Curso (Bacharelado em Ciência da Computação) – Departamento de Computação, Universidade Federal Rural de Pernambuco, Recife, 2025.https://arandu.ufrpe.br/handle/123456789/7430Satellite 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.24 f.en-USopenAccesshttp://creativecommons.org/licenses/by-nc-nd/4.0/Satélites artificiaisConstelações de satélitesConfiabilidadeManutenibilidadeRedes de Petri estocásticasModelagembachelorThesisAttribution-NonCommercial-NoDerivatives 4.0 International