MathWorks

Integration of the LDRA tool suite® and MathWorks MATLAB®, Simulink® and Embedded Coder toolset.

The LDRA tool suite® has been integrated with MathWorks MATLAB®, Simulink®, and Embedded Coder toolset. This assists users developing, coding, and testing embedded applications using Model-Based Design for DO-178 and other safety-standards.

Engineers using Simulink to develop high-integrity applications, including those requiring certification to emerging safety standards of DO-178C and ISO 26262, seek to reuse simulation test cases for embedded object code (EOC) verification. They also want to measure code coverage and identify potential gaps with model coverage obtained using the Simulink Verification and Validation™ model coverage tool.

To support EOC verification, Embedded Coder offers processor-in-the-loop (PIL) testing that reuses simulation test cases and applies them to the generated and cross-compiled code executing on the embedded processor. Embedded Coder also offers software-in-the-loop (SIL) testing that reuses simulation test cases and applies them on generated code executing on the host processor. These co-simulation test modes support verification of models and code in open-loop using stimulus data or in closed-loop interacting using plant models.

In MathWorks Release R2011b, LDRA Testbed can automatically run during SIL and PIL testing to measure generated code coverage. Test engineers examine code coverage results from MATLAB or LDRA Testbed to assess code test completeness using Model-Based Design.