Sistema de Rehabilitación Virtual para motor fino: integrando especificaciones formales ligeras para reducir la ambigüedad de requerimientos críticos

• Gustavo Urquizo-Rodriguez ^[1] ; Elizabeth Vidal ^[1] ; Eveling Castro-Gutierrez ^[1]
  1. [1] Universidad Nacional de San Agustin de Arequipa, Arequipa, Perû.
• Localización: RISTI: Revista Ibérica de Sistemas e Tecnologias de Informação, ISSN-e 1646-9895, Nº. Extra 72, 2024, págs. 77-92
• Idioma: español
• Títulos paralelos:
  • Virtual Rehabilitation System for fine motor: integrating lightweight formal specifications to reduce the ambiguity of critical requirements
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    Las limitaciones en la motricidad fina dificultan las actividades diarias como alcanzar, agarrar y levantar objetos; la rehabilitación tiene como objetivo restaurar el rendimiento funcional en las actividades diarias o adquirir nuevas habilidades. Los sistemas de rehabilitación virtual han generado interés como enfoque complementario a la rehabilitación convencional, creando entornos generados por computadora que involucran lúdicamente a los pacientes en terapias orientadas a objetivos. La claridad en los requerimientos se vuelve crítica en este tipo de sistemas debido a su alto impacto en el proceso de recuperación funcional del paciente. Este artículo propone la integración de especificaciones formales ligeras en las primeras etapas del desarrollo de un sistema de rehabilitación virtual para motor fino. Se pretende reducir ambigüedades en la definición de requisitos críticos y funcionalidades. Se hace uso de Vienna Development Method para especificaciones formales ligeras debido a su simplicidad, naturaleza orientada a objetos y soporte de herramientas. La metodología propuesta detalla cinco pasos. El enfoque propuesto permite una representación reduciendo las ambigüedades de los requisitos críticos, mejorando la calidad general del sistema de rehabilitación virtual. El artículo contribuye al explorar la aplicación de especificaciones formales en diversos campos, haciendo hincapié en el contexto específico de la rehabilitación virtual para habilidades motoras finas. Finalmente se brinda evidencia empírica de la practicidad y efectividad del uso de especificaciones formales ligeras para abordar requisitos críticos y funcionalidades únicas en la rehabilitación virtual.

  • English

    The limitations in fine motor skills hinder daily activities such as reaching, grasping, and lifting objects; rehabilitation aims to restore functional performance in daily activities or acquire new skills.Virtual Rehabilitation Systems have generated interest as a complementary approach to conventional rehabilitation, creating computer-generated environments that playfully engage patients in goal-oriented therapies. Clarity in requirements becomes critical in such systems due to their high impact on the patient’s functional recovery process. This article proposes the integration of lightweight formal specifications in the early stages of developing a fine motor virtual rehabilitation system. The aim is to reduce ambiguities in defining critical requirements and functionalities. Vienna Development Method is utilized for lightweight formal specifications due to its simplicity, object-oriented nature, and tool support. The proposed methodology outlines five steps. The approach allows for an unambiguous representation of critical requirements, enhancing the overall quality of the virtual rehabilitation system. The article contributes to the growing body of literature exploring the application of formal specifications in various fields, emphasizing the specific context of virtual rehabilitation for fine motor skills.Finally, empirical evidence is provided for the practicality and effectiveness of using lightweight formal specifications to address critical requirements and unique functionalities in virtual rehabilitation.

