LURPA > Manifestations > Sûreté de Fonctionnement
14h : Ingénierie système et sûreté de fonctionnement : méthodologie de synchronisation des modèles d'architecture et d'analyse de risque - Anthony LEGENDRE (CEA)
14h : Ingénierie système et sûreté de fonctionnement : méthodologie de synchronisation des modèles d'architecture et d'analyse de risque - Anthony LEGENDRE (CEA)
14h - RISKS 4.0 - Enrico ZIO (CentraleSupelec)
14h - Dynamic prognostics and health management - Jie LIU (CentraleSupelec)
14h - Modélisation markovienne de très grands systèmes dynamiques grâce aux BDMP et à la méthode de calcul I&AB - Marc Bouissou (EDF)
14h - Réduire les risques lors du développement de systèmes en diminuant l'ambiguïté des exigences - Benoit Lebeaupin (CentraleSupelec)
14h - Performance analysis of stochastic models through Hybrid Automata Specifications - Paolo Ballarini (CentraleSupelec)
14h - Détection d'incidents sur un réseau moyenne tension de distribution d'électricité - Odilon Faivre (ERDF, Ile de France)
15h - Ingénierie collaborative des systèmes complexes : étude d’un système de freins d’avions - Ali Koudri, Laurent Wouters, Benjamin Aupetit (IRT SystemX)
14h - Flight Control System Modeling with SysML to Support Validation, Qualification and Certification - Jean-Yves Choley (SupMeca)
14h - Ingénierie collaborative des systèmes complexes : focus sur la sûreté de fonctionnement - Ali Koudri (IRT SystemX)
14h - Auto-diagnostic des fautes et restauration des services dans un environnement NFV/SDN - José Sanchez (Orange)
15h - System Modeling and Availability Analysis based on the FOCUS Modeling Theory - Andréas Wogelsang (TU, Münich)
14h - Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques réparables et reconfigurables - Pierre-Yves PIRIOU (EDF)
14h - De l'optimisation prédictive à la gestion du cycle de vie : des techniques
et outils au service de l'ingénierie des performances - Emmanuel Arbaretier (APSYS, EADS)
15h - A formal model-based methodology to specify railway systems - Mélissa Issad (Siemens, CentraleSupelec)
14h - Model-Based Engineering of Automotive Architectures with EAST-ADL: methodological approach and open issues - Sara Tucci et Agnes Lanusse (CEA List)
14h00 - Présentation du Master Recherche "Conception et Commande des Systèmes Critiques (CCSC)" - Jean-Jacques Lesage (LURPA, ENS Cachan)
14h30 - OpenAltaRica : objectifs et premiers travaux - Michel Batteux (IRT SystemX)
14h - Elements de langage pour la formalisation de problème de synthèse de système - Pierre-Alain Yvars (Supmeca) & Laurent Zimmer (Dassault Aviation)
14h - Positionnement et résultats du projet FSF de l’IRT SystemX - Elie Soubiran (IRT SystemX)
15h - SO/TR 12489: Modélisation et calcul fiabiliste des systèmes de sécurité - Jean-Pierre Signoret (chef de projet de l'ISO/TR 12489)
14h - Vers une ingénierie de systèmes sûrs de fonctionnement - L'analyse des risques associée à l'architecture externe du véhicule - Application à un cas automobile - Pierre Mauborgne (PSA Peugeot Citroën)
14h - Méthode B : langage, raffinement et applications - Frédéric Gervais (Université Paris-Est Créteil)
14h - Méthodes formelles dans l'industrie - Jean-Louis Boulanger (CERTIFER)
14h - Introduction à l'Interprétation abstraite : analyse statique et au-delà - Mehdi Bouaziz (ENS Paris)
14h - Phénomènes de dégradation et durées de vie résiduelles - Frédéric Boulanger (Supélec)
14h - Formalisation des systèmes de contrôles d'aiguillage - Marc Antoni et Nassim Moussi (SNCF)
15h - Architecture système et sûreté de fonctionnement - Agnès Lanusse (CEA LIST)
14h - Efficient Methods of Sampling Uncertain Variables in Risk Assessment Models - Nicola Pedroni (ECP)
15h - Non-Homogeneous Redundancy Allocation in Series-Parallel Multi-State Systems - Yan-Fu Li (ECP)
14h - Intégration de la sûreté de fonctionnement dans un processus d'ingénierie système basé sur SysML, Faïda MHENNI (SUPMECA)
15h - Synthèse de coupes fonctionnelles minimales en coupes minimales composant, André Leblond (Thalès)
14h - Phénomènes de dégradation et durées de vie résiduelles - Anne Barros (Université Technologique de Troyes)
14h - Réseaux Bayésiens part II - Marc Bouissou (EdF R&D & Ecole Centrale)
15h - Evaluation indépendante et certification de système ferroviaire, pourquoi, quel apport ? - Jean-Louis Boulanger (CERTIFER)
14h - Réseaux Bayésiens part I, Marc Bouissou (EdF R&D & Ecole Centrale)
15h - Les algorithmes de XMRK, l'outil de traitement des modèles Markovien multiphase à récompense du projet AltaRica 3.0, Antoine Rauzy (Ecole Centrale et Ecole Polytechnique)
14h - Stochastic Automata Networks - Leïla Kloul (Université de Versailles Saint-Quentin en Yvelines & Ecole Polytechnique)
15h - Contribution de l’ergonomie à la maîtrise des risques en conception: le cas d’une future salle de commande - Cécilia de la Garzia (EdF R&D)
14h - Modélisation des mécanismes de sûreté automobiles, Abraham Cherfi (Valeo & Ecole Polytechnique)
15h - Génération partielle de chaînes de Markov à partir de systèmes de transition gardées
Intervenant : Pierre-Antoine Brameret (ENS Cachan)
14h - Analyse d'incertitudes dans la pratique industrielle : méthodologie et mise en oeuvre sous Openturns, Anne Dutfoy (EDF R&D)
14h - Exposé didactique - Complexité des problèmes de fiabilité (2ième partie), Antoine RAUZY (LIX)
15h - Exposé principal - Safety Ingénierie système et sûreté de fonctionnement, Pierre Mauborgne (Cifre PSA)
14h - Exposé didactique - Complexité des problèmes de fiabilité, Antoine RAUZY (LIX)
15h - Exposé principal - Quelques résultats analytiques et nouveaux problèmes en disponibilité des réseaux, Christian Tanguy (Orange)
14h - Exposé didactique - Les Facteurs d'Importance, Antoine RAUZY (LIX)
15h - Exposé principal - Sur les Défaillances de Causes Communes, Dominique VASSEUR (EdF R&D)
14h - Introduction du séminaire - Emmanuel Arbaretier (EADS-APSYS) Antoine Rauzy (LIX, Polytechnique)
14h30 - Le Projet AltaRica - Antoine Rauzy (LIX, Polytechnique)