Accès aux communications par session

1A - Résilience - Continuité d'activité/gestion de crise
Conférence présidée par : T-H. Benchekroun B. Robert	Gestion des situations post-accidentelles : résilience et sensibilisation des acteurs locaux
	M. Ayoub Laouni □ B. Journe □ S. Tillement
	La résilience organisationnelle des projets d'arrêt de production d'énergie pour maintenance des installations
	N. De Beler □ A. Moreau □ L. Macchi
	L'entrée en résilience en situation extrême
	C. Geoffroy □ E. Rigaud □ F. Guarnieri
	Résilience des infrastructures critiques : point de vue sur les approches actuelles
	C. Curt □ J-M. Tacnet □ C. Simon
1B - Certification et normalisation
Conférence présidée par : H. Du Baret de Lime M. Sallak	Adaptations de l’ISO-26262 pour l’analyse globale des risques d’une gamme complète de véhicules utilitaires électriques
	J. Barbat □ L. Morfin □ C. Porcherel
	Incertitudes dans les calculs de fiabilité selon les normes IEC 61508 et IEC 61511
	F. Doux □ M. Boiteau □ N. Clavé □ J-P. Signoret
	SIL (Safety Integrity Level) : Les méthodes d’acquisition du Niveau SIL selon la norme internationale CEI 61511
	S. Baitiche
	Sécurité fonctionnelle des systèmes relatifs à la sécurité : 10 erreurs à éviter
	F. Brissaud □ D. Turcinovic
1C - Diagnostic/pronostic
Conférence présidée par : E. Niel T. Yalamas	Contrôle continu de l'impédance des joints isolants collés pour la disponibilité des lignes SNCF
	J. De Reffye □ M. Antoni
	Établissement d'un pronostic de dégradation sur un système asservi
	T. Aggab □ P. Vrignat □ M. Avila □ F. Kratz
	Health monitoring dans le domaine spatial
	R. Laulheret □ A. Cabarbaye □ S. Bosse
	Impacts liés aux pertes d'informations sur un processus communiquant et contrôlé en réseau
	J. Thuillier □ P. Vrignat □ D. Delouche □ F. Kratz
Interactive Président : L. Marle	VAM, outil logiciel adaptatif et libre pour prendre en compte l'effet des maintenances et du vieillissement
Interactive Président : L. Marle	L. Doyen □ R. Drouilhet
1D - Démarches FOH : risques et changements 1
Conférence présidée par : N. Dechy P. Weber	Donner du sens à la conduite du changement : un facteur de maîtrise des risques
	C. Hébraud □ T. Morlet
	L’ingénierie FOH : construire et accompagner les trajectoires et innovations FOH des industriels
	J-C. Le Coze □ L. Moulin □ R. Périnet □ N. Herchin
	Maîtriser le changement pour maîtriser les risques : quand l'amélioration continue devient illusoire
	J-M. Rousseau □ N. Dechy
	PERFHOMM : pour une contribution claire et renforcée du rôle des hommes dans la sécurité industrielle
	R. Perinet □ N. Herchin □ P. Fresneau
1E - Études probabilistes de sûreté 1
Conférence présidée par : F. Kratz J-M. Obama	Adapter le niveau de détail des études fiabilistes pour maîtriser les contraintes d'un projet nucléaire
	H. Brunelière □ M. Rath □ C. Le Montagner □ P. Lacaille
	The DIFERS (DIscrete Forecast ERror Scenarios) method for grid reliability assessment in short-term planning
	G. Dogan □ P-E. Labeau □ J. Sprooten □ M. Galvez □ J-C. Maun □ K. Sleurs
	Approche compositionnelle sur les langages probabilistes pour l'évaluation des séquences d'événements en Sûreté de Fonctionnement
	D-R. Ionescu □ N. Brînzei □ J-F. Pétin
	Analyse de la fiabilité humaine : vers un cadre plus formel pour les applications ferroviaires
	S. Rangra □ M. Sallak □ W. Schön □ F. Vanderhaegen □ K. Bader
2A - Risques liés aux nouveaux usages - architectures robustes 1
Conférence présidée par : E. Chojnacki S. Maciejewski	Analyse des risques pour la conception d’un système de conduite automatisée avec STAMP
	S. Alvarez □ Y. Page □ F. Guarnieri
	Architecture sûre du véhicule autonome sans chauffeur
	M. Boisson □ E. Arbaretier □ A. Bracquemond
	SATLOC – Innovative satellite based operation and management of low traffic lines
	M. Antoni □ T. Gradinariu

