Programme

 

 
Maîtrise et confiance dans les systèmes complexes
08.30-08.50
Enregistrement
08.50-09.00
Bienvenue et présentation de la problématique
Agusti Canals - CS Communication&Systèmes
09.00-09.45
Principes de sûreté des grands systèmes industriels
M.Thuy Nguyen (Edf)
09.45-10.20
Démarche de Nexter Systems pour la sécurisation des développements par la modélisation fonctionnelle et la sûreté de fonctionnement
Nicolas Stojanovic, Remi Boutemy (Nexter Group)
10.20-10.50
Pause Café
10.50-11.25
Vers la maîtrise des interdépendances sûreté-sécurité dans les systèmes complexes
Nicolas Chapon (CS), Ludovic Piètre-Cambacédès (EDF)
11.25-12.00
La confiance dans les systèmes navals
Ph Nezondet (DCNS)
12.00-13.30
Pause Repas
13.30-14.20
Techniques de vérification récentes par model checking et vérification de SdS
Yann Thierry-Mieg, Fabrice Kordon (Lip6)
14.20-15.10
l'approche dirigée par les modèles en sûreté de fonctionnement, le langage AltaRica
Antoine Rauzy (Ecole Polytechnique)
15.10-15.40
Pause Café
15.40-16.30
La confiance dans les modèles : besoins, moyens et liens avec le MBSE
Vincent Chapurlat (Ecole des Mines D'Alès)
16.30-17.30
Table Ronde animée par
Fabrice Kordon (Lip6) ; C.Pourcel (LGIPM/ENIM)
Intervenants
Vincent Chapurlat (Ecole des Mines D'Alès), Tony Hutinet (Dassault Systèmes), Antoine Rauzy (Ecole Polytechnique),M.Thuy Nguyen (Edf)
17.30-18.00
Clôture