Product sheets

Tree module
Fault Trees
Modeling

Module Tree
Arbres
de Défaillances

SIL module
Safety
Integrity Levels

Module SIL
Safety
Integrity Levels

Risk module
Risk assessment
and mitigation
 

Module Risk
Evaluation
et réduction
des risques

ETree module
Events Tree
Modeling

Module ETree
Réseaux de
Fiabilité

BFiab module
Reliability Block
Diagrams

Module BFiab 
Blocs Diagrammes
de Fiabilité

Reseda module
Network failure
assessment

Module Reseda
Réseaux
de Fiabilité

Bool module
Boolean Modules

Module Bool
Modules booléens

Petri module
Stochastic
Petri Nets

Module Petri
Réseaux de Petri
stochastiques

BStoK module
Stochastic Block
Diagrams

Module BStoK
Blocs Diagrammes
Stochastiques

Petro module
Multi-flows
Block Diagrams

Module Petro
Blocs diagrammes
multi-flux

Flex module 
MBSA based
on Petri Nets
 

Module Flex
MBSA basés
sur les réseaux
de Petri

HPC
plug-in 

Plug-in
HPC

Markov module
Multiphase
Markov chain 

Module Markov
Chaîne de Markov
multiphase