Mercredi 4 juin 2008
08h30 Accueil - Café
09h30 Ouverture
C. Lerminiaux (Président du conseil du GIS 3SGS)
Session 1 - Présidents de session : A. Barros (ICD) et D. Maquin (CRAN)
09h40 Conférence invitée " La sécurité fonctionnelle dans les industries à process - Introduction et contexte réglementaire "
D. Charpentier (INERIS)
10h10 Conférence invitée "Evaluation des performances des systèmes instrumentés de sécurité "
Y. Dutuit (LAP-ADS/Univ. Bordeaux 1)
10h40 Performance des systèmes passifs thermo-hydroliques et impact sur la sûreté des réacteurs nucléaires
M. Marquès (CEA), C. Bassi (CEA)
11h00 Sûreté de fonctionnement des systèmes commandés en réseau : influence des défaillances transitoires
R. Ghostine (CRAN), J.M. Thiriet (GIPSA), J.F. Aubry (CRAN)
11h20 ESCAPADE: Evaluation de l’impact des équipements programmés sur la Sûreté des installations industrielles par la Convergence des Approches Probabilistes et des Approches DEterministes
T. Nguyen (EDF - MRI), G. Deleuze (EDF - MRI)
11h40 Vers un langage d'expression des besoins en informations pour les métiers d'exploitation
D. Galara (EDF), G. Morel (EDF), J.F. Pétin (CRAN), D. Méry (LORIA)
12h00 Présentations orales des posters ­ session 1
12h30 Repas
Session 2
14h00 Conférence invitée "Conception prouvée de systèmes logiciels"
S. Merz (INRIA Nancy-Grand Est & LORIA)
14h30 Table Ronde
Enjeux de la prise en compte des facteurs humains dans le contrôle de la sécurité et la sûreté de systèmes
Animée par F. Vanderhaegen (LAMIH), avec :
M. Mazeau (CFH)
P. Le Bot (EDF R&D)
16h00 Pause - Café
16h20 Présentations orales des posters ­ session 2
17h10 Session Posters
18h45 Fin de la journée
19h45 Cocktail dînatoire


Jeudi 5 juin 2008
8h00 Accueil ­ Café
Session 3 - Président de session : B. Iung (CRAN)
8h30 Conférence invitée
C. Bamière (SGDN)
9h00 Anticiper le risque de malveillance sur un système à flux semi-contrôlé avec la méthodologie MACSYMAC
J. Piwowar (ICD), E. Châtelet (ICD), P. Laclémence (ICD)
9h20 Méthodologie de conception d’architectures de systèmes sécuritaires pour le ferroutage basée sur des séquences de défaillances ordonnées dans le temps et des arbres de défaillances multiples
J. Clarhaut (INRETS), S. Hayat (INRETS), B. Conrard (LAGIS), V. Cocquempot (LAGIS)
9h40 Modélisation de la DEgradation et du PRonostic pour l’Aide à la DEcision de Maintenance : Projet DEPARDEM
M. Monnin (CRAN), E. Levrat (CRAN), A. Barros (ICD), A. Despujols (EDF)
10h00 Pause ­ café
10h20 Conférence invitée "Des structures fiables pour des systèmes sûrs "
E. Ardillon (EDF)
10h50 Table ronde
Surveillance ­ Sûreté
Co amination : S. Gentil (INPG), M. Fouladirad (ICD)
E. Cayre (Snecma)
J.P. Signoret (Total)
12h20 Repas
Session 4 - Présidents de session : M. Roussignol (UMLV) et C. Meier-Hirmer (INFRA/IMT-IM6)
13h50 Conférence invitée"Planning and scheduling maintenance resources in a complex system"
M. Newby (City University - London)
14h20 Application des processus Gamma pour la gestion de l'entretien des routes
B. Castanier (IRCCyN), T. Yeung (IRCCyN)
14h40 Approches Markoviennes et semi-Markoviennes pour la modélisation de la fiabilité et des actions de maintenance d'un système ferroviaire
L. Bouillaut (INRETS), R. Donat (DEST), P. Aknin (INRETS), P. Leray (LINA)
15h00 Diagnostic de systèmes répartis à l’aide de modèles génératifs
L. Oukhellou (INRETS), E. Côme (INRETS), Z. Cherfi (INRETS), P. Aknin (INRETS), T. Denoeux (Heudiasyc)
15h20 Détection d'anomalies en présence de paramètres de nuisance bornés
F. Harrou (ICD), L. Fillatre (ICD), I. Nikiforov (ICD)
15h40 Diagnostic des systèmes non linéaires par approche multimodèle
D. Ichalal (CRAN), B. Marx (CRAN), J. Ragot (CRAN), D. Maquin (CRAN)
16h00 Clôture du workshop
S. Gentil (INPG))





