{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T03:19:36Z","timestamp":1777346376377,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,26]]},"DOI":"10.1145\/3697090.3699866","type":"proceedings-article","created":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T07:06:08Z","timestamp":1733900768000},"page":"175-178","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4724-0610","authenticated-orcid":false,"given":"Esau","family":"Bermudez","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4021-9069","authenticated-orcid":false,"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Esau Bermudez and Djamel Fawzi\u00a0Hadj Sadok. 2020. Energy Consumption of a LoRaWAN Network using Jarvis Algorithm. 2020 15th International Conference for Internet Technology and Secured Transactions (ICITST) (2020) 1\u20136. https:\/\/api.semanticscholar.org\/CorpusID:232043550","DOI":"10.23919\/ICITST51030.2020.9351345"},{"key":"e_1_3_3_1_3_2","unstructured":"Henz Bilner and Gianfranco Ciardo. 2021. Performance and Dependability Modeling with Stochastic Petri Nets. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Yu chang Mo Liudong Xing Lirong Cui and Shubin Si. 2017. MDD-based performability analysis of multi-state linear consecutive-k-out-of-n: F systems. Reliab. Eng. Syst. Saf. 166 (2017) 124\u2013131. https:\/\/api.semanticscholar.org\/CorpusID:9008208","DOI":"10.1016\/j.ress.2016.08.027"},{"key":"e_1_3_3_1_5_2","first-page":"1","volume-title":"2020 DEPARTMENT OF TRANSPORTATION GPS Civil Monitoring Performance Specification","author":"J Hansen\u00a0Andrew","year":"2020","unstructured":"Hansen\u00a0Andrew J. 2020. GLOBAL POSITIONING SYSTEM (GPS) CIVIL MONITORING PERFORMANCE SPECIFICATION, 3rd Edition. In 2020 DEPARTMENT OF TRANSPORTATION GPS Civil Monitoring Performance Specification. DEPARTMENT OF TRANSPORTATION United States Of America, 1\u201351."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-0029-5_12"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1201\/9781003306030"},{"key":"e_1_3_3_1_8_2","volume-title":"Marshall Solar Physics","year":"2014","unstructured":"NASA. 2014. Marshall Solar Physics. Technical Report Apr. https:\/\/solarscience.msfc.nasa.gov\/, Accessed Date Feb 1 2024."},{"key":"e_1_3_3_1_9_2","first-page":"1","volume-title":"NASA\u2019s Exploration In-space Services","author":"NASA NExIS","year":"2022","unstructured":"NExIS NASA. 2022. NASA\u2019s Exploration In-space Services. Technical Report May. 1\u201326 pages. https:\/\/nexis.gsfc.nasa.gov\/, Accessed Date Feb 14 2024."},{"key":"e_1_3_3_1_10_2","unstructured":"US\u00a0Department of\u00a0Defense NAVSTAR. 2020. 3.6.1 SIS Continuity - Unscheduled Failure Interruptions. https:\/\/www.gps.gov\/systems\/gps\/performance\/ Accessed Date Feb 4 2024."},{"key":"e_1_3_3_1_11_2","volume-title":"3.7.1 SIS Per-Slot Availability","author":"NAVSTAR US\u00a0e Department of Defense U. S. Space\u00a0Force","year":"2020","unstructured":"US\u00a0e Department of Defense U. S. Space\u00a0Force NAVSTAR. 2020. 3.7.1 SIS Per-Slot Availability. Technical Report April. https:\/\/www.gps.gov\/systems\/gps\/performance\/, Accessed Date Feb 4 2024."},{"key":"e_1_3_3_1_12_2","unstructured":"US\u00a0Department of Defense US\u00a0DoD. 2020. Global positioning system GPS standard positioning service. https:\/\/www.gps.gov\/systems\/gps\/performance\/ Accessed Date Feb 4 2024."},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/EMS.2013.102"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Ying Zeng Tudi Huang Yan-Feng Li and Hong-Zhong Huang. 2023. Reliability modeling for power converter in satellite considering periodic phased mission. Reliability Engineering and System Safety 232 (2023) 109039. 10.1016\/j.ress.2022.109039","DOI":"10.1016\/j.ress.2022.109039"}],"event":{"name":"LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing","location":"Recife Brazil","acronym":"LADC 2024"},"container-title":["Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3699866","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3697090.3699866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:33Z","timestamp":1750295853000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3699866"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":13,"alternative-id":["10.1145\/3697090.3699866","10.1145\/3697090"],"URL":"https:\/\/doi.org\/10.1145\/3697090.3699866","relation":{},"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"2024-12-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}