Analyze Dynamic Constraints, missing failure net connections

medini_1061560014

Good afternoon,

I saw that there are some post a little bit similar to this one but can't find the answer i need so i create a new one, sorry.

I'm trying to add a constraint to search for missing failure mode connection. e.g. if I've added some characteristics with their failure modes but some of them are not connected because i've forgotten to link them.

My objective is to highlight all the failure modes with a missing effect conection. So far I've tried by

- selecting "sysml::SysMLElement" under Constraint target class

- OCL expression:

  self.effectRelations.oclIsTypeOf(sysml::SysMLRelationship)

- selecting Error for severity 

Matter of fact the OCL expression i wrote is not sufficient but I can't understand how to proceed.

Maybe somebody has some advice? 

Thanks for the support

medini_1063548292

HI Simone

here is a example snippet of OCL constrain that will check if Failure-mode or Malfunction has no Effect in a failure-net

 OCL Expression:

 

inv:
--FAillure is a common class for FailureMode,Error,Malfunction,....
-- variable deifnitions
let
-- variable to store message output , accesed by {1} in the Message text
 MessageArg1:OclAny = self.eContainer(),
 --helper variable to check if the Malfucntion or Failure mode is analyzed
 --uncomment next line to apply check for Malfunction and FailureMode only
 validType:Boolean = self.oclIsTypeOf(safetyModel::Malfunction) or self.oclIsTypeOf(safetyModel::FailureMode)
 --uncomment to check only Malfunctions 
 --validType:Boolean = self.oclIsTypeOf(safetyModel::Malfunction)
 --uncomment to check all objects ( FM,Malfunction,Error,Hazard,...)
 --validType:Boolean == true
in
--empty effects -> there is no fialure up in the failure-net
--needt to negate the boolean since the OCL is an invariant 
-- Check will be flagged if the expression result is evluated to false
not (self.effects->isEmpty() and validType)

 

 Constraint severity:WARNING

 Description:Check failures ( failuremode, malfunctions,...) without any effect

 ID: FAILURE_WO_EFFECT

Message:''{0}''has no effect configured, contained in ''{1}''

I used safetyModel::Failure because  it is a parent class of FailureMode, Error, Malfunction, Hazard...). This means that only one constrains needs to be defined to cover Several types  instead of having to define several Constraints per each class.

In order to raise the flag only for specific type you want I prepared a boolean variable that is checking for the correct type.

Example of  validation result ( all Failure types):

Example of validation result with Malfunction types only:

PS: you can execute Validation on the whole project or on a selected scope only .....

Every single Item in the  validation results view has a possibility to take you to the element ->Select element in Model  browser. You can use Right mouse button context
more details to be found

Happy Validation,

Marian