LURPA > Manifestations > Sûreté de Fonctionnement
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)