2B - Réglementation et législation
Conférence présidée par : C. Barruet S. Croizé	Gestion de la conformité réglementaire
	M. Wogue
	Pistes et réflexions concernant l’impact des évolutions réglementaires et normatives européennes sur les produits électroniques en cours de production et en stock
	C. Corlier □ P. Bazillier □ P. Savatier
	Outils d'analyse de la sûreté industrielle
	M-H. Renaudin
Interactive Président : P. Kahn	La Maîtrise des risques sur les systèmes militaires embarqués à composante mobile
Interactive Président : P. Kahn	G. T’Kint De Roodenbeke □ P. Galopin □ H. Blanchais
Interactive Président : S. Croizé	Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaire
Interactive Président : S. Croizé	J. Beugin □ K-A. Ouedraogo □ E-M. El-Koursi □ J. Clarhaut □ D. Renaux □ F. Lisiecki
2C - Fiabilité prévisionnelle et durée de vie
Conférence présidée par : E. Remy K. Zurbuch	Estimation prévisionnelle du nombre d’incidents du sous-système voie ferrée pour un projet ferroviaire
	S. Lim □ S. Chrun □ S. Maciejewski □ J-M. Cloarec
	Comparaison des processus gamma et Wiener pour modéliser la dégradation de géométrie de voies ferroviaires
	C. Letot □ I. Soleimanmeigouni □ I. Arasteh Khouy □ A. Ahmadi □ P. Dehombreux
	Durability-reliability: management & exploitation of the data in the customer field in automotive industry
	C. Ramus Serment □ D. Tamisier □ A. Garcia De Blanes
2D - Démarches FOH de REX
Conférence présidée par : S. Duvenci-Langa M. Merad	Développer une vision proactive des incidents ferroviaires : l’approche Facteurs Organisationnels et Humains
	C. Blatter □ A. Pernet □ L. Karsenty
	Étudier l’occurrence d'événements indésirés avec des méthodes causales statiques ou dynamiques : quelle complémentarité ?
	J-F. Vautier □ T. Coye De Brunélis □ R. Périnet □ D. Cuménal □ N. Raxach
	L'analyse organisationnelle au secours des CREX : une expérience en médecine nucléaire
	M. Bulot □ S. Thellier □ C. Rousse □ M. Sfez
2E - Études probabilistes de sûreté 2
Conférence présidée par : M. Bouissou N. Clavé	Reliability of offsite power of nuclear power plants in evolving power systems
	P. Henneaux □ P-E. Labeau □ J. Mitchell Obama
	Model Based Safety Assessment of Concept of Operations for Drones
	P. Bieber □ C. Seguin □ V. Louis □ F. Many
	Tolerable hazard rate for function with independent safety barrier acting as failure detection and negation mechanism
	P. Dersin □ A. Blas
Interactive Président : N. Dechy	Comment caractériser la fiabilité de jugements d'expert technique dans la surveillance des ouvrages d'art ?
Interactive Président : N. Dechy	F. Mirouze □ S. Chami □ V. Bordeau
3B - Risques projet 1
Conférence présidée par : L. Dehouck V. La Lumia	Qualité d’une prévision de fiabilité d’un système complexe
	J-P. Gitto □ M. Bosch-Mauchand □ A. Ponchet Durupt □ Z. Cherfi □ I. Guivarch
	Maîtriser les risques d'obsolescence : anticiper
	F. Davenel □ A. Lesage □ S. Le Nouaille □ J. Rigo
	tARg€t – Détermination des objectifs de disponibilité et de fiabilité
	M. Bartholdt □ B. Bertsche
	Points de vigilance récurrents dans la conduite d’une étude de Sûreté de Fonctionnement
	H. Du Baret de Lime
3C - Gestion des actifs industriels
Conférence présidée par : G. Hardy L. Marle	Apports de la simulation FDM pour la mise en œuvre d'une politique de gestion des actifs
	J. Grangé □ P. Famey
	Gestion des actifs - méthode d’optimisation des investissements selon une approche coût/risque
	D. Faure □ S. Akel
	La modélisation des systèmes complexes, un concept novateur pour la gestion des actifs des réseaux électriques
	P. Stevenin □ M. Guiserix □ G. Chiquillo □ J. Brown □ G. Barbaud □ H. Ben Amor
	Valorisation de la surveillance des disjoncteurs SF6
	W. Lair □ H. Decroix □ J. Lonchampt

