LDRA has developed the requirements-to-object-code traceability necessary for devices required to meet the most critical levels of certification. This comprehensive traceability ensures that verification problems found at the object-code level can be quickly and easily traced to the originating source code and requirements levels.

Targeting legacy applications in aviation, satellite, medical and aerospace, LDRA tool suite delivers assembler code for MIPS processors that ensures applications lacking source code or with hand- or board-specific code can meet stringent FDA & DO-178B requirements.

LDRA tool suite 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 applications that would not otherwise be certifiable.

LDRA has selected ITEC, Israel’s number one development tools supplier to distribute the LDRA tool suite. ITEC will extend LDRA’s reach into critical software in defence, medical, embedded, and communication systems.

LDRA has integrated the LDRA tool suite with Wind River Workbench and VxWorks to form a single work environment for safety-critical apps. Using an Eclipse plug-in, full transparency is available between the tools, allowing Workbench developers direct access to LDRA static, dynamic and unit test capabilities or command-line control of WR tools.

LDRA tool suite extends its comprehensive language (C/C++, Ada, Assembler) coverage to take on Java. With DO-178C able to certify OO code and soon to be ratified, developers want to extend the analysis, testing and verification tools they use to certify current software to the Java components typically used for many systems’ communication, networking and user interface.

LDRA has partnered with Codice Software to create the first agile development framework for developers of critical software. This integration incorporates rapid prototyping into LDRA Embed-X, an application lifecycle management tool that focuses on development and verification of critical embedded software.

LDRA and Visure have launched Embed-X, an end-to-end application lifecycle solution that better manages processes, verification and certification of safety-critical embedded systems. With hardware, IDE and RTOS tool integration, Embed-X streamlines development, automating traceability from requirements through design, code, analysis, test and verification–efforts that identify errors earlier and alleviate budget and schedule overruns.

LDRA has integrated the LDRA tool suite with IAR Embedded Workbench for the PIC18, AVR, AVR32 and MSP430 microcontrollers. Thanks to IAR providing full ANSI C compliance, support for embedded C++ and host-controlled I/O facilities, LDRA can implement all features of the LDRA tool suite, equipping these small-footprint controllers for DO-178B and other rigorous certification standards.

LDRA and Visure Solutions are partnering to create the first end-to-end ALM solution targeting the embedded, critical space. With software complexity and volume doubling annually, certified software projects are overrunning budgets and schedules by a factor of two and delivering only 60% of the expected functionality. To enable companies to better integrate systems, LDRA and Visure aim to deliver a solution that manages the micro detail of embedded (hardware, development tools, OS) and certifications (DO-178B, MISRA, CERT-C and CWE) alongside the typical challenges of project management, requirements management, architecture, coding, software configuration management testing and documentation.