Thèse soutenue

Contribution à la mise en oeuvre d’un outillage unifié pour faciliter la qualification d’environnements normés

FR  |  
EN
Auteur / Autrice : Anthony Gelibert
Direction : Ioannis Parissis
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 27/10/2016
Etablissement(s) : Université Grenoble Alpes (ComUE)
Ecole(s) doctorale(s) : École doctorale Mathématiques, sciences et technologies de l'information, informatique (Grenoble ; 1995-....)
Partenaire(s) de recherche : Laboratoire : Laboratoire de conception et d'intégration des systèmes (Valence ; 1996-....)
Jury : Président / Présidente : Laure Petrucci
Examinateurs / Examinatrices : Ioannis Parissis, Denis Genon-Catalot, Sébastien Jean
Rapporteurs / Rapporteuses : Camille Salinesi, Vincent Chapurlat

Résumé

FR  |  
EN

Les environnements confinés, tels que les blocs chirurgicaux ou les salles blanches, hébergent des processus complexes auxquels sont associés de nombreux risques. Leur conception, leur réalisation et leur exploitation sont complexes, de par les très nombreuses normes les encadrant.La qualification de ces « environnements normés », afin d’en garantir la qualité de conception, requiert une expertise fine du métier et souffre du manque d’outil en permettant l’automatisation. Partant de ce constat, nous proposons une approche unifiée visant à faciliter la qualification des environnements normés. Celle-ci s’appuie sur une représentation du contexte normatif sous la forme d’un graphe unique, ainsi que sur une modélisation de l’environnement et son objet final par étapes successives permettant une vérification incrémentale de même que la production d’informations nécessaires à la traçabilité lors de l’exploitation. Cette démarche, illustrée au travers du domaine des environnements confinés médicaux, est générique et peut s’appliquer à l’ensemble des environnements normés.