Sistema Controlador de tracking óptico de bajo costo para la rehabilitación en motor fino en niños con daño cerebral: Especificación Formal y Validación

Edwin Enrique Saavedra Parisaca, Elizabeth Enriqueta Vidal Duarte

Resultado de la investigación: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

Resumen

Acquired brain damage in children is increasingly frequent, and as main deficit produces motor alterations that manifest as the child grows, affecting muscle tone, coordination and motor control, in order to influence these aspects, fine motor skills are intervened, since these involve a coordinated effort of the brain and muscles, having a direct impact on the learning capacity of children and can improve their independence and autonomy. Although traditional therapies have been proven with great effectiveness, there are also different rehabilitation systems that make use of tracking devices, however not all of them are accessible due to their high cost or the lack of specialists who master them. That is the reason a low-cost optical tracking Controller System is proposed to complement fine motor-oriented rehabilitation, allowing movements to be captured with precision and to obtain feedback on the accuracy of the exercises. In this paper we focus on the first stage referring to the formal specification of the requirements and their validation. The proposal is based on the Leap Motion optical tracking device and limited to exercises with a fine motor and wrist. The controller system aims to provide a better environment for users to run their rehabilitation process, in addition to considering the rehabilitation progress. The proposal uses formal specifications to reduce possible ambiguities in the face of a system that may cause future damage to its users if the rehabilitation is not carried out correctly, in the same way they are used to validate the main properties of the functional requirements. The formal specification language VDM ++ is used to describe the system properties for later modeling and validation through the VDMToolBox tool. As a result, a formal specification of 4 requirements and a 100% coverage analysis were achieved.

Título traducido de la contribuciónLow-Cost Optical Tracking Controller System for Fine Motor Rehabilitation in Children with Brain Damage: Formal Specification and Validation
Idioma originalEspañol
Título de la publicación alojadaProceedings of CISTI 2021 - 16th Iberian Conference on Information Systems and Technologies
EditoresAlvaro Rocha, Ramiro Goncalves, Francisco Garcia Penalvo, Jose Martins
EditorialIEEE Computer Society
ISBN (versión digital)9789895465910
DOI
EstadoPublicada - 23 jun. 2021
Evento16th Iberian Conference on Information Systems and Technologies, CISTI 2021 - Chaves, Portugal
Duración: 23 jun. 202126 jun. 2021

Serie de la publicación

NombreIberian Conference on Information Systems and Technologies, CISTI
ISSN (versión impresa)2166-0727
ISSN (versión digital)2166-0735

Conferencia

Conferencia16th Iberian Conference on Information Systems and Technologies, CISTI 2021
País/TerritorioPortugal
CiudadChaves
Período23/06/2126/06/21

Nota bibliográfica

Publisher Copyright:
© 2021 AISTI.

Palabras clave

  • Formal Specification
  • Validation and Verification
  • Virtual Rehabilitation

Huella

Profundice en los temas de investigación de 'Sistema Controlador de tracking óptico de bajo costo para la rehabilitación en motor fino en niños con daño cerebral: Especificación Formal y Validación'. En conjunto forman una huella única.

Citar esto