• Referencias bibliográficas
  • Afsar, S. I., Mirzayev, I., Yemisci, O. U., & Saracgil, S. N. C. (2018). Virtual reality in upper extremity rehabilitation of stroke patients:...
  • Agerholm, S., & Larsen, P. G. (1998, October). A lightweight approach to formal methods. In International Workshop on Current Trends in...
  • Avcil, E., Tarakci, D., Arman, N., & Tarakci, E. (2020). Upper extremity rehabilitation using video games in cerebral palsy: a randomized...
  • Bornholt, J., Joshi, R., Astrauskas, V., Cully, B., Kragl, B., Markle, S., Sauri, K., Schleit, D., Slatton, G., Tasiran, S., Van Geffen, J.,...
  • Cappello, L., Meyer, J. T., Galloway, K. C., Peisner, J. D., Granberry, R., Wagner, D. A., Engelhardt, S., Paganoni, S., & Walsh, C. J....
  • Cortés-Pérez, I., Zagalaz-Anula, N., Montoro-Cárdenas, D., Lomas-Vega, R., Obrero-Gaitán, E., & Osuna-Pérez, M. C. (2021). Leap Motion...
  • Cuesta-Gómez, A., Sánchez-Herrera-Baeza, P., Oña-Simbaña, E. D., Martínez-Medina, A., Ortiz-Comino, C., Balaguer-Bernaldo-De-Quirós, C., Jardón-Huete,...
  • Chen, J., Nichols, D., Brokaw, E. B., & Lum, P. S. (2017). Home-Based therapy after stroke using the hand Spring Operated Movement Enhancer...
  • Choppin, S., Lane, B., & Wheat, J. (2014). The accuracy of the Microsoft Kinect in joint angle measurement. Sports Technology, 7(1–2),...
  • Daoud, M. I., Alhusseini, A., Ali, M. Z., & Alazrai, R. (2020). A Game-Based Rehabilitation System for Upper-Limb Cerebral Palsy: A Feasibility...
  • Daponte, P., De Vito, L., Riccio, M., & Sementa, C. (2014). Design and validation of a motion-tracking system for ROM measurements in...
  • Easterbrook, S., Lutz, R., Covington, R., Kelly, J., Ampo, Y., & Hamilton, D. (1998). Experiences using lightweight formal methods for...
  • Fitzgerald, J., Larsen, P., & Sahara, S. (2007). VDMTools: advances in support for formal modeling in VDM. School of Computing Science...
  • Fitzgerald, J., Larsen, P. G., Mukherjee, P., Plat, N., & Verhoef, M. (2005). Validated designs for object-oriented systems. In Springer...
  • Francisco-Martínez, C., Padilla-Medina, J. A., Prado-Olivarez, J., Pérez-Pinal, F. J., Barranco-Gutiérrez, A. I., & Martínez-Nolasco,...
  • Galna, B., Barry, G., Jackson, D., Mhiripiri, D., Olivier, P., & Rochester, L. (2014). Accuracy of the Microsoft Kinect sensor for measuring...
  • Guevara, B., Martínez, A., Gordón, A., & Constante, P. (2019). Sistema inmersivo de reconocimiento y control de gestos empleando realidad...
  • Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Derrick, J., Dick, J., ... & Zedan, H. (2009). Using formal specifications...
  • Huber, M., Seitz, A., Leeser, M., & Sternad, D. (2015). Validity and reliability of Kinect skeleton for measuring shoulder joint angles:...
  • Jackson, D. (2001). Lightweight formal methods. In FME 2001: Formal Methods for Increasing Software Productivity: International Symposium...
  • Jones, C. B., Jackson, D., & Wing, J. (1996). Formal methods light. Computer, 29(04), 20-22.
  • Kim, J., Lee, G., Jo, H., Park, W., Jin, Y. S., Kim, H. D., & Kim, J. (2020). A wearable soft robot for stroke patients’ finger occupational...
  • Kurita, T., & Nakatsugawa, Y. (2009). The application of VDM to the industrial development of firmware for a smart card IC chip. International...
  • Lamsweerde, A. V. (2000, May). Formal specification: a roadmap. In Proceedings of the Conference on the Future of Software Engineering (pp....
  • Larsen, P. G., & Fitzgerald, J. (2016). The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. Journal of Logical...
  • Larsen, P. G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., & Verhoef, M. (2010). The overture initiative integrating tools...
  • Lee, Y. M., Lee, S., Uhm, K. E., Kurillo, G., Han, J. J., & Lee, J. (2020). Upper Limb Three-Dimensional Reachable Workspace Analysis...
  • Levac, D. E., & Sveistrup, H. (2014). Motor learning and virtual reality. In Virtual Reality Technologies for Health and Clinical Applications...
  • McMillan, K. L., & Zuck, L. D. (2019). Formal specification and testing of QUIC. In Proceedings of the ACM Special Interest Group on Data...
  • Naseem, A., Akhtar, N., & Saad, M. (2017). Formal Specification of a Truck Geo-Location Big-Data Application. International Journal of...
  • Merma-Portocarrero, J., Neira-Carrasco, D., Vidal, E., & Castro-Gutierrez, E. (2023). Sistema de Rehabilitación Virtual no inmersivo para...
  • Oess, N. P., Wanek, J., & Curt, A. (2012). Design and evaluation of a low-cost instrumented glove for hand function assessment. Journal...
  • Pasquale, G., & Mastrototaro, L. (2018). Glove-based systems for medical applications: Review of recent advancements. Journal of Textile...
  • Picerno, P., Iosa, M., D’Souza, C., Benedetti, M. G., Paolucci, S., & Morone, G. (2021). Wearable inertial sensors for human movement...
  • Ravi, D. K., Kumar, N., & Singhi, P. (2017). Effectiveness of virtual reality rehabilitation for children and adolescents with cerebral...
  • Rushby, J. (1997). Formal methods and their role in the certification of critical systems. In Safety and Reliability of Software Based Systems:...
  • Saggio, G., Pallotti, A., Sbernini, L., Errico, V., & Di Paolo, F. (2016). Feasibility of commercial resistive flex sensors for hand tracking...
  • Tarakci, E., Arman, N., Tarakci, D., & Kasapcopur, O. (2020). Leap Motion Controller–based training for upper extremity rehabilitation...
  • Vidal, E., Castro-Gutierrez, E., Arisaca, R., Paz-Valderrama, A., & Albiol-Pérez, S. (2023). Serious game for fine motor control rehabilitation...
  • Weichert, F., Bachmann, D., Rudak, B., & Fisseler, D. (2013). Analysis of the accuracy and robustness of the Leap Motion Controller. Sensors,...
  • World Health Organization. (2007). International Classification of Functioning, Disability, and Health: Children & Youth Version: ICF-CY....