Le package Booléen est composé de 7 modules :
- BFiab : évaluation par Blocs Diagrammes de Fiabilité (BDF),
- Tree : construction d'arbres de défaillances,
- ETree : élaboration d'arbres d’événements
- SIL : analyse de boucles instrumentées de sécurité,
- Risk : pour les calculs par nœuds papillon ou sous forme de tableau de type LOPA (Layer of Protection Analysis),
- Reseda : modélisation de réseaux de fiabilité,
- Bool : modélisation et connexions entre modèles Tree, ETree, SIL, Risk, Reseda et BFiab.