{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:29:40Z","timestamp":1786980580846,"version":"build-2736575974"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T00:00:00Z","timestamp":1721865600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T00:00:00Z","timestamp":1721865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1007\/s10270-024-01197-7","type":"journal-article","created":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T03:03:04Z","timestamp":1721876584000},"page":"209-224","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A modeling-based approach for dependability analysis of a constellation of satellites"],"prefix":"10.1007","volume":"24","author":[{"given":"Daniel","family":"Farias","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bruno","family":"Nogueira","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ivaldir Farias","family":"J\u00fanior","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ermeson","family":"Andrade","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,7,25]]},"reference":[{"issue":"1","key":"1197_CR1","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/COMST.2020.3028247","volume":"23","author":"O Kodheli","year":"2020","unstructured":"Kodheli, O., Lagunas, E., Maturo, N., Sharma, S.K., Shankar, B., Montoya, J.F.M., Duncan, J.C.M., Spano, D., Chatzinotas, S., Kisseleff, S.: Satellite communications in the new space era: a survey and future challenges. IEEE Commun. Surv. Tutor. 23(1), 70\u2013109 (2020)","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"3","key":"1197_CR2","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/s40295-023-00381-z","volume":"70","author":"M Bakhtiari","year":"2023","unstructured":"Bakhtiari, M., Abbasali, E., Daneshjoo, K.: Minimum cost perturbed multi-impulsive maneuver methodology to accomplish an optimal deployment scheduling for a satellite constellation. J. Astronaut. Sci. 70(3), 18 (2023)","journal-title":"J. Astronaut. Sci."},{"key":"1197_CR3","volume-title":"Satellite Communications Systems: Systems, Techniques and Technology","author":"G Maral","year":"2002","unstructured":"Maral, G., Bousquet, M.: Satellite Communications Systems: Systems, Techniques and Technology. Wiley, New York (2002)"},{"key":"1197_CR4","doi-asserted-by":"publisher","first-page":"1309940","DOI":"10.3389\/frspt.2023.1309940","volume":"4","author":"A Mariappan","year":"2023","unstructured":"Mariappan, A., Crassidis, J.: Kessler\u2019s syndrome: a challenge to humanity. Front. Space Technol. 4, 1309940 (2023)","journal-title":"Front. Space Technol."},{"key":"1197_CR5","unstructured":"Zhai, Y., Joerger, M., Pervan, B.: Continuity and availability in dual-frequency multi-constellation araim. In: Proceedings of the 28th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2015), pp. 664\u2013674 (2015)"},{"issue":"3","key":"1197_CR6","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1049\/iet-rsn.2018.5376","volume":"13","author":"Y Zhai","year":"2019","unstructured":"Zhai, Y., Zhan, X., Joerger, M., Pervan, B.: Impact quantification of satellite outages on air navigation continuity. IET Radar Sonar Navig. 13(3), 376\u2013383 (2019)","journal-title":"IET Radar Sonar Navig."},{"key":"1197_CR7","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental concepts of dependability. Department of Computing Science Technical Report Series (2001)"},{"key":"1197_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9170-5","volume-title":"Dependability: Basic Concepts and Terminology","author":"J-C Laprie","year":"1992","unstructured":"Laprie, J.-C.: Dependability: Basic Concepts and Terminology. Springer, Berlin (1992)"},{"key":"1197_CR9","volume-title":"SpaceX-Sailing Close to the Space Weather?","author":"M Hapgood","year":"2022","unstructured":"Hapgood, M., Liu, H., Lugaz, N.: SpaceX-Sailing Close to the Space Weather? Wiley, New York (2022)"},{"key":"1197_CR10","volume-title":"The OneWeb Satellite System","author":"Y Henri","year":"2020","unstructured":"Henri, Y.: The OneWeb Satellite System. Springer, Berlin (2020)"},{"key":"1197_CR11","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1002\/qre.1754","volume":"32","author":"Z Peng","year":"2016","unstructured":"Peng, Z., Lu, Y., Miller, A., Zhao, T., Johnson, C.: Formal specification and quantitative analysis of a constellation of navigation satellites. Qual. Reliab. Eng. 32, 345\u2013361 (2016). https:\/\/doi.org\/10.1002\/qre.1754","journal-title":"Qual. Reliab. Eng."},{"key":"1197_CR12","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.actaastro.2019.03.040","volume":"159","author":"I Del Portillo","year":"2019","unstructured":"Del Portillo, I., Cameron, B.G., Crawley, E.F.: A technical comparison of three low earth orbit satellite constellation systems to provide global broadband. Acta Astronaut. 159, 123\u2013135 (2019)","journal-title":"Acta Astronaut."},{"issue":"1","key":"1197_CR13","doi-asserted-by":"publisher","first-page":"222","DOI":"10.2514\/1.A34774","volume":"58","author":"S Miller","year":"2021","unstructured":"Miller, S., Walker, M.L., Agolli, J., Dankanich, J.: Survey and performance evaluation of small-satellite propulsion technologies. J. Spacecr. Rocket. 58(1), 222\u2013231 (2021)","journal-title":"J. Spacecr. Rocket."},{"issue":"11","key":"1197_CR14","doi-asserted-by":"publisher","first-page":"1597","DOI":"10.1016\/j.cageo.2008.01.004","volume":"34","author":"Y-W Lee","year":"2008","unstructured":"Lee, Y.-W., Suh, Y.-C., Shibasaki, R.: A simulation system for GNSS multipath mitigation using spatial statistical methods. Comput. Geosci. 34(11), 1597\u20131609 (2008)","journal-title":"Comput. Geosci."},{"key":"1197_CR15","doi-asserted-by":"publisher","DOI":"10.3390\/rs13071262","author":"L Shi","year":"2021","unstructured":"Shi, L., Du, S., Miao, Y., Lan, S.: Modeling and performance analysis of satellite network moving target defense system with petri nets. Remote Sens. (2021). https:\/\/doi.org\/10.3390\/rs13071262","journal-title":"Remote Sens."},{"issue":"7","key":"1197_CR16","doi-asserted-by":"publisher","first-page":"2515","DOI":"10.1016\/j.asr.2022.07.055","volume":"72","author":"EM Polli","year":"2023","unstructured":"Polli, E.M., Gonzalo, J.L., Colombo, C.: Analytical model for collision probability assessments with large satellite constellations. Adv. Space Res. 72(7), 2515\u20132534 (2023). https:\/\/doi.org\/10.1016\/j.asr.2022.07.055","journal-title":"Adv. Space Res."},{"issue":"2","key":"1197_CR17","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1002\/sys.10059","volume":"7","author":"C Kelley","year":"2004","unstructured":"Kelley, C., Dessouky, M.: Minimizing the cost of availability of coverage from a constellation of satellites: evaluation of optimization methods. Syst. Eng. 7(2), 113\u2013122 (2004). https:\/\/doi.org\/10.1002\/sys.10059","journal-title":"Syst. Eng."},{"key":"1197_CR18","doi-asserted-by":"crossref","unstructured":"Lu, Y., Miller, A., Johnson, C., Peng, Z., Zhao, T.: Availability analysis of satellite positioning systems for aviation using the prism model checker. In: 2014 IEEE 17th International Conference on Computational Science and Engineering, pp. 704\u2013713. IEEE (2014)","DOI":"10.1109\/CSE.2014.148"},{"issue":"11","key":"1197_CR19","doi-asserted-by":"publisher","first-page":"1718","DOI":"10.1016\/j.ress.2009.05.004","volume":"94","author":"J-F Castet","year":"2009","unstructured":"Castet, J.-F., Saleh, J.H.: Satellite and satellite subsystems reliability: statistical data analysis and modeling. Reliab. Eng. Syst. Saf. 94(11), 1718\u20131728 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"1197_CR20","unstructured":"Hiriart, T., Castet, J.-F., Lafleur, J.M., Saleh, J.H.: Comparative reliability of GEO, LEO, and MEO satellites. In: Proceedings of the International Astronautical Congress, IAC-09 D, vol. 1 (2009)"},{"key":"1197_CR21","doi-asserted-by":"crossref","unstructured":"Trivedi, K., Andrade, E., Machida, F.: Combining performance and availability analysis in practice. In: Advances in Computers, vol. 84, pp. 1\u201338. Elsevier, Amsterdam (2012)","DOI":"10.1016\/B978-0-12-396525-7.00001-0"},{"issue":"12","key":"1197_CR22","doi-asserted-by":"publisher","first-page":"1902","DOI":"10.1109\/JPROC.2008.2006090","volume":"96","author":"CJ Hegarty","year":"2008","unstructured":"Hegarty, C.J., Chatre, E.: Evolution of the global navigation satellitesystem (GNSS). Proc. IEEE 96(12), 1902\u20131917 (2008)","journal-title":"Proc. IEEE"},{"key":"1197_CR23","volume-title":"GNSS-global Navigation Satellite Systems: GPS, GLONASS, Galileo, and More","author":"B Hofmann-Wellenhof","year":"2007","unstructured":"Hofmann-Wellenhof, B., Lichtenegger, H., Wasle, E.: GNSS-global Navigation Satellite Systems: GPS, GLONASS, Galileo, and More. Springer, Berlin (2007)"},{"issue":"09","key":"1197_CR24","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"MK Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance analysis using stochastic petri nets. IEEE Trans. Comput. 31(09), 913\u2013917 (1982)","journal-title":"IEEE Trans. Comput."},{"key":"1197_CR25","doi-asserted-by":"crossref","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. (TOCS) 2(2), 93\u2013122 (1984)","DOI":"10.1145\/190.191"},{"key":"1197_CR26","doi-asserted-by":"crossref","unstructured":"Maciel, P., Matos, R., Silva, B., Figueiredo, J., Oliveira, D., F\u00e9, I., Maciel, R., Dantas, J.: Mercury: performance and dependability evaluation of systems with exponential, expolynomial, and general distributions. In: 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 50\u201357. IEEE (2017)","DOI":"10.1109\/PRDC.2017.16"},{"key":"1197_CR27","unstructured":"Renfro, B.A., Stein, M., Reed, E.B., Villalba, E.: An analysis of global positioning system standard positioning service performance for 2020. Space and Geophysics Laboratory Applied Research Laboratories. The University of Texas at Austin, Austin (2020)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01197-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01197-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01197-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T03:25:46Z","timestamp":1740713146000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01197-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,25]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["1197"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01197-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,25]]},"assertion":[{"value":"13 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 May 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 July 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}