LDRA, Altium integrate tools for Infineon's C166 microprocessor

April 20, 2011 // By Christoph Hammerschmidt
Automated software verification technology provider LDRA Ltd joins software tool vendor Altium in integrating the LDRA tool suite and the TASKING VX-toolset for C166. The integrated solution brings compliance to safety standards such as MISRA, IEC 61508, and DO-178B to small-footprint microcontrollers like Infineon's C166 family.

Designed for scalability, the combined solution maximizes code reuse and process compliance for safety- and mission-critical software across automotive, industrial and avionics markets.

With the increased call for compliance to safety standards, development teams need integrated solutions that ease the challenge of proving compliance through all stages of the development lifecycle from requirements through coding, test and verification. LDRA stands alone in providing standard compliance across all stages of the lifecycle, whether for automotive with MISRA and ISO 26262, industrial with IEC 61508 or avionics/military with DO-178B. Thanks to an Eclipse-based framework, the LDRA-TASKING integration encompasses the entire C166 family and its derivatives.

Seamless integration between the TASKING compiler and the LDRA tool suite avoids tedious configuration challenges and enables developers to easily apply LDRA's analysis and testing capabilities from within TASKING's IDE. With a simple right click in TASKING's IDE, developers can directly invoke LDRA analysis phases, gaining access to static analysis violations and code coverage, or quickly generate test cases, executing code on the target or TASKING simulator. With complete integration, all LDRA tool suite capabilities—from analysis to verification—can aid the TASKING developer in achieving certification compliance.

The integration with LDRA's eXtreme Testing, the tool suite’s automatic test case generator, removes the time-consuming, error-prone process of test generation for TASKING-based applications. LDRA has revolutionized unit testing as it’s typically performed on the host and/or target systems with automatic test case generation. Building on LDRA’s automated unit testing tool TBrun, eXtreme Testing automatically populates unit test cases to the point of generating the test cases themselves.

Automatic test vector generation enables developers to quickly achieve the required levels of compliance for safety standards. Thanks to the extendable nature of the LDRA tool suite, compliance for one standard or platform can be scaled to another. Customers developing for the automotive market, for example, can therefore sell the same component solution into industrial or avionics environments, simply adding the verification tasks