Adding a new dynamic constraint for the True/False Probability Model of a FTA Conditional Event

medini_1064666416

Hello all, 

I am trying to add a new dynamic constraint in a FTA Project for checking whether the probability of a conditional event is set to TRUE or FALSE. When the checkbox for TRUE in the Probability Model Tab of the Event Properties is checked, the cutset analysis for the FTA Model would not consider the conditional event, which is normally an intended function and not a fault. 

Can anyone tell me how do I access the required variables in the OCL expression while adding this constraint in the Dynamic Constraints under the Project Settings.

Thank you.

medini_1024169437

Hi Ramesh,

I think the effective kind is not automatically set to CONDITIONAL if you change the probability model, that#s at least what i figured when testing it. So you have to check against the probability model instead, maybe like this:

Here as code:

 

inv:

-- self.effectiveKind = FTA::EventType::CONDITIONAL

self.probabilityData.oclIsUndefined() 

or 

(self.probabilityData.oclIsTypeOf(FTA::TrueFalseProbabilityModel)
	and
		self.probabilityData.oclAsType(FTA::TrueFalseProbabilityModel).state = false -- or true if you want
)

Happy Scripting

Jan