How do I resolve, "Error:Compiling model failed: Dot indexing is not supported for variables of this type," when using SLDV?

Hello,

I am attempting to do some static analysis of my model using SLDV's Error Detection feature. However, when I go to invoke SLDV, and check for model compatability, I get the following error, "Error:Compiling model failed: Dot indexing is not supported for variables of this type."

I can only assume that this error has something to do with dot notation wrt accessing members of a bus structure. The only place I have that in my model is in the inputs and outputs. Both inputs and outputs in my model are using In Bus Element blocks and Out Bus Element blocks, respectively. I use a bus selector block and break out the invidual struct members as signals before feeding it into the rest of the model. And, likewise, I use a bus creator block to create a bus of the output signals before connecting to the Out Bus Elements. Not sure what I am doing wrong here that would make the model incompatible with SLDV. Any help would be greatly appreciated!

[Pat Canny]

I recommend contacting MathWorks Technical Support. This question requires more information.

Answer 1

[Kautuk Raj]

Hello Paul,

I was also facing the same error with one of my workflows using the Simulink Design Verifier.

I figured out that the issue occurs when the model has a bus element port with a datatype defined as 'ValueType', and this value type is resolved as a base datatype. In my version of MATLAB (R2024a), Simulink Design Verifier does not support this pattern.

As a workaround, you can resolve the datatype of these bus elements to base datatypes instead of 'valuetypes'. This should not cause any issues with SLDV analysis.