Is it possible to automatically verify model parameters against requirements/constraints

Capella
1

Want to explore whether it’s possible to automatically verify.

Within the 5 viewpoints/layers, our OA has the stakeholder needs and requirements. The SA has the system requirements. The LA we are using as a white box design input specification to deliver to subsystem teams, and PA as the design output specification from the team.

It would be cool if the input specification at the higher layer could be automatically verified against parameters in a lower layer (simple example: the mass (kg) defined at the PA is below the constraint defined at the LA: Returns true, so an element is coloured in green).

I see there’s constraints, applied properties/values, and opaque expressions. There’s also the add-ons Requirements Viewpoint and PVMT. Can any of these objects be used to create an automatic boolean check of a performance requirement? I guess the boolean calculation might need to be done externally with Python or something. Has this been done before?

1 Like
2

Hi,

I am not sure if this has been done as exactly as you are describing. For sure there are example of organizations using some of these fields to do simulation with Capella models for instance, so technically this is feasible. But to my knowledge, there is no engine in Capella that would do some calculation/validation for you based on some constraint you would write. I know Thales did some similar work in the past implementing a subset of MARTE and adding an engine to Capella, but this is internal to Thales and probably not maintained. I suppose that if you want to do something like that, the shortest path would be to use Python4Capella.

I hope this helps.

Stephane

3

Some aspects can be done with the PVMT AddOn.

E.g. XSLT can also be used to explore the .capella file directly and to do some verifications.