Late last year, LDRA and The Mathworks announced that LDRA’s requirements tracing was being integrated into Simulink. Tracing software artifacts from requirements through to implementation is important for certification of safety-critical designs.

This integration was recently extended to include reuse of the testing done at the modeling level. This means that the tests used to prove out the early model can be reused later on during the software implementation phase, and those tests get worked into the traceability flow. That’s good from a certification standpoint, of course, but it also helps avoid errors by ensuring that the tests you wanted to pass early on are the same tests that you’re passing with the final product rather than some similar test that may turn out to be not quite the same. And, of course, it saves work.

You can find more in their release…