Malte,

that remark pertains to my experience from the library I am building where Simulation Center indeed does surprise me with building a simulation despite the internal error being reported upon validation (I have a block-based class there, that I can test without problems in Simulation Center but not via SystemModelSimulate which is my preferred way of testing using VerficationTest to build a battery of unit tests).

I will try to come up with a "minimal example" for this behavior shortly and accordingly update this post.

Guido

UPDATE

Ok, while I cannot quickly come up with a minimal example, I have checked now and I must make my statement more precise.

I have a "converter" (block) that models an n-th order exponential (information-) delay called SmoothN. Validating this component will give the internal error (i.e. hd Check failed). The error will not be given if the inner outer declaration for a parameter in some subcomponent of that class is changed to a mere outer declaration.

I have instantiated this component in a model that has a corresponding inner declaration in the outside scope and then everything will work fine in Simulation Center. But I have no chance to run the model using SystemModelSimulate: apparantly the missing inner declaration in the outer scope prevents the model to run.

I can provide the library with the full example if you want by Mail.

The internal error shown is also preventing SystemModelSimulate[ ] from running a model that contains a simultaneous inner outer declaration (WSM will simulate a model despite an internal error message). Good to know, that it will be addressed as a Bug.

As far as I understand it now, the behavior for TestingInnerOuter_3 makes sense:

• Inside the local scope of Submodel the outer definition is used which references the inner declaration of an enclosing scope (e.g. the positive values declared in the MainModel).
• Any outer declaration in the scopes below Submodel (e.g. "Sub-Submodels") will then use the inner declaration which has been modified or rather been given a declaration equation (so then the negative values will apply).

To make this clearer:

package TestInnerOuter

  block Submodel
    inner outer parameter Integer x = -1;
    output Integer y;
    Subsubmodel ssm;
  equation
    y = x;  
  end Submodel;

  block Subsubmodel
    outer parameter Integer x;
    output Integer y;
  equation 
    y = x;
  end Subsubmodel;

  model MainModel
    inner parameter Integer x = 1;
    Submodel sm;
  end MainModel;

end TestInnerOuter;

Running the model reveals, that sm.y = 1 (e.g. it uses the global inner declaration for x via the outer part of the inner outer declaration inside of sm).

The declaration equation inside of Submodel sm changes the inner declaration for sm.x which is then referenced by the outer declaration in the nested Subsubmodel ssm.

Accordingly ssm.y = -1.

It is rather tricky business and my intended use case was a different one, as I had though that the declaration equation for an inner outer variable would be overridden by the enclosing inner declaration. But, as shown, that is not the case:

A declaration equation for a simultaneous inner outer variable will override enclosing inner definitions and will serve as a modified inner declaration referenced by corresponding outer declarations in nested (inside) scopes.

Regards.

Guido