Journée commune des Cercles
Objectifs Zéro Défaut, Conception et Validation pour la Sûreté de Fonctionnement,Sécurité des Systèmes d'Information

du Jeudi 12 octobre 2000, à l'ENST
sur le thème
Modélisation comportementale des Systèmes critiques



La modélisation comportementale des systèmes critiques, couplée à des outils d'analyse et de simulation est utilisée pour de multiples raisons.
  • Dans les phases amont de conception du système, elle permet de pré-dimensionner l'architecture matérielle ou encore d'évaluer au plus tôt les risques engendrés par l'architecture fonctionnelle du système.
  • PLus tard, elle permettra de réaliser des simulations plus fines et d'explorer des situations trop dangereuses pour être testées sur le système réel. La réalisation des modèles et leur exploitation posent divers problèmes. Quels sont les modèles pertinents pour les besoins d'une analyse? Quels outils assistent la réalisation et l'exploitation des modèles? Environnements de modélisation de haut niveau? Structures d'accueil de simulations? Comment peut-on s'assurer de la fidélité du modèle par rapport au système étudié? Comment peut-on partager des données de simulation de manière cohérente? sûre?... L'objectif de cette journée est de proposer des éléments de réponse à ces questions. N'hésitez pas à envoyer dès maintenant toute suggestion sur les travaux à présenter ou les orateurs à inviter au cours de cette journée à
    Pascale Thévenod , Michel Dupuy , Colette Rodionoff , Sylvie Vignes


    Présentation du Cercle Objectifs Zéro Défaut

    Page maintenue par: [lettre]Sylvie Vignes