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.
From MathWorks Release R2011b onwards, LDRA Testbed can automatically run during SIL and PIL testing to measure code coverage of the generated code. Test engineers examine code coverage results from MATLAB or LDRA Testbed to assess code test completeness using Model-Based Design.
LDRA now offers unprecedented verification of the model through a sophisticated integration with MATLAB and Simulink. The LDRA tool suite can now use real-world data from MATLAB that’s connected to a Simulink model in order to fully verify the application at a source and object code level. Developers can fine-tune the model to reflect a data-driven flow of information, reducing the amount of error-prone manual manipulation necessary for the model-generated code to achieve DO-178C, Level A certification.