MATLAB: Do the Simulink Verification Validation and Test products work with dSPACE TargetLink models

Question

We are trying to find appropriate tools to test if our TargetLink models and generated code are functional safety standards (ISO 26262-6 and IEC 61508-3) compliant. Not sure if the Matlab V&V tools support TargetLink Models and the C code generated from Targetlink. For example can Simulink Coverage be used to cover the coverage of tests from code generated from TargetLink.

Answer 1

V and V can only provide you with Model Coverage (It works for both Simulink and TargetLink models because, when you simulate a TargetLink model, only its Simulink properties are used. TargetLink properties are used only during code generation and SIL simulation.)

For code coverage of TargetLink, you can try other products like MTEST from MES, EmbeddedTester from BTC.

If you are okay with statement and decision coverage, you can use inbuilt TargetLink Coverage..