génériques pour construire des modèles de systèmes complexes en vue de calcul de leur probabilité de défaillance... RiskSpectrum, Figseq, YAMS: pour faire des calculs de probabilité à partir de modèles construits dans KB3... Quels types de résultats va -t-on trouver en sortie... Il faut exploiter les modèles qu' il permet de construire par un code de calcul de probabilités (cf. rubrique couplage.