Bonjour,
Je cherche le code source de l'algorithme en langage C ou autre ci-dessous qui transforme un Arbre de Défaillances en Diagramme de Décision Binaire AdD to DDB :
Algorithme :
AdD-to-BDD(node)
Start
If (node is a basic event)
then
R := ite(node, 1, 0)
If not /* node is an operator*/
op := the operator associated with node
j := ?rst children of node
R := AdD-to-BDD(j )
For (for all the threads i of node and i is not egal to j)
Make
F := AdD-to-BDD(i )
R := BDD-OP(R,F,op) /* fonction qui définie*/
End for
End if
Return(R)
End
NB:la fonction qui définie BDD-OP(R,F,op) est définie
Ite signifie If then else or
Ite(F,G,H)=F*G+notF*H ou F,G et H sont desfonction ou des événement
merci d'avance