industry news
Subscribe Now

LDRA and MathWorks Tool Integration Moves Unit Testing Upstream to the Model

Embedded World, Nürnberg, Germany, March 1, 2012. LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, and MathWorks, the leading developer of mathematical computing software, have extended the integration of the LDRA tool suite with MathWorks Simulink modelling tools. The integration enables joint customers to benefit from full test reuse and bidirectional traceability throughout the software development lifecycle. By bringing all components of the development cycle into one workflow, project teams save time by reusing tests, and more easily track progress toward requirements fulfillment and certification readiness. 

Rigorous testing is bottom-line for avionics and automotive certifications such as DO-178B/C or ISO 26262 where on-target testing is required. With LDRA’s integration of the LDRA tool suite and MathWorks Simulink, Simulink model test vectors can confirm the application is running as expected on the target, and LDRA-generated tests can be fed back into Simulink and used to refine the simulation. Code can then be regenerated to create the highest caliber code, minimizing risk.  Tests are reused for both target and model, significantly reducing time otherwise used to generate and prove test regimens for both phases.

When this testing capability is coupled with standard-specific templates, companies gain a streamlined process that details both the process and requirements needed for compliance. TBmanager, a requirements traceability and test product within the LDRA tool suite, links and graphically depicts relationships between requirements and relevant models, code and test artifacts. This information matrix highlights the linkages between software components that auditors can review to see how companies have identified and corrected program errors and addressed non-compliance until the entire application fulfils requirement specifications. Such transparency into application relationships organizes and speeds team progress by automating development and documentation. 

“Many industries?-whether aerospace, automotive, medical or industrial—face the twin challenges of undergoing rigorous design and testing while managing projects with time and budget constraints,” noted Ian Hennell, LDRA Operations Director. “Because of this, companies are seeking ways to update their methodology to generate good quality code that is easier to certify, maintain, and reuse without compromising schedule or budget. The requirements traceability and test reuse of this LDRA-MathWorks integration gives companies concrete ways to improve processes, increase code quality and reduce costs.”

“Model-Based Design generates consistent code and saves time, but it still should be fully exercised and independently verified,” commented Tom Erkkinen, Embedded Applications Manager, MathWorks. “Model-Based Design and LDRA capabilities help verify the entire application spanning model- and hand-generated code, and supports tailoring project requirements, processes and application artifacts to DO-178B/C, IEC 62304, ISO 26262, IEC 61508 and other industry standards.”

Together, MathWorks Simulink and the LDRA tool suite create instrumented code that can be built using the selected compiler and executed via the LDRA tool suite to achieve full code coverage whether statement, branch or decision, or modified condition/decision coverage (MC/DC) of code created from Simulink models and manual code. In addition, data values used to exercise the model in simulated environments can be leveraged to test generated code for SIL (software-in-the-loop) and PIL (processor-in-the-loop) on the target as well as generating additional tests through LDRA’s unit test facility. The textural and graphical output indicates coverage both as absolute values and in relation to a set of limits required by a standards body like DO-178.

With automotive, medical and industrial markets following the gold-standard of the avionics community, industry trends suggest that all industries will soon formalize certification procedures for model-driven design similar to those outlined by DO-178C or ISO 26262. The integration enables verification and validation engineers to prove that the executable code meets design criteria, and that the underlying code is sufficiently exercised to the relevant standard. 

A demonstration of the LDRA and MathWorks integration will be presented in Hall 4, Stand 410 at Embedded World 2012 from February 28 to March 1 in Nürnberg, Germany. In addition, LDRA will present a paper on the following topic:

  • “A Practitioner’s Guide to Critical Software Certification,” in the Test and Verification track on 1 March 2012, 2.30-3 p.m.

About LDRA

For more than 35 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the UK with subsidiaries in the United States and India with an extensive distributor network. For more information on the LDRA tool suite, please visit: www.ldra.com.

Leave a Reply

featured blogs
Sep 27, 2021
Conduct full-lifecycle IC design reliability verification with PrimeSim Reliability Analysis, a chip design tool ensuring safety in SoC and IC applications. The post A Pioneering Approach to Safety: PrimeSim Reliability Takes Center Stage appeared first on From Silicon To So...
Sep 27, 2021
The latest release of the Tempus Timing Signoff Solution, 21.1, contains a lot of new capabilities. There are far too many to cover in a single blog post'”the customer presentation on Tempus is 90... [[ Click on the title to access the full blog on the Cadence Community sit...
Sep 24, 2021
Wi-Fi, NB-IoT, Bluetooth, LoRaWAN... This webinar will help you to choose the appropriate connectivity protocol for your IoT application....
Sep 23, 2021
The Global Environment Facility Small Grants Programme (GEF SGP), implemented by the United Nations Development Programme, is collaborating with the InnovateFPGA contest. Showcase your  skills with Intel Edge-Centric FPGAs and help develop technical solutions that reduce env...

featured video

Silicon Lifecycle Management Paradigm Shift

Sponsored by Synopsys

An end-to-end platform solution, Silicon Lifecycle Management leverages existing, mature, world-class technologies within Synopsys. This exciting new concept will revolutionize the semiconductor industry and how we manage silicon design. For the first time, designers can look inside silicon chip devices from the moment the design is created to the point at which they end their life.

Click here to learn more about Silicon Lifecycle Management

featured paper

Designing device power-supply ICs in an application-specific automated test equipment system

Sponsored by Maxim Integrated (now part of Analog Devices)

This application note provides guidelines for selecting the device power-supply (DPS) IC in an automated test equipment (ATE) system. These considerations will help you select the right DPS IC for your specific ATE system. It also explains the best system level architecture to tackle the output current and thermal requirements of the ATE system.

Click to read more

featured chalk talk

Fundamentals of ESD/TVS Protection

Sponsored by Mouser Electronics and Nexperia

ESD protection is a critical, and often overlooked design consideration in many of today’s systems. There is a wide variety of solutions available for ESD protection, and choosing the right one for your design can be a daunting and confusing task. In this episode of Chalk Talk, Amelia Dalton chats with Tom Wolf of Nexperia about choosing the right ESD protection for your next design.

Click here for more information about Nexperia PCMFxUSB3B/C - CMF EMI filters with ESD Protection