INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté

Nicolas Sannier 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Les systèmes de contrôle-commande importants pour la sûreté de fonctionnement doivent répondre à un certain nombre d'exigences, au premier rang desquelles se trouvent les exigences réglementaires, édictées par les autorités nationales et complétées par un ensemble de recommandations pratiques et de textes normatifs. Les exigences de ce domaine sont peu formalisées, les relations de traçabilité, et par conséquent l'organisation des exigences de ce vaste domaine est souvent implicite. Enfin, les passerelles entre contextes nationaux différents sont très peu développées. Les travaux de cette thèse se situent dans ce contexte industriel en partenariat avec EDF R&D et au sein du projet CONNEXION regroupant les acteurs majeurs du contrôle-commande nucléaire français. Les contributions de la thèse s'articulent autour de l'approche INCREMENT (Intrumentation aNd Control regulatory REquirement Modeling Environment) qui adresse les deux premiers challenges présentés, et en particulier : (1) la formalisation du domaine où nous proposons à la fois une description du domaine et un métamodèle permettant une capitalisation et une vue globale d'un référentiel d'exigences, (2) une base outillée pour l'acquisition automatique de documents, un environnement graphique pour la manipulation de modèles et l'apport de techniques de recherche d'information pour la traçabilité des exigences, (3) une approche originale avec une hybridation entre modélisation et recherche d'information pour une amélioration de la traçabilité des exigences. Le métamodèle proposé et ses outils sont utilisés dans l'industrie dans le projet CONNEXION. Notre approche hybride a permis dans nos expérimentations de réduire, en moyenne, la taille de ces espaces de 65% comparé aux approches standard de recherche d'information, sans en dégrader le contenu.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Rennes 1, 2013. Français
Liste complète des métadonnées

Littérature citée [146 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00941881
Contributeur : Nicolas Sannier <>
Soumis le : mardi 4 février 2014 - 13:55:45
Dernière modification le : vendredi 13 janvier 2017 - 14:21:32
Document(s) archivé(s) le : dimanche 9 avril 2017 - 08:00:19

Identifiants

  • HAL Id : tel-00941881, version 1

Collections

Citation

Nicolas Sannier. INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté. Génie logiciel [cs.SE]. Université Rennes 1, 2013. Français. 〈tel-00941881〉

Partager

Métriques

Consultations de
la notice

363

Téléchargements du document

815