Session Posters - mercredi 4 juin 2008
Sondes capacitives intégrées dans des bagues de roulement pour la mesure des efforts statiques et dynamiques
B. Pottier (CReSTIC), L. Rasolofondraibe (CReSTIC), D. Nuzillard (CReSTIC), P. Marconnet (CReSTIC)
Optimisation et robustesse pour la prise de décision dans un contexte de conception intégrée et collaborative
L. Roucoules (ICD), G. Cabannes (ODIC), A. Etienne (ICD), E. Guyot (ICD), P. Lafon (ICD), N. Troussier (ODIC), B. Eynard (ODIC)
Comparaison de séquences d'images pour le suivi d'objets déformables dans des séquences d'images couleur. Application à la surveillance des sites de transport
D. Truong Cong (INRETS), L. Khoudour (INRETS), C. Achard (UPMC), C. Meurie (INRETS)
Vidéosurveillance intelligente: ré-identification de personnes par signature utilisant des descripteurs de points d'intérêt collectés sur des séquences
O. Hamdoum (CAOR), F. Moutarde (CAOR), B. Stanciulescu (CAOR), B. Steux (CAOR)
Fiabilité et performance imprécises des systèmes par les réseaux de fonctions de croyances
C. Simon (CRAN), S. Weber (CRAN)
Complexité et maitrise des risques : quelles approches pour l’optimisation de la sûreté des grands systèmes ?
B. Papin (CEA/LCFR)
Prise en compte de facteurs de stress environnementaux pour l’optimisation de la maintenance
E. Deloux (IRCCyN), B. Castanier (IRCCyN), C. Berenguer (ICD)
Approches dynamiques et stochastiques concernant l'effondrement de tension et la reconstitution des grands réseaux électriques
L. Pierrat (LJK)
Détection de défauts industriels par un banc de filtres et algorithmes DCS
O. Mustapha(GREAH), M. Khalil (LU-IUL), G. Hoblos (ESIGELEC), H. Chafouk (ESIGELEC), D. Lefebvre (GREAH)
Méthode systémique et organisationnelle d’analyse de risques basée sur une ontologie générique
M.H. Mazouni (CRAN,INRETS), J.F. Aubry (CRAN), E.M. El Koursi (INRESTS)
Détection séquentielle de défauts sur des signaux de manœuvres d’aiguillage
A. Samé (INRETS), F. Chamroukhi (INRETS), P. Aknin (INRETS)
Synthèse d'observateur hybride pour le diagnostic d'une classe de système à commutations
F. Hamdi (CReSTIC), N. Messaï (CReSTIC), N. Manamanni (CReSTIC)
Une méthode de maîtrise des risques liés aux systèmes informatiques complexes et sûrs : la validation formelle
M. Antoni (SNCF – Direction de l’Infrastructure), N. Ammad (SNCF – Direction de l’Ingénierie), P. Maillot (SNCF – Direction de la stratégie)
Détection automatisé des flux d'informations
H. Cirstea (LORIA), P.E. Moreau(LORIA), A. Santana de Olivera (LORIA)
Choix de méthodes applicables au diagnostic de pannes d'un parc hétérogène de systèmes
M. Plantive (EADS), M. Schieber (EADS)
Vérification de propriétés de sécurité pour la commande des systèmes à événements discrets
P. Marangé (CReSTIC), F. Gellot (CReSTIC), B. Riera (CReSTIC)