Is there a work around for string usage in Stateflow with Simulink Design Verifier ?

Dear Mathworks Community,

Im am using Simulink Stateflow with the Embedded Coder for C-Code generation.

In my model im am using the String Data Type. Unfortunately this Data Type is not supported for the Simulink Design Verifier.

So im wondering, if there is any work around for managing textual Information in Stateflow with usage of the Design Verifier.

Thankful for any answers.

[Pat Canny]

Hi Marcel,

Thanks for your question. I am following up with our software engineering team to see what options are available for work-arounds.

May I ask what sort of analysis you were interested in performing for strings?

Thanks.

Pat Canny

Simulink Design Verifier Product Manager

[Krishna Zanwar]

Hi Marcel,

We are considering string support for Simulink Design Verifier for future releases.

We would love to have a look at the model and understand your usecase and requirements.

[Marcel Rathjen]

Dear Mathworks Staff,

fist of all thanks for the quick reply on my question. Unfortunately i am not allow to share any models with you, sorry for that. Im using Stateflow to implement a Handling for a Terminal (called Virtual Terminal: VT) in agriculture system control. The communication standard is called ISOBUS. Here a little explanation.

"Every device that is connected to the bus and requires a user interface registers with the VT and loads the so-called object pool onto the VT. The object pool consists of one or more masks. A mask can be compared to a web page. There are standardised objects, such as input fields, strings, bar graphs, etc., which can be the content of a mask. The attributes of the individual objects can be changed at runtime by corresponding control messages. For example, the value of an output string can be changed. It is also possible to assign a variable to the content of an output and thus to reference a further sub-pool, e.g. to be able to display another language by reloading sub-pools." - Wikipedia/ISOBUS

In my usecase i have some string objects, which are changed at runtime, in respect to different states (implemented in Stateflow). I want to use Design Verifier for detecting design errors. But again thanks for the help.