=======================================================================

                 Club SEE "Systemes Informatiques de Confiance"
                        http://www.rennes.supelec.fr/sic/

         Cercle "Conception et Validation pour la Sûreté de Fonctionnement" 

========================================================================

                       Réunion du 2 février 2006 à l'ENST (Paris)

              Thème : "Analyse et évaluation de la sûreté de fonctionnement à base de modèles"
                         
========================================================================

========================================================================

• Hamid Demmou, LAAS-CNRS : "Recherche de scénarios redoutés à partir d'un modèle réseau de Petri" [ppt]
• Christophe Guittet, ALL4TEC Génie Logiciel : "Modélisation du comportement des systèmes embarqués par un modèle d'usage issu des chaines de Markov" [ppt]
• Pierre Bieber, ONERA : "Allocation sûre de ressources informatiques à des applications avioniques" [ppt]
• Marc Bouissou, EDF : "Le formalisme BDMP (Boolean logic Driven Markov Process) [pdf]
• Karama Kanoun, LAAS-CNRS : "Modèles de sûreté de fonctionnement à partir de descriptions AADL" [pdf]
• Frédérique Vallée, Mathix : "Fiabilité des logiciels dans les autocommutateurs privés" [ppt]