Hello, Im running Design Error Detection example https://www.mathworks.com/help/sldv/examples/design-error-detection.html
I open it and double click the Run button, I see progress window and after while the results window displays:
Design error detection completed normally.
5/7 objectives are valid.
2/7 objectives are falsified - needs simulation.
Highlight analysis results on model
View tests in Simulation Data Inspector
Detailed analysis report: (HTML) (PDF)
Create harness model
Export test cases to Simulink Test
In analysis report it shows them as "Overflow", just like its supposed to do, but my question is is there anything else i should do to make the objectives "not falsified"?
The report says that it "needs simulation", is there any specific way how im supposed to simulate it to not get "falsified objectives"?