Requirements for a Trace Property Language for Medical Devices

Yves Ledru; Yoann Blein; Lydie Du Bousquet; Roland Groz; Arnaud Clere; Fabrice Bertrand

doi:10.1145/3194696.3194699

Communication dans un congrès

Requirements for a Trace Property Language for Medical Devices

Yves Ledru ¹ Yoann Blein ¹ Lydie Du Bousquet ¹ Roland Groz ¹ Arnaud Clere Fabrice Bertrand

1 VASCO [2016-2019] - Validation de Systèmes, Composants et Objets logiciels [2016-2019]

LIG [2016-2019] - Laboratoire d'Informatique de Grenoble [2016-2019]

Abstract : The verification of software intensive medical devices can largely benefit from the analysis of their execution traces. Trace points can easily be added to the software, and traces can be used at several stages of the development and maintenance process. In this paper we focus on the TKA system and identify 15 representative properties that should be fulfilled by its traces. We also identify several stages in the product lifecycle where these properties should be evaluated. These properties put requirements on what should be expressible in a trace property language for medical devices.

Keywords : CCS CONCEPTS • Software and its engineering → Specification languages Formal software verification KEYWORDS Monitoring Parametric Events Temporal Specification Trace anal- ysis Medical devices

Type de document :

Communication dans un congrès

Domaine :

Informatique [cs] / Génie logiciel [cs.SE]

Liste complète des métadonnées

Littérature citée [7 références] Voir Masquer Télécharger

https://hal.univ-grenoble-alpes.fr/hal-02004396
Contributeur : Yves Ledru <>
Soumis le : vendredi 25 octobre 2019 - 13:53:15
Dernière modification le : mercredi 5 août 2020 - 03:01:53
Archivage à long terme le : : dimanche 26 janvier 2020 - 15:50:23