@ThingsExpo Authors: Yeshim Deniz, Elizabeth White, Liz McMillan, Pat Romanski, Zakia Bouachraoui

News Feed Item

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

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 www.ldra.com.

Please send reader inquiries to:

Mark James
Email: [email protected]

Word copy of release

You can tweet or share the release directly from the LDRA Press Center on HughesCom’s website. Background materials and graphics are also available for download.

This press release and associated images (in high-resolution compressed jpeg format) can be downloaded from www.hughescom.net.

More Stories By Business Wire

Copyright © 2009 Business Wire. All rights reserved. Republication or redistribution of Business Wire content is expressly prohibited without the prior written consent of Business Wire. Business Wire shall not be liable for any errors or delays in the content, or for any actions taken in reliance thereon.

IoT & Smart Cities Stories
The challenges of aggregating data from consumer-oriented devices, such as wearable technologies and smart thermostats, are fairly well-understood. However, there are a new set of challenges for IoT devices that generate megabytes or gigabytes of data per second. Certainly, the infrastructure will have to change, as those volumes of data will likely overwhelm the available bandwidth for aggregating the data into a central repository. Ochandarena discusses a whole new way to think about your next...
CloudEXPO | DevOpsSUMMIT | DXWorldEXPO are the world's most influential, independent events where Cloud Computing was coined and where technology buyers and vendors meet to experience and discuss the big picture of Digital Transformation and all of the strategies, tactics, and tools they need to realize their goals. Sponsors of DXWorldEXPO | CloudEXPO benefit from unmatched branding, profile building and lead generation opportunities.
All in Mobile is a place where we continually maximize their impact by fostering understanding, empathy, insights, creativity and joy. They believe that a truly useful and desirable mobile app doesn't need the brightest idea or the most advanced technology. A great product begins with understanding people. It's easy to think that customers will love your app, but can you justify it? They make sure your final app is something that users truly want and need. The only way to do this is by ...
Digital Transformation and Disruption, Amazon Style - What You Can Learn. Chris Kocher is a co-founder of Grey Heron, a management and strategic marketing consulting firm. He has 25+ years in both strategic and hands-on operating experience helping executives and investors build revenues and shareholder value. He has consulted with over 130 companies on innovating with new business models, product strategies and monetization. Chris has held management positions at HP and Symantec in addition to ...
DXWorldEXPO LLC announced today that Big Data Federation to Exhibit at the 22nd International CloudEXPO, colocated with DevOpsSUMMIT and DXWorldEXPO, November 12-13, 2018 in New York City. Big Data Federation, Inc. develops and applies artificial intelligence to predict financial and economic events that matter. The company uncovers patterns and precise drivers of performance and outcomes with the aid of machine-learning algorithms, big data, and fundamental analysis. Their products are deployed...
Dynatrace is an application performance management software company with products for the information technology departments and digital business owners of medium and large businesses. Building the Future of Monitoring with Artificial Intelligence. Today we can collect lots and lots of performance data. We build beautiful dashboards and even have fancy query languages to access and transform the data. Still performance data is a secret language only a couple of people understand. The more busine...
Cell networks have the advantage of long-range communications, reaching an estimated 90% of the world. But cell networks such as 2G, 3G and LTE consume lots of power and were designed for connecting people. They are not optimized for low- or battery-powered devices or for IoT applications with infrequently transmitted data. Cell IoT modules that support narrow-band IoT and 4G cell networks will enable cell connectivity, device management, and app enablement for low-power wide-area network IoT. B...
The hierarchical architecture that distributes "compute" within the network specially at the edge can enable new services by harnessing emerging technologies. But Edge-Compute comes at increased cost that needs to be managed and potentially augmented by creative architecture solutions as there will always a catching-up with the capacity demands. Processing power in smartphones has enhanced YoY and there is increasingly spare compute capacity that can be potentially pooled. Uber has successfully ...
SYS-CON Events announced today that CrowdReviews.com has been named “Media Sponsor” of SYS-CON's 22nd International Cloud Expo, which will take place on June 5–7, 2018, at the Javits Center in New York City, NY. CrowdReviews.com is a transparent online platform for determining which products and services are the best based on the opinion of the crowd. The crowd consists of Internet users that have experienced products and services first-hand and have an interest in letting other potential buye...
When talking IoT we often focus on the devices, the sensors, the hardware itself. The new smart appliances, the new smart or self-driving cars (which are amalgamations of many ‘things'). When we are looking at the world of IoT, we should take a step back, look at the big picture. What value are these devices providing. IoT is not about the devices, its about the data consumed and generated. The devices are tools, mechanisms, conduits. This paper discusses the considerations when dealing with the...