3D - Ergonomie et maîtrise des risques
Conférence présidée par : G. Hernandez A. Tairi	L’ergonomie au service de la maîtrise des risques pour la conception ferroviaire - l’exemple d’un projet de service innovant
	C. Zanarelli-Lueg □ Y. Giovanelli
	Conception de la Maîtrise des risques sur un convoi de transport logistique en situation extrême (raid Antarctique)
	A. Villemain □ P. Godon
	L’analyse de la complexité de l’activité pour identifier les risques encourus par les patients en radiothérapie
	S. Thellier □ P. Falzon
	Vers un dispositif d’information ressource pour les intervenants sur le terrain en « situation extrême »
	S. Viollon □ C. De La Garza □ E. Gaillard-Lecanu
Interactive Président : A. Tairi	Vérification et mise en conformité de textes procéduraux grâce au TAL
Interactive Président : A. Tairi	V. Andréani □ C. Raynal □ E. Carayon □ É. Hermann
3E - Fiabilité des composants
Conférence présidée par : M. Giraudeau C. Elegbede	Analyse statistique sur des structures Moteur pour démontrer la conformité aux exigences de sécurité
	C. Bisot □ A. Gallo
	Cyclage en température des profils complexes FIDES
	R. Fardella □ C. Barruet □ C. Grenouilloux
	Time-variant reliability: some new considerations for enhancing industrial application
	E. Ardillon
	Evaluation des modèles de fiabilité prévisionnelle pour les composants EEE pour des applications spatiales
	S. Bourbouse □ J-P. Blanquart □ J-F. Gajewski □ C. Lahorgue
Interactive Président : J. Berthon	Amélioration de la méthode Neyer d'estimation de fiabilité des systèmes mono-coup utilisée en pyrotechnie
Interactive Président : J. Berthon	C. Etcheverry □ A. Cabarbaye □ S. Bosse □ M. Pouligny
3R - Recherche et Industrie 1
Conférence présidée par : A. Bracquemond P-E. Labeau	Aide la maîtrise des risques liés aux interactions entre acteurs du projet et à leurs engagements
	J. Ventroux □ F. Marle □ L-A. Vidal
	Évaluation probabiliste d'une barrière humaine prise dans son contexte organisationnel
	A. De Galizia □ C. Duval □ E. Serdet □ B. Iung □ P. Weber □ C. Simon
	Modèles Dysfonctionnels pour la Gestion de la Qualité de Service des Systèmes Critiques
	C. Seguin □ C. Sannino □ J. Sprauel
4B - Risques projet 2
Conférence présidée par: G. Blaison A. Texier	La construction des décisions de management des risques dans les projets de BTP
	M. Lassagne □ L. Dehouck
	Les matrices conséquences-probabilités pour décider de l’acceptabilité du risque : un paradoxe économique
	F. Claude □ S. Nouet
	Management d’un projet par ses risques : premier impact - Evolution méthodologique en tant qu’aide à la décision
	C. Pointurier
	Réorganisation d’un projet complexe par ses risques - Axes d’optimisation via la clustérisation
	C. Pointurier □ F. Marle
4C - SLI - Ingénierie de la maintenance
Conférence présidée par : E. Arbaretier G. Pelloquin	Maîtrise des risques d'interruption opérationnelle dans la conception d'un système de lancement
	J. Villemain □ C. Elegbede □ C. Ducamp □ C. Mommée
	Outil nouvelle génération d'analyse du soutien logistique
	S. Michel
	Un outil d'aide à la décision pour la planification des opérations de maintenance d'une éolienne offshore
	B. Castanier □ W. Zhu □ B. Bettayeb
	Spécification ASD S3000L : quels liens avec la sûreté de fonctionnement ?
	K. Zurbuch □ O. Hurault

