Justification Factory : de l'élicitation d'exigences de justification jusqu'à leur production en continu

Résumé : Dans de nombreux domaines où il existe des risques pour l'homme, comme la médecine, le nucléaire ou l'avionique, il est nécessaire de passer par une phase de certification visant à garantir le bon fonctionnement d'un système ou d'un produit. La certification se fait en fonction de documents normatifs qui expriment les exigences de justifications auxquelles le produit et le processus de développement doivent se conformer. Un audit de certification consiste alors à produire une documentation attestant la conformité avec ce cadre réglementaire.Pour faire face à ce besoin de justifications visant à assurer la conformité avec les normes en vigueur et la complétude des justifications apportées, il faut dès lors être capable de cibler les exigences de justification à revendiquer pour un projet et produire les justifications durant le développement du projet. Dans ce contexte, éliciter les exigences de justifications à partir des normes et produire les justifications nécessaires et suffisantes sont des enjeux pour assurer le respect des normes et éviter la sur-justification.Dans ces travaux nous cherchons à structurer les exigences de justification pour ensuite aider à la production des justifications associées tout en restant attentif à la confiance que l'on peut placer en elles. Pour relever ces défis, nous avons défini une sémantique formelle pour une modélisation existante des justifications : les Diagrammes de Justification. A partir de cette sémantique, nous avons pu définir un ensemble d'opérations permettant de contrôler le cycle de vie des justifications pour assurer la conformité des justifications au regard des exigences de justification. Par ce formalisme, nous avons également pu guider, voire automatiser dans certains cas, la production des justifications et la vérification de la conformité.Ces contributions ont été appliquées dans le contexte des technologies médicales pour l'entreprise AXONIC, porteuse de ces travaux. Ceci a permis de i) éliciter les exigences de justification des normes médicales et pratiques internes de l'entreprise, ii) produire automatiquement les justifications associées à la norme IEC 62304 pour le logiciel en médical, iii) automatiser la vérification et validation des justifications ainsi que la production de documents utilisables lors d'audit.
Type de document :
Thèse
Modélisation et simulation. Université Côte d'Azur, 2018. Français. 〈NNT : 2018AZUR4094〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01978192
Contributeur : Abes Star <>
Soumis le : vendredi 11 janvier 2019 - 12:58:06
Dernière modification le : samedi 12 janvier 2019 - 01:20:16

Fichier

2018AZUR4094.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01978192, version 1

Collections

Citation

Clément Duffau. Justification Factory : de l'élicitation d'exigences de justification jusqu'à leur production en continu. Modélisation et simulation. Université Côte d'Azur, 2018. Français. 〈NNT : 2018AZUR4094〉. 〈tel-01978192〉

Partager

Métriques

Consultations de la notice

130

Téléchargements de fichiers

74