Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback - IMT Mines Alès Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback

Résumé

The project we are interested in involves designing and developing a smartphone application for patients participating in a clinical trial about chronic respiratory diseases, as well as a desktop application for healthcare professionals involved in monitoring the patients. This system serves a dual purpose: (i) encourage patients to follow multi-activity pathways and receive feedback; (ii) enable the care team to monitor patients’ condition and notify them of milestones. In this article, we demonstrate how the main stakeholders (medical experts, physical activity specialists, nutritionists) were integrated into the requirements engineering phase, resulting in the establishment of textual specifications, UML models, and Uppaal models. This approach has proven to be beneficial in terms of sharing knowledge, validating the telerehabilitation processes, and verifying their liveness and safety properties. Despite the stakeholders’ lack of training in modelling and verification techniques, they greatly appreciated this approach.

Domaines

Santé
Fichier non déposé

Dates et versions

hal-04289432 , version 1 (16-11-2023)

Identifiants

Citer

Anne-Lise Courbis, Farid Arfi, Thomas Lambolais, François Bughin, Maurice Hayot. Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback. ISSREW 2023 - 34th IEEE International Symposium on Software Reliability Engineering Workshops, Oct 2023, Florence, Italy. pp.75-80, ⟨10.1109/ISSREW60843.2023.00050⟩. ⟨hal-04289432⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More