Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal - Archive ouverte HAL Access content directly
Journal Articles IET Software Year : 2023

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

Abstract

Formal methods are proven techniques that provide a rigorous mathematical basis to software development. In particular, they allow the quality of development to be effectively improved by making accurate and explicit modelling, so that anomalies like ambiguities and incompleteness are identified in the early phases of the software development process. Semi-formal UML models and formal Timed Automata models are used to design a telerehabilitation system through a practical approach based on abstraction and refinement. The formal verification of expected properties of the system is performed by the Uppaal tool. The motivation of this work is threefold: (i) showing the usefulness of formal methods to satisfy the validation needs of a medical telerehabilitation system; (ii) demonstrating our approach of system analysis through refinements to guide the development of a complex system; and (iii) highlighting, from a real-life experience, the usefulness of models to involve the stakeholders all along the design of a system, from requirements to detailed specifications.
Fichier principal
Vignette du fichier
IET Software - 2023 - Arfi - Formal verification of a telerehabilitation system through an abstraction and refinement (1).pdf (2.11 Mo) Télécharger le fichier
Origin Publisher files allowed on an open archive

Dates and versions

hal-04140305 , version 1 (03-07-2023)

Identifiers

Cite

Farid Arfi, Anne‐lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot. Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal. IET Software, 2023, 17 (4), pp.582-599. ⟨10.1049/sfw2.12128⟩. ⟨hal-04140305⟩
35 View
65 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More