Ingénierie dirigée par les modèles pour structurer et partager un référentiel d'exigences de sûreté dans la durée

Nicolas Sannier 1, 2
2 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 conçus pour réaliser des fonctions de sûreté doivent se conformer à un nombre grandissant d'exigences de la part des autorités de sûreté. Ces exigences sont issues de documents différents et hétérogènes, sont peu formalisées et très éloignées des exigences fonctionnelles ou industrielles, qui capturent le comportement attendu du système. Enfin ces exigences sont réévaluées dans le temps, sur des projets à longue durée de vie et varient potentiellement d'un pays à un autre. Ces caractéristiques des exigences réglementaires représentent un défi pour les industriels qui doivent démontrer la sûreté de leurs systèmes et leur conformité vis à vis de ces exigences. Ce poster vise à présenter le contexte et les différentes problématiques rencontrées dans le cadre des systèmes numériques de contrôle-commande dans l'industrie nucléaire. Il vise aussi à promouvoir l'apport de l'IDM et de la recherche d'information pour organiser, analyser et partager ces référentiels d'exigences de haut niveau.
Type de document :
Poster
4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France. pp.203
Liste complète des métadonnées

https://hal.inria.fr/hal-00718895
Contributeur : Nicolas Sannier <>
Soumis le : mercredi 18 juillet 2012 - 14:21:03
Dernière modification le : vendredi 13 janvier 2017 - 14:20:58
Document(s) archivé(s) le : vendredi 19 octobre 2012 - 02:46:46

Fichier

GPL2012_Poster_Sannier_A4.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00718895, version 1

Collections

Citation

Nicolas Sannier. Ingénierie dirigée par les modèles pour structurer et partager un référentiel d'exigences de sûreté dans la durée. 4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France. pp.203. <hal-00718895>

Partager

Métriques

Consultations de
la notice

180

Téléchargements du document

143