industry news
Subscribe Now

LDRA Brings Safety-Critical Expertise and Full Verification to Multicore Platforms

San Jose, CA. 31 March 2014—LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, announced its ability to provide cost-effective verification of multicore systems to safety-critical standards. With industry’s continued emphasis on reducing size, weight, and power (SWaP), safety-critical systems manufacturers continue to look for ways to achieve full verification and even certification of multicore systems in a cost-effective manner. LDRA’s ability to instrument and capture analysis and test data from such systems breaks through the verification barrier, promising system developers the resources and technology they need to achieve rigorous certification.

LDRA Breaks Through Verification Barrier for Multicore Environments

The need for greater processing power with reduced power consumption is driving the developers of safety-critical applications toward multicore systems. Verification of such systems for rigorous safety-critical certifications such as DO-178C poses specific challenges. When multiple processes run on different cores, collecting structural coverage data and creating and executing tests efficiently can be hampered by concurrency, reliability, and robustness roadblocks.

LDRA confronts such challenges on multiple levels:

1) With highly optimised instrumentation and analysis, LDRA aggregates the coverage data across the various processors in the multicore system without the typical overhead of mutexes. This approach avoids the deadlocks caused by other verification tools and technologies.

2) LDRA integration with RTOS and compiler vendors such as Wind River and Green Hills Software is comprehensive, enabling execution of all capabilities across the set of cores.

3) LDRA’s dramatically reduced and optimised instrumentation and data collection eases memory and performance overhead.

“Capturing the data from these complex architectures which run multiple applications concurrently represents a significant breakthrough in verification of multicore systems,” confirmed Ian Hennell, Operations Director of LDRA. “Thanks to our 40-plus years of experience in helping customers achieve certification and standards compliance, we have fine-tuned the integration of the LDRA tool suite with the platforms and tool chains in these safety-critical domains. And, we have developed technology that is so optimised that high-performance systems continue to behave as intended, enabling us to capture accurate data for system analysis.”

LDRA Leadership Strong in Multicore Platform Environments

LDRA provides rich, industry-proven integrations with today’s leading safety-critical RTOS vendors. In the avionics sector, LDRA offers full support for the integrated modular avionics technology offered by both Wind River ARINC 653 and Green Hills Integrity-178C. LDRA support includes advanced I/O, project file and IDE integrations, integrations with compiler tool chains and simulators across a wide range of silicon, and integrations with virtualised environments.

The LDRA tool suite works seamlessly within the various tool chains, enabling development teams to bring together the development, execution, and verification infrastructure. LDRA’s capabilities for coding-standard compliance, structural coverage, data and control coupling, and low-level testing can be introduced into the verification workflow as needed on the host, simulator, or actual target hardware.  Such comprehensive capabilities dramatically improve workflow and development transparency, and ultimately ensure quality of the delivered multicore application.

Hennell added, “As multicore solutions proliferate, development organisations must have cost-effective, assured methods for verifying these systems. LDRA’s experience and tools help solve these challenges through simplification, automated methodology, and rich technologies. LDRA will continue to alleviate this complexity and leverage integrations to make the engineers’ lives easier and the cost of certifying multicore projects manageable.”

About LDRA

For more than forty 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 United Kingdom with subsidiaries in the United States and India coupled with an extensive distributor network. For more information on the LDRA tool suite, please visit

Leave a Reply

featured blogs
May 16, 2022
By Sherry Hess Recently I posted a blog on LinkedIn called " High Tech Everything ." This caught the attention of my friends at Microwave Journal. As such, their lead editor, Pat Hindle,... ...
May 12, 2022
Our PCIe 5.0 IP solutions, including digital controllers and PHYs, have passed PCI-SIG 5.0 compliance testing, becoming the first on the 5.0 integrators list. The post Synopsys IP Passes PCIe 5.0 Compliance and Makes Integrators List appeared first on From Silicon To Softwar...
May 12, 2022
By Shelly Stalnaker Every year, the editors of Elektronik in Germany compile a list of the most interesting and innovative… ...
Apr 29, 2022
What do you do if someone starts waving furiously at you, seemingly delighted to see you, but you fear they are being overenthusiastic?...

featured video

Synopsys PPA(V) Voltage Optimization

Sponsored by Synopsys

Performance-per-watt has emerged as one of the highest priorities in design quality, leading to a shift in technology focus and design power optimization methodologies. Variable operating voltage possess high potential in optimizing performance-per-watt results but requires a signoff accurate and efficient methodology to explore. Synopsys Fusion Design Platform™, uniquely built on a singular RTL-to-GDSII data model, delivers a full-flow voltage optimization and closure methodology to achieve the best performance-per-watt results for the most demanding semiconductor segments.

Learn More

featured paper

5 common Hall-effect sensor myths

Sponsored by Texas Instruments

Hall-effect sensors can be used in a variety of automotive and industrial systems. Higher system performance requirements created the need for improved accuracy and more integration – extending the use of Hall-effect sensors. Read this article to learn about common Hall-effect sensor misconceptions and see how these sensors can be used in real-world applications.

Click to read more

featured chalk talk

224 Gbps Data Rates: Separating Fact from Fiction

Sponsored by Samtec

Data rates are getting faster with each passing year. In this episode of Chalk Talk, Amelia Dalton chats with Matthew Burns from Samtec to separate fact from fiction when it comes to 224 Gbps data rates. They take a closer look at the design challenges, the tradeoffs, and architectural decisions that we will need to consider when designing a 224 Gbps design. They also investigate the variety of interconnect solutions that Samtec offers for your next 224 Gbps design.

Click here for more information about Silicon-to-Silicon Application Solutions from Samtec