Abstract
Delay-tolerant networks (DTN) are time evolving networks which do not provide continuous and instantaneous end-to-end communication [5, 9]. Instead, the topological configuration of DTN changes continuously: connections are available only during some time intervals and thus the network may suffer from frequent partitions and high delay.
Supported by SeCyT-UNC 33620180100354CB (ARES) and EU Grant agreement ID: 101008233 (MISSION).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Araniti, G., et al.: Contact graph routing in DTN space networks: overview, enhancements and performance. IEEE Commun. Mag. 53(3), 38–46 (2015). https://doi.org/10.1109/MCOM.2015.7060480
Budde, C.E., D’Argenio, P.R., Hartmanns, A., Sedwards, S.: An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 22(6), 759–780 (2020). https://doi.org/10.1007/s10009-020-00563-2
Burleigh, S.C., et al.: Delay-tolerant networking: an approach to interplanetary internet. IEEE Commun. Mag. 41(6), 128–136 (2003). https://doi.org/10.1109/MCOM.2003.1204759
Caini, C., Cruickshank, H.S., Farrell, S., Marchese, M.: Delay- and disruption-tolerant networking (DTN): an alternative solution for future satellite networking applications. Proc. IEEE 99(11), 1980–1997 (2011). https://doi.org/10.1109/JPROC.2011.2158378
Cerf, V.G., et al.: Delay-tolerant networking architecture. RFC 4838, 1–35 (2007). https://doi.org/10.17487/RFC4838
D’Argenio, P.R., Fraire, J.A., Hartmanns, A.: Sampling distributed schedulers for resilient space communication. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 291–310. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-55754-6_17
D’Argenio, P.R., Fraire, J.A., Hartmanns, A., Raverta, F.D.: Comparing statistical and analytical routing approaches for delay-tolerant networks. In: Ábrahám, E., Paolieri, M. (eds.) QEST 2022. LNCS, vol. 13479, pp. 337–355. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-16336-4_17
D’Argenio, P.R., Legay, A., Sedwards, S., Traonouez, L.: Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17(4), 469–484 (2015). https://doi.org/10.1007/s10009-015-0383-0
Fall, K.R.: A delay-tolerant network architecture for challenged internets. In: Feldmann, A., Zitterbart, M., Crowcroft, J., Wetherall, D. (eds.) Proceedings of the ACM SIGCOMM 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 25–29 August 2003, Karlsruhe, Germany, pp. 27–34. ACM (2003). https://doi.org/10.1145/863955.863960
Fraire, J.A., Finochietto, J.M.: Design challenges in contact plans for disruption-tolerant satellite networks. IEEE Commun. Mag. 53(5), 163–169 (2015). https://doi.org/10.1109/MCOM.2015.7105656
Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593–598. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54862-8_51
Raverta, F.D., Demasi, R., Madoery, P.G., Fraire, J.A., Finochietto, J.M., D’Argenio, P.R.: A Markov decision process for routing in space DTNs with uncertain contact plans. In: 6th IEEE International Conference on Wireless for Space and Extreme Environments, WiSEE 2018, Huntsville, AL, USA, 11–13 December 2018, pp. 189–194. IEEE (2018). https://doi.org/10.1109/WiSEE.2018.8637330
Raverta, F.D., Fraire, J.A., Madoery, P.G., Demasi, R.A., Finochietto, J.M., D’Argenio, P.R.: Routing in delay-tolerant networks under uncertain contact plans. Ad Hoc Netw. 123, 102663 (2021). https://doi.org/10.1016/j.adhoc.2021.102663
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
D’Argenio, P.R. (2023). Optimal Route Synthesis in Space DTN Using Markov Decision Processes. In: Ábrahám, E., Dubslaff, C., Tarifa, S.L.T. (eds) Theoretical Aspects of Computing – ICTAC 2023. ICTAC 2023. Lecture Notes in Computer Science, vol 14446. Springer, Cham. https://doi.org/10.1007/978-3-031-47963-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-47963-2_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-47962-5
Online ISBN: 978-3-031-47963-2
eBook Packages: Computer ScienceComputer Science (R0)