4D - Perception et maîtrise des risques
Conférence présidée par : V. Bringaud N. Dechy	Communication et perception des risques : des enjeux de formation aux méthodes
	I. Fucks □ S. Mbaye
	La notion de règle parcimonieuse et adaptative et pour mieux maîtriser les risques
	C. Morel
	Les matrices éthiques au service des technologies à risques. Le cas de la gestion des déchets radioactifs à longue durée de vie
	C. Kermisch
	Prise en compte des incertitudes dans la cartographie des risques – Quelques recommandations dans le cas de la prévention des pollutions atmosphériques
	M. Merad □ E. Chojnacki □ L. Rouïl
4E - Fiabilité des systèmes
Conférence présidée par : F. Brissaud J. Beugin	Amélioration de la fiabilité des structures matricielles de batteries
	C. Savard □ É. Niel □ L. Pietrac □ P. Venet □ A. Sari
	Calcul de MTBF des systèmes aéronautiques inspectés périodiquement soumis à rupture aléatoire de systèmes de régulation
	V. Couallier □ L. Denis □ F. Bayle
	Calcul direct de la fiabilité d'un système par son graphe ordonné
	J-F. Aubry □ N. Brinzei
	Guide d'aide à l'estimation et à la validation de la fiabilité automobile
	B. Echard □ G. Lapeyre □ D. Delaux □ E. Naudan □ A. Poncet □ S. Popineau □ C. Ramus-Serment □ P. Schimmerling
Interactive Président : P. Schimmerling	Contribution à l’amélioration de la fiabilité du réseau électrique de la province du Katanga RD/Congo
Interactive Président : P. Schimmerling	I. Kyoni □ R. Banka □ P-E. Labeau
4R - Recherche et Industrie 2
Conférence présidée par : Z. Cherfi-Boulanger C. Blatter	Choix d'un plan d'inspection optimal pour le suivi d'un ouvrage en présence de variabilité spatiale
	R. Décatoire □ T. Yalamas □ F. Schoefs □ S. Mohammed Elachachi
	Concevoir un dispositif de retour d'expérience intégré pour plus de résilience
	C. Casse □ S. Caroly
	Le contrôle collaboratif et les TIC : enjeux et perspectives en gestion des risques
	R. Falco □ F. Guarnieri
5A - Risques liés aux évolutions organisationnelles
Conférence présidée par : M. Bulot P. Weber	Introduction au Guide de gouvernance des risques émergents IRGC-INERIS
	C. Mazri □ M-V. Florin
	Le management des risques comme outil d'intégration de la responsabilité sociétale dans le management des organisations
	S. Sperandio □ V. Robin
	Repositionnement sur les marchés santé : gestion des risques associés
	J-F. Cazaubon □ F. Chambat □ J. Garin
	Risques et opportunités pour les lanceurs spatiaux de demain
	S. Lombard □ F. Farago
5C - Expertise et Knowledge Management
Conférence présidée par : M. Chevalier A. Lannoy	Modéliser la traçabilité et qualité de l'information dans les processus d'expertise des risques naturels
	L. Vidaud □ J-M. Tacnet □ F. Pinet
	L’Arbre d’investigation : les "questions partitionnantes"
	J-Y. Lehman □ P. Sudret □ H. Challiol
	ATEX et installations industrielles : éléments de retour d’expérience issus d’une vingtaine d’années d’enquêtes après accidents
	M. Boudalaa □ B. Debray
	Un retour d'expérience dynamique à l'épreuve de la temporalité
	N. Dechy □ Y. Dien □ E. Marsden □ J-M. Rousseau
Interactive Président : A. Lannoy	Méthodologie RMAP : un outil d'assistance à la gestion des risques fondé sur le retour d'expérience
Interactive Président : A. Lannoy	J-D. Botero Lopez □ D. Noyes

5D - Risques et société : métiers et public
Conférence présidée par : C. Blatter C. Kermisch	La participation citoyenne au débat sur les risques industriels : quelques pistes de réflexion
	C. Kamaté
	La professionnalisation des métiers de sécurité : profession : « responsable HSE ! »
	W. Van Wassenhove □ E. Garbolino □ V. Sanseverino-Godfrin
	Les conducteurs de métro et la sécurité ferroviaire : l'impact des transformations du métier en question
	L. Cottard
	Les nouveaux enjeux des SHS pour la gestion des risques en matière de sûreté, de sécurité et d’environnement-santé
	M. Merad □ D. Guionnet □ L. Rouïl
