• Titre : Complexité des problèmes de fiabilité (2ième partie)
• Intervenant : Antoine RAUZY (LIX)

L'objectif de cet exposé est d'introduire les notions essentielles de théorie de la compléxité des algorithmes (compléxité en temps, en espace, classes de compléxité P, NP, co-NP, PSPACE, #P) et de présenter les résultats essentiels concernant les problèmes de fiabilité, c'est à dire principalement le calcul de la probabilité de l'évènement sommet d'un arbre de défaillance.

• Titre : Ingénierie système et sûreté de fonctionnement
• Intervenant : Pierre Mauborgne  (Cifre PSA)

La conception de systèmes complexes peut s'appuyer sur des travaux récents concernant l'ingénierie système basée sur les modèles (ISBM). Les activités de sûreté de fonctionnement peuvent profiter de ces modèles pour réaliser des analyses appropriées. De plus, nous pouvons nous demander si la sûreté de fonctionnement est un critère parmi tant d'autres à prendre en compte lors de la conception ou s'il s'agit d'un domaine méritant toute son attention lors de celle-ci. Dans cette présentation, nous tenterons de répondre à cette question. Nous souhaitons montrer que deux types d'approches d'analyses de sécurité basées sur les modèles peuvent être distingués. La première revient à réaliser des analyses de sécurité sur des modèles élaborés que l'on peut nommer aussi approche a posteriori. La seconde consiste en un échange entre les activités d'ingénierie système et celles de sûreté de fonctionnement pour aboutir à un système sûr. Nous apporterons des éléments conduisant à une approche alternative combinant en partie ces deux approches.