Agence spatiale fédérale russe

De nombreux travaux de recherche sont menés actuellement en se fondant sur l’outil Model Checker pour traiter les arbres d’attaques. L’analyse probabiliste de risques Les méthodes d’évaluation des risques sont toutes issues des programmes spatiaux, nucléaires et militaires américains du début des années 1960. L’analyse des arbres de défaillance en est un exemple. L’analyse probabiliste de risques a été constamment améliorée par les experts du domaine et a gagné en crédibilité durant les deux