Clear Filters
Clear Filters

Using internal signals for model verification

5 views (last 30 days)
Hi all,
I have a top subsystem (top_level)
with child subsystems (child_model1, child_model2) in it.
The goal it to verify that internal_signal (the output of child_model1) matches the output of the top level subsystem, no matter what happens to the internal_signal (i.e., I want to compare them).
At this moment I consider using Observer in order to read the internal_signal (as well as the output signal), and using Propery Proving for the requirement: those signals are always the same, no matter what the combination of input signals is. So the content is the following:
However, I get the model incompatible:
Model contains one or more Observer Reference blocks that are not compatible. Simulink Design Verifier can not analyze this model.
Could anyone help me either with the incompatibility or with other ways of such my verification? Thank you in advance.
I also attach my files: the model and observer. I use 2019b version.
  2 Comments
Dmytro Sokol
Dmytro Sokol on 2 Apr 2024
P. S. This top level model is a simplified version of the original one. The actual model is huge, so I don't think that it is doable to:
  • use Test Generation to get a list of input test cases,
  • and use that Signal Builder in ordet to simulate the model, then verify the equality of the signals without using Property Proving.

Sign in to comment.

Accepted Answer

Pat Canny
Pat Canny on 2 Apr 2024
We added Observer Reference support for Simulink Design Verifier in R2021a: https://www.mathworks.com/help/sldv/release-notes.html
I recommend reaching out to MathWorks Technical Support for assistance on this.
Thanks.
- Pat Canny
  1 Comment
Dmytro Sokol
Dmytro Sokol on 2 Apr 2024
That you, Pat Canny, I will reach out to Tech Support. But I will wait for other potential solutions for 2019b.

Sign in to comment.

More Answers (0)

Categories

Find more on Test Model Components in Help Center and File Exchange

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!