LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has developed a variant of the LDRA tool suite that supports x86 assembler syntax. Catering to a broad range of x86 assembler platforms, including ASM486/386/286/186, Pharlap, MASM and Borland Assembler, the LDRA implementation provides scalable support for any x86 assembler variant. This integration enables certification for legacy app...

LDRA has integrated IEC 62304, a standard for software design of medical products, into automated software verification, source code analysis, and test tools. The standard, recently adopted by the European Union and the United States, harmonizes both European and American medical standards, ensuring that development teams improve their software quality, while minimizing the time and cost of development and maximizing market coverage.

LDRA supports the current implementation of ISO/DIS 26262, a functional safety standard for road vehicles. With the increased use of electronic systems, the ISO 26262 draft addresses safety concerns specific to the electrical, electronic and programmable electronic (E/E/PE) systems in vehicles. LDRA’s early adoption of automotive standards demonstrates the company’s strong commitment to helping automakers improve software quality and decrease...

With increased dependence on software, government and industry authorities are calling for improved software quality surveillance. Executives and corporations alike are now expected to prove that they have undergone due diligence in ensuring that the software they developed underwent rigorous testing and requirements verification. Because of this, many companies in industries such as medical and automotive where standards are traditionally reacti...

LDRA, the leading provider of automated software verification, source code analysis and test tools, has integrated the LDRA tool suite with a variety of compiler and RTOS technologies for the PowerPC (PPC) family. Targeting safety-critical systems, LDRA has extended its PPC support across the primary tool chains of Wind River Tornado, Wind River Workbench and Green Hills Multi, Green Hills Integrity and Green Hills Integrity 178B. The LDRA tool ...

LDRA, the leading provider of automated software verification, source code analysis, and test tools, has selected ITEC, Israel’s number one development tools supplier as its distributor to Israel. With 25 years experience in embedded markets such as defence, medical, telecommunications and semiconductor, ITEC possesses the technical expertise and industry knowledge that LDRA customers need.

LDRA, the leading provider of automated software verification, source code analysis, and test tools, today announced the opening of an office in Bangalore, India. As the eleventh largest world economy, India has become a cornerstone in LDRA’s growth strategy. LDRA will provide research and development, front-line sales and technical support to customers in key markets such as aerospace, defense, nuclear, rail, consulting, and education/researc...

LDRA and Visure Solutions were honoured to be featured for the Editor’s Choice Award in May’s edition of Military Embedded Systems (MES). The Editor’s Choice Award applauds solutions with the potential of making a significant, positive impact on the industry.

LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with Wind River Workbench and VxWorks to provide a single work environment for safety- and security-critical certification. Thanks to a Wind River-specific Eclipse plug-in, developers have the flexibility of directly accessing LDRA tool suite capabilities from within Workbench or controlling Workbench and the VxW...

LDRA, the leading provider of automated software verification, source code analysis, and test tools, has released Java support for the LDRA tool suite. Thanks to the maturation of embedded Java technology, many systems now include a Java component whether to manage the user interface, provide network management capabilities, or simply leverage the application development advantages of the language. LDRA’s Java support enables developers to exte...

LDRA and Codice Software, developer of the Plastic SCM, the next-generation software change and configuration management solution, have partnered to provide Agile development capability to Embed-X, the only ALM product focused on the development and verification of critical, embedded software systems. Although Agile development has previously been considered at cross-purposes with safety-critical software development, LDRA and Codice have solved...

LDRA, the leading provider of automated software verification tools, and Visure Solutions, market leader in Requirements Definition and Management, announced the release of Embed-X, the first end-to-end application lifecycle management (ALM) system for the embedded space. Embed-X, like other ALM solutions, merges product requirements, business objectives and metrics in a uniform actionable perspective. However, Embed-X also delivers these ALM obj...

LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with IAR Embedded Workbench for the PIC18, AVR, AVR32 and MSP430 microcontrollers. Because IAR Embedded Workbench provides a full range of capabilities, the LDRA tool suite is able to realize its full potential, enabling companies to use these controllers for DO-178B and other rigorous certification standards.

LDRA, the leading provider of automated software verification tools, and Visure Solutions, market leader in Requirements Definition and Management, have partnered to bring together the first end-to-end application lifecycle management (ALM) system for the embedded space. With the size of complex software applications doubling annually, cost is rapidly increasing, jeopardizing project budgets and creating delivery overruns. By designing an integra...

LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite and Microchip Technology’s MPLAB PIC18, PIC24 and dsPIC32/33 tool chains. Leveraging the scalability of its components, LDRA can scale the LDRA tool suite down to run application code on small processor footprints. Thanks to this integration, very low-cost and low-power PIC processors can be used in DO-178B qua...

LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite and Microchip Technology’s MPLAB PIC18, PIC24 and dsPIC32/33 tool chains. Leveraging the scalability of its components, LDRA can scale the LDRA tool suite down to run application code on small processor footprints. Thanks to this integration, very low-cost and low-power PIC processors can be used in DO-178B qua...

The China Manned Spacecraft Programme (CMSP) selected LDRA, the leading provider of automated software verification tools, and the LDRA tool suite to analyse complex safety-critical applications related to the Tiangong 1 spacecraft. The Tiangong spacecraft, required to meet DO-178B Level-A certification, will carry out space rendezvous and docking experiments that support the overall mission of CMSP. The LDRA tool suite will enable CMSP developer...

DDC-I, a leading supplier of software and professional services for safety-critical applications, and LDRA, provider of the industry’s most complete automated software testing technology, today announced the integration of DDC-I’s DO-178B-certifiable Deos real-time operating system (RTOS) and LDRA’s tool suite. The integrated solution will help developers get to market faster with optimized, robust and certifiable software that meets the mo...

DDC-I and LDRA today announced the integration of DDC-I’s DO-178B-certifiable DeosTM real-time operating system and LDRA’s tool suite. The integrated solution will help developers get to market faster with optimised, robust and certifiable software that meets the most demanding safety-critical requirements, including DO-178B Level A, the FAA’s highest level of safety criticality.

LDRA has tailored a new security-critical development and certification solution to ensure that the LDRA tool suite can meet today’s growing demand for security-critical software. LDRA has extended its implementation of the CERT C secure coding standard to also meet Multiple Independent Levels of Security (MILS) and new Homeland Security criteria for security-critical software development. Recognizing that static analysis does not expose all so...