{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T00:26:02Z","timestamp":1769732762264,"version":"3.49.0"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1109\/tdsc.2025.3556715","type":"journal-article","created":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T13:52:46Z","timestamp":1743601966000},"page":"4942-4953","source":"Crossref","is-referenced-by-count":1,"title":["A Stochastic Model for Evaluating the Aging Impact on Satellite Systems\u2019 Availability"],"prefix":"10.1109","volume":"22","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\/0009-0002-0830-0684","authenticated-orcid":false,"given":"Luan","family":"Lins","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7415-1640","authenticated-orcid":false,"given":"Paulo","family":"Pereira","sequence":"additional","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":"263","reference":[{"key":"ref1","article-title":"Global positioning system GPS standard positioning service","year":"2020"},{"key":"ref2","article-title":"Nasa\u2019s exploration in-space services","year":"2022"},{"key":"ref3","first-page":"1","article-title":"Global positioning system (GPS) civil monitoring performance specification, 3rd edition","author":"Hansen","year":"2020"},{"key":"ref4","first-page":"1","article-title":"On-orbit satellite servicing study project report","year":"2020"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1016\/j.ress.2022.109039","article-title":"Reliability modeling for power converter in satellite considering periodic phased mission","volume":"232","author":"Zeng","year":"2023","journal-title":"Rel. Eng. Syst. Saf."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S0373463319000602"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-0029-5_12"},{"key":"ref8","article-title":"Gu.s. mission unvie, \u201cU.S. statement - agenda item 9 - global navigation satellite systems- 60th session of the STSC of copuos","author":"Ryan","year":"2023"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/9781316163047"},{"key":"ref10","article-title":"Marshall solar physics","year":"2014"},{"key":"ref11","article-title":"Reports international committee on global navigation satellite systems, Jan. 1","year":"2023"},{"key":"ref13","article-title":"SIS per-satellite coverage, global positioning system standard positioning service performance standard","author":"Navstar","year":"2020"},{"key":"ref14","article-title":"GPS performance availability","author":"Force","year":"2022"},{"key":"ref15","article-title":"3.7.1 SIS per-slot availability","author":"Navstar","year":"2020"},{"key":"ref16","article-title":"A new method for analysis of multi-state systems based on multi-valued decision diagram under epistemic uncertainty","volume-title":"Rel. Eng. Syst. Saf.","author":"Zaitseva","year":"2022"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1016\/j.ress.2016.08.027","article-title":"MDD-based performability analysis of multi-state linear consecutive-K-out-of-N: F systems","volume":"166","author":"Mo","year":"2017","journal-title":"Rel. Eng. Syst. Saf."},{"issue":"1","key":"ref18","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1109\/TNSE.2018.2869167","article-title":"Reliability analysis of IoT networks with community structures","volume":"7","author":"Mo","year":"2020","journal-title":"IEEE Trans. Netw. Sci. Eng."},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/SERIES1345"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1108\/IJQRM-06-2016-0081"},{"key":"ref21","first-page":"1","article-title":"Navstar GPS control segment to user support community interfaces ICD-GPS-240","author":"MIchael","year":"2021"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref23","article-title":"3.6.1 SIS continuity - unscheduled failure interruptions","author":"Navstar","year":"2020"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1201\/9781003306030"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/EMS.2013.102"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1201\/9781003306016"},{"key":"ref27","article-title":"Performance and dependability modeling with stochastic Petri nets","author":"Bilner","year":"2021"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2014.7063630"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18086-9_23"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"ref31","article-title":"Modelling and analysis of communication protocols using numerical Petri nets","author":"Symons","year":"1989"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2014.6974330"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2017.2650901"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62554-2_26"},{"key":"ref35","article-title":"3.7.2 SIS constellation availability","author":"Navstar","year":"2020"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9010155"},{"key":"ref37","article-title":"Astroscale, securing space sustainability","author":"Astroscale","year":"2021"},{"key":"ref38","first-page":"1","article-title":"Mercury: An integrated environment for performance and dependability evaluation of general systems","volume-title":"Proc. Ind. Track 45th Dependable Syst. Netw. Conf.","author":"Silva"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8858\/11150357\/10947330-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8858\/11150357\/10947330.pdf?arnumber=10947330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T18:53:29Z","timestamp":1757012009000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10947330\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":37,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2025.3556715","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9]]}}}