Interactive Président : M. Merad	Un homme averti en vaut-il toujours deux ? Efficacité de l'information préventive relative aux risques
Interactive Président : M. Merad	L. Ferrer □ C. Curt □ J-M. Tacnet □ A. Arnaud □ A. Schleyer-Lindenmann
5E - Modélisation/simulation 1
Conférence présidée par : J-M. Cloarec R. Marie	CFD based design of protective blast walls to mitigate explosion consequences: validation and best practices
	S. Jallais □ E. Vyazmina □ S. Trélat
	CFD benchmark on vented explosion of hydrogen / air mixtures: best practices and recommendations
	S. Jallais □ E. Vyazmina □ L. Krumenacker □ A. Tripathi □ A. Mahon □ J. Commanay □ S. Kudriakov □ E. Studer □ T. Vuillez
	Modelica et simulation de Monte Carlo pour l’étude de fiabilité et disponibilité d’un Data Center
	P. Carer □ X. De Bossoreille □ M. Otter
	Représentation de défaillances de cause commune orientées dans un système distribué par réseaux de Petri colorés
	G. Deleuze □ N. Brinzei □ T. Hodicq
Interactive Président : R. Marie	GRIF-Bool : évaluation des risques à l'aide d'un outil d'analyse Booléenne multi-approches
Interactive Président : R. Marie	N. Clavé □ P-J. Cacheux □ A. Dutertre □ C. Vinuesa □ C. Folleau
Interactive Président : J-M. Cloarec	L'outil K6 pour les études de Sûreté de Fonctionnement des réseaux électriques industriels
Interactive Président : J-M. Cloarec	T. Chaudonneret □ F. Robin □ P. Moreau □ C. Monnier
Interactive Président : M. Giraudeau	Evaluations fonctionnelles des équipements électroniques
Interactive Président : M. Giraudeau	S. Dreyfus □ E. Amil
5F - Vulnérabilité et survivabilité aux malveillances
Conférence présidée par : M. Antoni B. Lebreton	Les enjeux de la cyber sécurité dans le domaine des véhicules connectés
	F. Stosse □ J-C. Touvet □ F. Sadmi □ L. Duboc □ A. Olivier
	Sécurité : comment gérer les surprises ?
	J. Caire □ S. Conchon
	Convergence Safety-Security
	J. Cancelier □ S. Faux □ A. Gouin □ M. Dufresne
6A - Risques liés aux nouveaux usages - architectures robustes 2
Conférence présidée par : G. Gregoris S. Meunier	Fiabilité et sécurité fonctionnelle des ADAS
	L. Raffaelli □ F. Vallée □ G. Fayolle
	Sécurité-Innocuité des véhicules autonomes : enjeux et verrous
	A. Cherfi □ E. Arbaretier □ L. Zhao
	Sûreté de fonctionnement, sécurité des systèmes d'information et survivabilité des systèmes de systèmes
	J-C. Houdebine □ A. Flori □ G. Durand □ H. Fargetton
	Développement d'outils d'ingénieurs pour l'évaluation du risque hydrogène
	D. Houssin-Agbomson □ S. Jallais
6C - Signaux faibles
Conférence présidée par : V. Bordeau S. Chrun	Effet doppler et cindynique. Comment concilier signal et mouvement pour maîtriser les risques ?
	L. Dubau □ J. Magne □ J. Pignault
	Explorer « l’imprévisible » : comment et jusqu’où ?
	N. Dechy □ Y. Mortureux □ G. Planchette □ C. Blatter □ J-F. Raffoux
	Mieux comprendre les fondements des analyses des risques pour les améliorer : la place du « déclic »
	J. Escande □ C. Proust □ J-C. Le Coze
	Signaux « faibles », décisions agiles. S’organiser pour tirer parti de nombreux signaux précurseurs de dangers
	J. Magne □ J. Pignault □ L. Dubau
Interactive Président : S. Lombard	Peut-on améliorer la prévention-gestion qualité client, en utilisant les signaux faibles ?
Interactive Président : S. Lombard	V. Contreras □ R. Garnier

