Modeling and Analysis of a Telesurgery Environment Using Stochastic Petri Nets

Authors

  • Vamberto Rocha Universidade Federal do Agreste de Pernambuco Avenida Bom Pastor, s/n.º Boa Vista - Garanhuns/PE CEP: 55292-278 https://orcid.org/0009-0005-0930-5067
  • Jean Araujo Universidade Federal do Agreste de Pernambuco Avenida Bom Pastor, s/n.º Boa Vista - Garanhuns/PE CEP: 55292-278 https://orcid.org/0000-0002-1688-4782
  • Bruno Nogueira Universidade Federal do Agreste de Pernambuco Avenida Bom Pastor, s/n.º Boa Vista - Garanhuns/PE CEP: 55292-278 https://orcid.org/0000-0002-1628-2757
  • Ermeson Andrade Universidade Federal Rural de Pernambuco Rua Dom Manuel de Medeiros, s/n, Dois Irmãos - CEP: 52171-900 - Recife/P https://orcid.org/0000-0002-9614-4492

Keywords:

Availability, Modeling, Reliability, Telesurgery

Abstract

Over the past few years, surgeries performed by robots have increased considerably. For telesurgery (or remote surgery) to be performed satisfactorily, synchrony between the robot and the communication links is essential. However, no studies analytically evaluate these remote surgery environments or calculate the probability of delivering messages when such surgeries are performed between two hospitals. The main objective of this work is to model a telesurgery environment, allowing metrics such as availability and reliability to be obtained, as well as the probability of a message being delivered in a given period. The results showed that the best scenario is to use redundant links for robot communication, such as 4G and WiFi, and that redundant links guarantee a greater probability of message delivery during telesurgery. Additionally, the results can help the maintenance team (or medical team) to better plan the infrastructure used in telesurgery, and, consequently, avoid failures that could endanger the lives of patients.

Downloads

Download data is not yet available.

Author Biographies

Vamberto Rocha, Universidade Federal do Agreste de Pernambuco Avenida Bom Pastor, s/n.º Boa Vista - Garanhuns/PE CEP: 55292-278

Vamberto Rocha Jr is student of the Master's Program in Applied Informatics at the Federal Rural University of Pernambuco, Brazil. He holds a degree in computer science and holds a postgraduate degree in information security His research is in Intelligence and Computacional Modeling. He is currently the CTO of the Federal University of Agreste de Pernambuco (UFAPE).

Jean Araujo, Universidade Federal do Agreste de Pernambuco Avenida Bom Pastor, s/n.º Boa Vista - Garanhuns/PE CEP: 55292-278

Jean Araujo is an associate professor at the Department of Computing at the Universidade Federal do Agreste de Pernambuco, Brazil. In 2017, he completed his PhD in Computer Science from the Federal University of Pernambuco. His research interest is focused in Software Aging and Rejuvenation, Performance, Dependability, and Stochastic Modelling.

Bruno Nogueira, Universidade Federal do Agreste de Pernambuco Avenida Bom Pastor, s/n.º Boa Vista - Garanhuns/PE CEP: 55292-278

Bruno Nogueira is an assistant professor at the Institute of Computing at Universidade Federal de Alagoas, Brazil. In 2015, he completed his PhD in Computer Science from the Federal University of Pernambuco. His research interest is focused in Optimization, Performance and Dependability Evaluation, and High-Performance Computing.

Ermeson Andrade, Universidade Federal Rural de Pernambuco Rua Dom Manuel de Medeiros, s/n, Dois Irmãos - CEP: 52171-900 - Recife/P

Ermeson Andrade is an associate professor at the Department of Computing at the Federal Rural University of Pernambuco, Brazil. In 2014, he completed his PhD in Computer Science from the Federal University of Pernambuco. His research interest is focused in Performance, Dependability, Critical Infrastructure, Data science and Modeling.

References

H. A. A. d. Matos, Cirurgia robótica em ORL: uma abordagem ao sistema Da Vinci. PhD thesis, Escola de Medicina de Lisboa, 2017.

Q. Zhang, J. Liu, and G. Zhao, “Towards 5g enabled tactile robotic telesurgery,” arXiv preprint arXiv:1803.03586, 2018.

M. J. Lum, J. Rosen, H. King, D. C. Friedman, T. S. Lendvay, A. S. Wright, M. N. Sinanan, and B. Hannaford, “Teleoperation in surgical

robotics–network latency effects on surgical performance,” in 2009 Annual International Conference of the IEEE Engineering in Medicine

and Biology Society, pp. 6860–6863, IEEE, 2009.

F. Boabang, A. Ebrahimzadeh, R. H. Glitho, H. Elbiaze, M. Maier, and F. Belqasmi, “A machine learning framework for handling delayed/lost packets in tactile internet remote robotic surgery,” IEEE Transactions on Network and Service Management, vol. 18, no. 4, pp. 4829–4845, 2021.

D. A. Meshram and D. D. Patil, “5g enabled tactile internet for telerobotic surgery,” Procedia Computer Science, vol. 171, pp. 2618–2625, 2020.

Intuitive, “Da vinci surgical systems.” https://www.intuitive.com/en-us/ products-and-services/da-vinci/systems. Acessado: 05-04-2022.

C. A. Petri, Kommunikation mit automaten. PhD thesis, Technische Universität Darmstadt, 1962.

N. Marranghello, “Redes de petri: Conceitos e aplicaçoes,” São Paulo: DCCE/IBILCE/UNESP, 2005.

A. Cunha, G. Callou, E. Sousa, and E. Tavares, “Modelagem hierárquica e heterogênea para avaliação de disponibilidade de aplicações big data na nuvem privada,” in Anais do XX Workshop em Desempenho de Sistemas Computacionais e de Comunicação, pp. 49–60, SBC, 2021.

K. S. Trivedi, S. Hunter, S. Garg, and R. Fricks, “Reliability analysis techniques explored through a communication network example,” tech. rep., North Carolina State University. Center for Advanced Computing and Communication, 1996.

Modcs Research Group, “Mercury.”

E. Andrade and B. Nogueira, “Dependability evaluation of a disaster recovery solution for iot infrastructures,” The Journal of Supercomputing, vol. 76, no. 3, pp. 1828–1849, 2020.

Intuitive, “Da vinci manual.” https://manuals.intuitivesurgical.com. Acessado: 05-04-2022.

F. Machida and E. Andrade, “Availability modeling for drone image processing systems with adaptive offloading,” in 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 93–103, IEEE, 2021.

E. Andrade, B. Nogueira, I. d. Farias Júnior, and D. Araújo, “Performance and availability trade-offs in fog–cloud iot environments,”

Journal of Network and Systems Management, vol. 29, no. 1, pp. 1–27, 2021.

J. Araujo, B. Silva, D. Oliveira, and P. Maciel, “Dependability evaluation of a mhealth system using a mobile cloud infrastructure,” in 2014 IEEE international conference on systems, man, and cybernetics (SMC), pp. 1348–1353, IEEE, 2014.

Published

2023-09-15

How to Cite

Rocha, V., Araujo, J. ., Nogueira, B. ., & Andrade, E. . (2023). Modeling and Analysis of a Telesurgery Environment Using Stochastic Petri Nets. IEEE Latin America Transactions, 21(10), 1073–1080. Retrieved from https://latamt.ieeer9.org/index.php/transactions/article/view/8068