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

Toward a unified tooling to ease the qualification process of standardized environments

• 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 ; 199.-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire de conception et d'intégration des systèmes (Valence ; 1996-....)
• Jury : Président / Présidente : Laure Petrucci
• Jury : Examinateurs / Examinatrices : Ioannis Parissis, Denis Genon-Catalot, Sébastien Jean
• Jury : Rapporteurs / Rapporteuses : Camille Salinesi, Vincent Chapurlat

Mots clés

Mots clés contrôlés

Modélisation des données (informatique)

Graphes orientés

Salles d'opération

Salles blanches

Mots clés libres

Ingénierie des exigences

Exigences règlementaires

Environnements normés

Modélisation Orientée Aspects

Bases de données Orientées Graphes

Requirements engineering

Regulation requirements

Standardized environments

Aspect-Oriented Modeling

Graph Databases

Résumé

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.

Industrial clean rooms or operating rooms are critical places often hosting dangerous or complex processes. Their design, building and use are thus difficult and constrained by a large amount of standards and rules. Qualifying these environments, in order to ensure their quality, consequently requires a high level of expertise and lacks assisting tools.This leads us to propose a unified approach aiming at easing the qualification process of standardized environments. It relies on a graph-based representation of the set of standards and rules that apply to a specific case, as well as on step-by-step modelling of the whole target environment. The verification process is then eased as it becomes incremental. During each stage, relevant information can also be gathered in order to ensure environment traceability during its use.This approach, applied to medical environments for validation purposes, remains generic and can be applied to any kind of standardized environment.