LDRA and MathWorks have integrated the LDRA tool suite with Simulink modeling tools. The integration offers independent verification and full traceability of all artifacts—whether requirements, model elements, or tests—throughout all phases of the lifecycle, minimizing the time and cost of achieving standard compliance.
Together, Simulink and the LDRA tool suite create instrumented code that can be built using the selected compiler and executed via the LDRA tool suite. The LDRA tool suite provides full code coverage whether statement, branch or decision, linear code sequence and jump, or modified condition/decision coverage of code created from Simulink models and hand-written code. As well, data values used to exercise the model in simulated environments can be leveraged to test the generated code for SIL and PIL on the target as well as generating additional tests through LDRA’s unit test facility. Output, presented in textural and graphical forms, indicates coverage both as absolute values and in relation to a set of limits that may be required by a standards body, such as the DO-178.
LDRA and MathWorks launched the integrated product in onsite seminars at the Johnson and Kennedy Space Centers. The seminars, which will be presented over the next months to various target industries, examine the verification and validation of generated code. Best practices such as reusing artifacts, requirements-based testing, traceability from model elements to code and independent verification of the model, are examined. The seminar then applies these concepts to standards enforcement whether it be coding standards such as MISRA C or industry standards such as DO-178B/C, IEC 61508, IEC 62304 or ISO 26262.
