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

Translated title of the contribution: Low-Cost Optical Tracking Controller System for Fine Motor Rehabilitation in Children with Brain Damage: Formal Specification and Validation

Edwin Enrique Saavedra Parisaca, Elizabeth Enriqueta Vidal Duarte

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Translated title of the contributionLow-Cost Optical Tracking Controller System for Fine Motor Rehabilitation in Children with Brain Damage: Formal Specification and Validation
Original languageSpanish
Title of host publicationProceedings of CISTI 2021 - 16th Iberian Conference on Information Systems and Technologies
EditorsAlvaro Rocha, Ramiro Goncalves, Francisco Garcia Penalvo, Jose Martins
PublisherIEEE Computer Society
ISBN (Electronic)9789895465910
DOIs
StatePublished - 23 Jun 2021
Event16th Iberian Conference on Information Systems and Technologies, CISTI 2021 - Chaves, Portugal
Duration: 23 Jun 202126 Jun 2021

Publication series

NameIberian Conference on Information Systems and Technologies, CISTI
ISSN (Print)2166-0727
ISSN (Electronic)2166-0735

Conference

Conference16th Iberian Conference on Information Systems and Technologies, CISTI 2021
Country/TerritoryPortugal
CityChaves
Period23/06/2126/06/21

Bibliographical note

Publisher Copyright:
© 2021 AISTI.

Fingerprint

Dive into the research topics of 'Low-Cost Optical Tracking Controller System for Fine Motor Rehabilitation in Children with Brain Damage: Formal Specification and Validation'. Together they form a unique fingerprint.

Cite this