Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Requirements for a Trace Property Language for Medical Devices

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.
Type de document :
Communication dans un congrès
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
Document(s) archivé(s) le : dimanche 26 janvier 2020 - 15:50:23

Fichier

sehs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Yves Ledru, Yoann Blein, Lydie Du Bousquet, Roland Groz, Arnaud Clere, et al.. Requirements for a Trace Property Language for Medical Devices. the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩. ⟨hal-02004396⟩

Partager

Métriques

Consultations de la notice

132

Téléchargements de fichiers

179