La mise en place de tests de spécification : le cas pratique d'un simulateur chirurgical

Abstract

L'utilisation de la réalité virtuelle dans un cadre pédagogique améliore l'apprentissage et réduit le taux des erreurs médicales du chirurgien. Ce genre de systèmes peut introduire de nouveaux risques qui peuvent provoquer des blessures graves ou même la mort des patients si l'apprentissage n'est pas conforme à la réalité. Ainsi, la sureté a été perçue comme une propriété cruciale du système. L’intérêt de notre étude consiste à mettre en place les spécifications d’un simulateur de chirurgie pour effectuer les vérifications en utilisant la technique du model-checking