Could the Simulink Design Verifier toolbox check the Targetlink(dSPACE) model ?

Hi,

I am doing the evaluation of Simulink Design Verifier.I use the Targetlink to do the auto-code generation. So, I just want to make sure that if the Design Verifier can check the Targetlink model or not.

Thanks,

J.L.

Answer 1

[Kaustubha Govind]

I don't know a whole lot about the Simulink Design Verifier, but after looking at the documentation, I found this page which suggests that "The Simulink Design Verifier software does not support the S-Function block". So dSPACE blocks that are implementation using S-Functions will probably not be checked by the Simulink Design Verifier. They should get checked if they are implemented using other Simulink blocks that are compatible with Simulink Design Verifier. You should probably run the compatibility check on your model to verify this however.

[Pat Canny]

We have added support for S-Function in recent releases: https://www.mathworks.com/help/sldv/ug/support-limitations-for-s-functions.html

If you are unable to access that link, I have pasted the relevant content here:

Enabling S-Functions in Simulink Design Verifier

Simulink® Design Verifier™ supports test case generation for code generated with Embedded Coder®. Simulink Design Verifier also supports error detection, test case generation, and property proving for S-Functions that:

• The Legacy Code Tool generates, with def.Options.supportCoverageAndDesignVerifier set to true.
• The S-Function Builder generates, with Enable support for Design Verifier selected on the Build Info tab of the S-Function Builder dialog box.
• The function slcovmex compiles, with the option -sldv passed to the function when compiling the S-function.

For more information on the three approaches, see About C MEX S-Functions (Simulink).Support Limitations for S-Functions and C/C++ Code

• Simulink Design Verifier does not support S-Functions or C/C++ code containing:
• Continuous states. Simulink Design Verifier does not analyze such code.
• Zero-crossing functions. Simulink Design Verifier ignores such code during analysis.
• Constants that describe INF or NaN objects. Simulink Design Verifier considers such code as containing floating-point overflow errors. Although Simulink Design Verifier analysis cannot determine the type of overflow error for such cases, the analysis can determine which lines of code introduce the incompatibility. Polyspace® can provide more information on why your code contains floating-point overflow errors.
• You must specify that the signal elements entering the ports of S-Functions compiled with slcovmex are contiguous. Use the SimStruct function ssSetInputPortRequiredContiguous.

Answer 2

[Lin]

I think Design Verifier can't support Targetlink, because I can't pass the compatibility check. Anyway, thanks your kindly answer.

J.L.

[Nabile Khoury]

Hi Lin

Just in case my answer can still help you today or maybe other users. To verify TargetLink models with similar verification technics as SLDV, you can use the dSPACE’s partner tool BTC EmbeddedTester. Please check out these short videos for an overview and contact us if you have further questions : https://www.youtube.com/watch?v=rBxx6mpZwOY