nav[aria-label="Primary Navigation"] { padding: 0; & ul { list-style: none; width: 100%; display: flex; flex-direction: row; justify-content: start; align-items: start; gap: 30px; padding: 0; & li { margin: 0; } & ul li { list-style: none; } } }

Find Requirements Model for each Requirement

medini_1005899080

Hi,

I want to create a dynamic contraint, which shall check only requirement models, if they do not have a special tag.

(Constraint 117)

self.mediniTags->includes('no FSC relevance') doesn't work because the scope is a "requirement".

How can I realize this?

Find more posts tagged with

medini

medini legacy

Accepted answers

medini_1023909254

Hi Sven,

And here are my 5ct ... so I understand correctl that you want to toggle rule #117 based on a tag for the requirements model? In that case you would have to navigate from the requirement to the model (which is a little tricky) - so may be you try out as below

def: getModel(req:safetygoals::SafetyRequirement):safetygoals::SafetyRequirementsModel
 = if req.model.oclIsUndefined() then
 getModel(req.container.oclAsType(safetygoals::SafetyRequirement)).oclAsType(safetygoals::SafetyRequirementsModel)
 else
 req.model.oclAsType(safetygoals::SafetyRequirementsModel)
 endif
inv:
let
MessageArg1:String= self.identifier

in

if getModel(self).oclAsType(safetygoals::SafetyRequirementsModel).mediniTags->includes('no check')
then true
else
self.mediniGetTracedElements(sysml::SysMLElement)->size() >0
endif

Eckhardt

All comments

medini_1024169437

Sven, not sure what you exact problem is. I could replicate your idea for requirement but also for requirement model.

Do I overlook something?

Happy Scripting

Jan

medini_1033829014

Out of curiosity, might I also ask what the purpose is in your case?

From the name of your example tag "no FSC relevantce I could guess that you may want to exclude some requirements from certain checks if they are not safety requirements in the strict sense?

Was this guess right?

If so: I implemented something similar (not based on tags, but on a custom property "domain" that classifies the requirements) to allow that requirements that are not FuSa Requirements (e.g. they are SOTIF requirements) to have ASIL = none and that's OK. I did this for constraint 0029, but the same principle should work for 0117 too.

If this is what you want to achieve you can copy my solution from the SOTIF demo project.

Best regards

Bernhard

medini_1023909254

Hi Sven,

def: getModel(req:safetygoals::SafetyRequirement):safetygoals::SafetyRequirementsModel
 = if req.model.oclIsUndefined() then
 getModel(req.container.oclAsType(safetygoals::SafetyRequirement)).oclAsType(safetygoals::SafetyRequirementsModel)
 else
 req.model.oclAsType(safetygoals::SafetyRequirementsModel)
 endif
inv:
let
MessageArg1:String= self.identifier

in

if getModel(self).oclAsType(safetygoals::SafetyRequirementsModel).mediniTags->includes('no check')
then true
else
self.mediniGetTracedElements(sysml::SysMLElement)->size() >0
endif

Eckhardt