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

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

[ES]

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..

[Arindam Mahanta]

Thanks for the answer. Also is it not possible to check Entry Point Coverage and Branch Coverage by using the inbuilt TargetLink Code Coverage ?

[ES]

TargetLink can only do a basic

Statement coverage (C0)Specifies that statement coverage analysis is performed during simulation.

Decision coverage (C1)Specifies that decision coverage analysis is performed during simulation.

It cant do Branch or MCDC atleast as of R2014B

Answer 2

[Nabile Khoury]

Hi Arindam,

I hope my answer will still be valuable for you. I was just passing by and found your discussion. I work for BTC EmbeddedSystems and as ES briefly mentioned it (thanks for that ES), we’re a strategic partner of dSPACE TargetLink where we provide an unique integration with our certified test solutions to verify the model and the production code. Please have a look at this short video for an introduction : https://www.youtube.com/watch?v=rBxx6mpZwOY

Don’t hesitate to contact us if you have any question.

Nabile