ThomasNet News Logo
Sign Up | Log In | ThomasNet Home | Promote Your Business

LDRA Verifies the Little Bits of Safety-Critical and Security-Critical Applications

Print | 
Email |  Comment   Share  

LDRA Verifies the Little Bits of Safety-Critical and Security-Critical Applications
LDRA Verifies the Little Bits of Safety-Critical and Security-Critical Applications
Click Here to Enlarge Picture

Wirral, CH41 5LH
United Kingdom

Press release date: March 31, 2014

LDRA scales down to verify highly constrained, low-power embedded applications

San Jose, CA. – LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has yet again taken a leadership role in providing verification for highly constrained applications. By optimizing its analysis and testing technology, LDRA has enhanced the ability of the LDRA tool suite to scale down to meet the increasing number of highly constrained, minimal-footprint architectures used in today's safety-critical and security-critical applications. With many systems now being connected, companies must enforce high-quality code, fully test and verify systems, and proactively prevent application vulnerabilities.

Achieving indepth analysis on a highly constrained microcontroller is not easy. Verification tools often exceed the bandwidth and memory resources of such microcontrollers, causing the analysis to crash or overload the system such that the target no longer functions as intended and system data becomes unreliable.

In contrast, LDRA has fine-tuned its instrumentation and analysis to low-power, highly constrained architectures to ensure that development teams can fully analyze and verify such systems to even the most rigorous levels demanded for safety-critical and security-critical certification. Using optimized technology, LDRA captures data from highly constrained target systems and sends it back to the host to help companies achieve coding standards compliance, safety standards compliance, and security standards compliance. This level of granular analysis is available not only on LDRA's stand-alone products, LDRAunit and LDRAcover, but also on the comprehensive LDRA tool suite, helping to ensure that companies gain complete traceability over the entire life cycle of their application from requirements through verification and deployment.

Safety-Critical Industries Have Adopted Connected, Low-Power Systems

Although Internet of Things (IoT) is capturing much of the media's attention for its scaled-down, connected systems, other industries such as avionics, defense, industrial control, smart energy, medical, and automotive now also take advantage of new, highly functional, low-power controllers that have little tolerance for the overhead of most verification technologies and tools. LDRA recognizes that size, weight, and power are always a consideration and has developed different methods of connectivity between the host and the target to ensure that data can be pulled from even the smallest 8-bit and 16-bit microcontrollers provided by ARM, Freescale, Microchip, Renesas, Texas Instruments, among others. The LDRA tool suite is therefore capable of providing unprecedented end-to-end application and verification analysis on systems where granular expertise for microcontrollers is needed as well as robust, comprehensive analysis for multicore technologies.

"Microcontrollers now deliver far greater functionality at much lower power, thereby playing a much greater role in complex systems where safety and security are essential," said Ian Hennell, Operations Director of LDRA. "Whether the controller is used in an unmanned vehicle, infusion pump or engine control system, suppliers need to produce safe, high-quality, secure code. To realize this assurance, they must leverage static analysis for code clarity and consistency, dynamic analysis to ensure their application is adequately tested in accordance with the standards, and automated unit and system-level testing to help control costs. LDRA tools ensure that even the smallest targets can be integrated into a traceable development workflow so auditors can confirm all requirements have been met, fully tested, and verified."

Superior Instrumentation Delivers Full Coverage Analysis

With more than 40 years of experience helping customers deliver certified systems in the embedded space, LDRA has extensive knowledge and experience with the many architectures and host-target connection strategies used in safety- and security-critical systems. LDRA's optimized and unique instrumentation technology enables virtually all levels of testing and coverage analysis, from statement coverage all the way down through the Modified Condition/Decision Coverage (MC/DC) required by the most rigorous safety standards.

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

Please send reader inquiries to:

Mark James

Print | 
Email |  Comment   Share  
Contacts: View detailed contact information.


Post a comment about this story

(your e-mail address will not be posted)
Comment title:
To submit comment, enter the security code shown below and press 'Post Comment'.

 See related product stories
More .....
 See more product news in:
 More New Product News from this company:
Compliance Management Software details steps needed for ISO 26262.
Unit Test Software automates generation and management.
Compliance Management System focuses on LDRA certification.
Software Development Tool enforces programming rules.
Source Code Analysis Software verifies test coverage.
More ....
| Featured Manufacturing Jobs
 Other News from this company:
LDRA Partners with Xilinx to Bring Structural Coverage and Code Compliance to Zynq-7000 Family
LDRA Takes Leadership Role in Verifying Russian Avionics Software
LDRA Tools Help Coressent Technology Clients Achieve Rigid Safety-Critical Standards
LDRA Gains TUV SUD Certification for Industrial Safety, Automotive and Rail Compliance Tools
More ....
 Tools for you
Watch Company 
Company web site
More news from this company
E-mail this story to a friend
Save Story
Search for suppliers of
Testing Software
Data Analysis Software
Software Development Tools
Join the forum discussion at:
Engineers Lounge

Home  |  My ThomasNet News®  |  Industry Market Trends®  |  Submit Release  |  Advertise  |  Contact News  |  About Us
Brought to you by        Browse ThomasNet Directory

Copyright © 2014 Thomas Publishing Company. All Rights Reserved.
Terms of Use - Privacy Policy

Error close

Please enter a valid email address