industry news
Subscribe to EE Journal Daily Newsletter

LDRA Provides Only Commercially Available Object Code Verification for Avionics Industry’s Upgrade to Newest PowerPC chips

LDRA tool suite® Now Supports All PowerPC Assembler Family Platforms for Avionics and Other Safety-Critical Environments

Wirral, U.K. – July 20, 2017  LDRA, the leader in standards compliance, automated software verification, software code analysis, and test tools,has updated the LDRA tool suite for the PowerPC assembler language to support all 32- and 64-bit PowerPC chips used in safety-critical environments such as communication terminals, commercial and military avionics, unmanned air vehicles, and missile and space flight applications. Such support enables LDRA customers, including those who have been using the LDRA tool suite for many years on traditional avionics platforms, to move to the latest versions of PowerPC chips and compilers, and confidently perform Object Code Verification (OCV) required for DO-178B/C compliance.

As the only company to provide a complete structural coverage analysis tool for both application source and assembler code from unit to system and integration levels, LDRA is making it easy for avionics customers to certify their systems as they upgrade their 604-based legacy PowerPC chips to the newer e500/600 chips. LDRA’s updated assemblers support the e200, e300, e500, e600, e5500, and e5600 PowerPC families, as well as traditional PowerPC chips such as the 603e and 604.

The LDRA tool suite is the only commercially available software solution able to qualify assembler code for certification. Used to demonstrate source-to-object-code traceability, the LDRA tool suite for PowerPC assemblers can analyze the relationship between the two levels of code and highlight any instances of additional or extraneous code at the object level. This integration ensures that the LDRA tool suite will support organizations that must demonstrate process compliance, particularly for applications where complete OCV must be realized to meet the highest levels of safety certification as required under the DO-178B/C Level A safety-assurance standard.

In addition, these updated assemblers have been integrated into the latest LDRA front ends, which enhances code visibility through a graphical display of assembler code. This results in compelling reports that (1) show clearly that statements and branches have been exercised in the assembler code and (2) cross-correlate the results between the high-level language and assembler. API access is possible using LDRA data files and enables customers to retrieve results from assembler testing and integrate them with C/C++ test results. This capability is particularly useful in object code verification exercises. Full verification capabilities are available for both low-power platforms (such as the e200) and full systems with multi-core environments where per-core coverage can be recorded.

The new suite of PowerPC assemblers can also be used to test pure PowerPC assembler hand code. Test and verification activities can be performed on the assembler hand code portions of a system, as well as object code verification of the C/C++ portions.

“Historically, all microprocessors and microcontrollers on aircraft have been PowerPC–based, yet many of these legacy chips are no longer available or avionics manufacturers are seeking major improvements in performance,” said Ian Hennell, Operations Director, LDRA. “In either case, avionics OEMs are forced to switch from legacy to new PowerPC chips to make significant improvements to their DO-178B/C systems. As such systems are upgraded, they must comply with the latest certification requirements, which include in-depth analysis such as Object Code Verification. As the only commercially available solution to support all PowerPC processors, LDRA’s enhanced tool suite provides assurance for these safety-critical environments.”

About LDRA

For more than 40 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.

Leave a Reply

featured blogs
Oct 16, 2017
Like with any new product in market everyone is anxious about knowing all the features and then trying it out. The display piece in the showroom and the purveyor are no less than an emancipator. Display piece helps us know how the product, test the areas of interest and gives...
Oct 13, 2017
With our last web update, we brought you several new additions to our on-site search, a new Microelectronics web experience, and our new 2017 product overview guide. In September, the updates to search came to a close (for now), we’ve added a few new content pages, and ...
Sep 12, 2017
Torrents of packets will cascade into the data center: endless streams of data from the Internet of Things (IoT), massive flows of cellular network traffic into virtualized network functions, bursts of input to Web applications. And hidden in the cascades, far darker bits try...
Sep 29, 2017
Our existing customers ask us some pretty big questions: “How can this technology implement a step-change in my specific process? How can Speedcore IP be integrated in my SoC? How can you increase the performance of my ASIC?” We revel in answering such questions. Ho...