Qui suis-je ?

Je suis un ensemble de logiciels d'aide à la réalisation d'études de sûreté de fonctionnement des systèmes.

Pour qui ?

Pour les entreprises possédant des installations dont les défaillances peuvent coûter très cher ou bien mettre la vie humaine en danger.

À quoi je sers ?

Grâce à mon interface graphique, mes utilisateurs peuvent assembler des composants génériques pour construire des modèles de systèmes complexes en vue du calcul de leur probabilité de défaillance. Je suis capable de transformer les données saisies en modèles calculatoires de bas niveau qu'il serait excessivement difficile de construire "à la main", tels que les arbres de défaillances. Les modèles génériques que j'exploite sont groupés en librairies ou "bases de connaissances", écrites dans un langage formel mais facile à comprendre car proche du langage naturel: le langage Figaro.

Un exemple ?

On m’a demandé d’évaluer la fiabilité de l’alimentation électrique d’un datacenter. Malgré un schéma de système complexe et apparemment très redondant, j’ai pu démontrer l’existence d’un point faible : une défaillance unique pouvait faire perdre toutes les alimentations, avec des conséquences catastrophiques pour l’exploitant du datacenter. A partir de là, il a été possible de proposer des modifications de la structure du système, qui ont permis un gain d’un facteur supérieur à 100 sur l’indisponibilité du système.
 

Code sous licence : Oui
Plateforme d'exécution : Windows
Couplage avec d'autres codes :

FigaroIDE : pour éditer les librairies qu’on charge dans KB3

RiskSpectrum, Figseq, YAMS : pour faire des calculs de probabilité à partir des modèles construits dans KB3