6D - Recherche opérationnelle pour la décision
Conférence présidée par : Z. Cherfi-Boulanger X. Joliot	Efficient Samplings in Stochastic Optimization for Reactive Power Planning Problems
	R. Dufour □ P-E. Labeau □ P. Henneaux □ K. Karoui □ C. Merckx
	La modélisation par Réseau de Petri au service de l’Asset Management d’une ligne de métro
	A. Crampon □ J-M. Mitterrand □ O. Boccard
	Méthode générique de planification optimale des essais de fiabilité et de dégradation
	A. Cabarbaye □ C. Etcheverry □ S. Bosse □ M. Pouligny
	Optimisation de la maintenance des postes de détente du réseau de transport de gaz naturel
	L. Marle □ J. Blondel □ A. Berlatier □ D. Faure
Interactive Président : C. Simon	Nouvelle méthode d'optimisation sous contraintes pour la résolution d'équations mal posées
Interactive Président : C. Simon	M. Biret □ M. Achibi □ M. Broniatowski □ A. Anfriani
6E - Modèles formels/preuves formelles 1
Conférence présidée par : T. Hutinet G. Pelloquin	Optimisation d'architectures de systèmes aéronautiques certifiables basée sur l'approche modèle
	F. Deschamps □ G. Savary
	Méthode d'identification des risques basée sur les modèles
	P. Krapf □ D. Loise
	Spécification et analyse de systèmes ferroviaires à l'aide d'un langage de scénarios
	M. Issad □ L. Kloul □ A. Rauzy
	Production performance of an offshore system by applying AltaRica 3.0
	H. Meng □ B. Aupetit □ L. Kloul □ A. Rauzy
6F - Sûreté de fonctionnement des réseaux et des systèmes informatiques/programmés 1
Conférence présidée par : H. Brunelière C. Triolaire	Defining a pragmatic methodology for software assessment based on a « white-box » approach
	L. Duboc □ F. Sadmi □ F. Kirchner
	Allocation des exigences de sécurité : des évènements redoutés aux évènements non souhaités
	A-S. Smouts
	Résilience des fonctions réseau virtualisées : application à l'IMS
	C. Lac □ G. Lecorgne
	Utilisation des modèles d’ingenierie des systèmes de combat DCNS dans le cadre d’un nouveau processus interne de Safety
	C. Lefèvre □ R. Palud □ F. Vallée
7D - Aide à la décision multicritères - décision en contexte incertain
Conférence présidée par : C. Curt F. Marle	About resilience of Aircraft Safety function during commercial aircraft development
	G. Savary □ F. Deschamps □ M. Game
	Analyse de risque d’accidents dans les Passages à Niveau
	J. Boudnaya □ A. Mkhida □ M. Sallak
	Dealing with uncertainty on parameters elicited from a pool of experts for CCS risk assessment
	J-C. Manceau □ A. Loschetter □ J. Rohmer □ L. De Lary □ K. Hnottavange-Telleen □ T. Le Guénan
	Vers un traitement des biais experts pour l’évaluation de la fiabilité des digues
	M. Hathout □ M. Vuillet □ Y. Diab □ C. Carvajal □ L. Peyras
7E-1 - Modèles formels/preuves formelles 2
Conférence présidée par : A. Lanusse E. Niel	From design to dependability: a bridge between physical simulation and risk analysis
	M. Bouissou □ L. Buffoni □ B. Thiele
	Vers la définition d'un kit d'évaluation pour les simulateurs stochastiques
	B. Aupetit □ M. Batteux □ A. Rauzy □ J-M. Roussel
	Création d'un atelier d'ingénierie en Sûreté de Fonctionnement
	G. Hardy □ M. Giraudeau
	Synchronisation des modèles d'architecture et d'analyse de risques : quel gain, comment et pourquoi ?
	A. Legendre □ A. Lanusse □ A. Rauzy
7E-2 - Modélisation/simulation 2
Conférence présidée par : A. Grall P-E. Labeau	Application of some new fast monte carlo methods to an industrial case
	C. Paroissin □ L. Bordes □ S. Collas □ M. Estécahandy
	Génération automatique de réseaux de Petri à partir de réseaux électriques
	M. Chevalier □ L. Buchsbaum □ Y. Robin □ G. Le Godais
	Nouveau modèle de simulation pour l'évaluation de la disponibilité de production des systèmes pétroliers
	C. Folleau □ C. Vinuesa □ S. Collas
	Prise en compte des transitions dynamiques au sein des réseaux de Petri stochastiques
	P. Thomas □ Y. Dutuit □ J-P. Signoret
