SLDV check subsystem compatibility , call cycles detected

Hi,

I am new to simulink and I am trying to check compatibility of a model (file attached) but I get error "call cycles detected"

I dont know how to resolve this or what exactly is the issue kindly provide any information to help me reolve this

Thank you

[Walter Roberson]

(File is not attached)

[Amrith]

sorry about that, I tried attaching it but matlab website throws error or silently drop the file attachment, not sure why

[Amrith]

attached file

[Walter Roberson]

I do not get any message about "call cycles detected"

I get a number of messages along the lines of

Warning: Undirected local event broadcast detected in object 'Emergency_mode', which may cause unintended recursive behavior. Use a directed event broadcast if possible. See this documentation for more information.

I also get messages along the lines of

Warning: The connected parameter 'Constant1:Value' was not found for 'Push Button1' or was changed from a literal value to an expression.

[Amrith]

@Walter Roberson Thank you so much for checking the file and model, you can ignore those warnings, first one is regarding the use of an event broadcast and the second on is because I commented out the part where there is some push buttons for input.

To recreate the issue I am taking about

1. right click on the "Chart" / stateflow
2. click Design verifier > "check subsystem compatibility"
3. or Design verifier > "Generate tests for subsystem"

this results in an incompatible system error , with the error logs pointing to "call cycles detected" for multiple parts of the design

[Walter Roberson]

Does that use Simulink Designer Verifier product? I do not have that product. Without it, I do not see any kind of Design Verifier option.

[Amrith]

@Walter Roberson Thank you for cheking .

Yes it might need to be added , it is part of design , verification and testing models

Answer 1

[Sreeram]

Hi Amrith,

I was able to reproduce the error on my end. As the error suggests, call cycles are not supported for Simulink Design Verifier.

A potential reason for that is that the chart uses undirected event broadcasts using the function “send”. The documentation recommends preferring directed event broadcasts over undirected event broadcasts to prevent unwanted recursion:

https://www.mathworks.com/help/stateflow/ug/guidelines-for-avoiding-unwanted-recursion-in-a-chart.html#mw_c11c274e-2287-4a35-89d9-d2d1bcb379ab

You may read more about the error and ways to avoid it in this MATLAB Answers post:

https://www.mathworks.com/matlabcentral/answers/94109

For more details on how to detect and fix cyclic behaviour, this documentation might help:

https://www.mathworks.com/help/stateflow/ug/common-modeling-errors-the-debugger-can-detect.html?#f5-999697

I hope it helps.

[Amrith]

Thank you so much.

The error messages in simulink and matlab is often not very useful I hope they improve this