LDRA upgrades object code verification for avionics to newest PowerPC chips

LDRA 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 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 show clearly that statements and branches have been exercised in the assembler code and 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.

 

More Information...

Latest News from LDRA

LDRA: verification and certification environment for 2nd generation IMA
LDRA extends commitment to safety and security compliance
LDRA release tool suite for Mac OS
LDRA announces tool suite for Medical Devices
LDRA streamlines automation for software safety and security compliance management
LDRA upgrades object code verification for avionics to newest PowerPC chips

Bs&T at PCIM2018

powerlosstester presenting BsT-pulse 3 phase version and BsT-SQ for powerloss measurement of inductive components new findings of tester, the highest Bs ferrite material D9B for SiC application GaN fe...


Würth and AnDAPT describe their new programmable power solution

In this video an engineer from AnDAPT describes their new programmable power solution and their partnership with Würth at the APEC exhibition  in San Antonio, Texas. Drawing from Würth&...


MAGMENT: Magnetizable concretes, sole enablers for dynamic inductive wireless charging.

MAGMENT is a patented material technology, engineered from cement and magnetic particles from recycled electronic waste. We are the inventors and sole company worldwide to offer both the concrete mate...


A look at Analog Devices' wireless power demonstration at APEC 2018

In this video Steve from Analog Devices walks us through a wireless power transmission demonstration at APEC 2018 in San Antonio, Texas. The LTC4120 is a constant-current/constant-voltage wireless rec...


Analog Devices talks about their Power over Ethernet solutions at APEC

In this video Analog Devices talks about their Power over Ethernet solutions at APEC 2018 in San Antonio, Texas. Their LTC4291 provides four PSE Ports with two power channels per port, and is fully co...


Silicon Labs demonstrates their latest PoE solutions at APEC 2018

In this video John Wilson of Silicon Labs demonstrates their latest Power over Ethernet solutions at APEC 2018 in San Antonio, Texas. The live demonstration shows how a remote device can effectively p...


Vitrek explains their advanced testing solutions at APEC 2018

In this video Vitrek explains their advanced testing solutions at APEC 2018 in San Antonio, Texas. The devices displayed includes their 4700 high-voltage meter, which can measure up to 10kV and can pe...


Dirk Giesen describes the Parasoft tool suite for Embedded Software Development

Are you responsible for embedded software development in your organization? Your goal should be to create safe, secure, and reliable software. To make sure your device will work properly, deploy Paras...


Ross Sabolik of Silicon Labs talks about advanced Power over Ethernet

In this video Ross Sabolik of Silicon Labs talks about smart  Power over Ethernet systems with Alix Paultre at their APEC exhibit in San ANtonio, Texas. As PoE migrates to higher power levels and...


Dialog Semi walks through their latest IC solutions for battery chargers

In this video an engineer from Dialog Semiconductor walks us through their latest ICs for battery chargers at APEC 2018. Dialog's Qualcomm Quick Charge adapter solutions offer high efficiency to e...


Steve Allen of pSemi explains their latest LED driver solution

Steve Allen of pSemi explains their latest LED boost product based on Arctic Sand's two-stage architecture. Their PE23300 has a charge-pump, switched-capacitor architecture that offloads most of t...


Teledyne describes their latest 12-bit Wavepro HD oscilloscope

In this video Teledyne LeCroy describes their latest Wavepro HD oscilloscope to Alix Paultre of Power Electronics News at the company's launch event. The WavePro HD high-definition oscilloscope de...



wholesale jerseys