7F-1 - Conception sûre 1
Conférence présidée par : A. Bracquemond M. Eid	Approche basée « modèle » pour l'analyse Safety de systèmes avioniques critiques et des erreurs humaines
	M. Morel □ G. De Brito
	Exemple de mise en oeuvre du « proven in use argument » pour un composant automobile
	F. Milliot
	Intégration et tests sur des systèmes mécatroniques automobiles : Application de l'ISO26262
	X. Oudin □ C. Heller
	Synthèse du projet IMdR P13-2 : proposition d'une nouvelle méthode de sécurité pratique
	R. Parouty □ H. Du Baret de Lime
Interactive Président : S. Lombard	Résolution des contradictions techniques dans la conception des systèmes de lancement
Interactive Président : S. Lombard	M. Kurela
7F-2 - Sûreté de fonctionnement des réseaux et des systèmes informatiques/programmés 2
Conférence présidée par : P. Kahn C. Simon	Aide à la validation système de la spécification d’une machine numérique
	P. Leclercq
	Investigation of error types associated with failures in multicore processors
	L. Mutuel □ X. Jean □ V. Brindejonc
	Méthode d’évaluation des exigences de fiabilité pour des modules logiciel embarqués à partir de spécifications
	M. Sehit □ A. Bracquemont □ H. Soubra □ A. Ramdane Cherif
	Nouvelle méthodologie de développement de logiciels embarqués dans la phase de prototypage
	J. Godot □ A. Alif □ S. Saudrais □ B. Barbedette
8C - REX et analyse de données
Conférence présidée par : F. Guérin D. Vasseur	Analyse de récits d'accidents du travail pour identifier des dérives d'usage et apport des TAL
	P. Lamy □ C. Tissot
	Apport du Traitement Automatique des Langues pour la catégorisation de retours d'expérience
	C. Raynal □ V. Andréani □ D. Vasseur □ Z. Chami □ E. Hermann
	Exploitation textuelle de données de retour d'expérience sous l'angle de la prévention des risques professionnels
	C. Tissot
Interactive Président : F. Guérin	Maintenance des équipements mobiles : bilan des accidents mortels au Québec
Interactive Président : F. Guérin	D. Burlet-Vienney □ Y. Chinniah □ B. Aucourt □ T. Belmekki
8D-1 - Analyse systémique et cindynique des risques
Conférence présidée par : V. Bringaud J-F. Raffoux	Analyse systémique d'un projet de gestion des risques dans un centre hospitalier en difficulté
	G. Andre □ S. Garandel □ R. Vidal □ P. Leveau
	Une démarche innovante de sécurité dans le ferroviaire : développement des compétences non techniques pour une meilleure maîtrise des risques
	S. Duvenci-Langa □ C. Buisson □ M-N. Obrist
	Mesure des déficits systémiques cindynogènes dans un pôle hospitalier d’urgences
	P. Leveau
8D-2 - Démarches FOH : risques et changements 2
Conférence présidée par : C. Blatter W. Schön	Apport de la modélisation STAMP dans l'analyse des risques et la prévention des accidents : le cas des opérations d’enlèvement sur les FPSOs
	D. Oueidat □ T. Eude
	Départ de trains portes ouvertes : recherche de solutions transitoires basées sur l'humain
	F. Jubert
	Pilotage dynamique de la sécurité par les indicateurs. Introduction au guide INERIS
	C. Mazri
8E - Modèles formels/preuves formelles - Sûreté du logiciel
Conférence présidée par : E. Arbaretier F. Vallée	Assurer la SdF d'un logiciel existant ayant de nouvelles fonctionnalités spécifiées en Model Based Design
	A. Mihalache □ F. Bedoucha □ Y-M. Foll □ M. Foucault
	Bi-processeur et preuve formelle pour automatismes SIL4
	T. Lecomte
	Vérification de propriétés de sécurité niveau système sur un logiciel ferroviaire
	A. Feliachi □ D. Bonvoisin □ S. Chaou □ J. Ordioni
8F - Conception sûre 2
Conférence présidée par : T. Delion R. Houssin	“Building block” strategy application to functional safety of inverters
	H. Lhabil □ A. Thionville
	Prise en compte des interactions multidomaines lors de l’évaluation de la fiabilité prévisionnelle des systèmes mécatroniques
	N. Bensaid Amrani □ L. Saintis □ D. Sarsri □ M. Barreau