Business Wire

LDRA Announces Extended Support for RISC-V High Assurance Software Quality Tool Suite to Accelerate On-Target Testing of Critical Embedded Applications

WIRRAL, England--(BUSINESS WIRE)--LDRA, a leader in automated software verification, traceability and standards compliance, today announced extended support for the RISC-V instruction set architecture ...
Business Wire

LDRA Partners with Dassault Systèmes to Simplify Verification and Certification of Safety and Security-Critical Software

WIRRAL, England--(BUSINESS WIRE)--LDRA, a leader in automated software verification, traceability and standards compliance, today announced the LDRA TBmanager Integration Package (TIP) for No Magic ...
EDN

DDC-I Best-in-Class RTOS to be Integrated with LDRA Analysis and Test Tools for Safety-Critical Applications

Collaboration targets mission- and safety-critical applications in the aerospace, defense, telecom, power plant, medical, automotive, and industrial control markets Phoenix, AZ and Wirral, UK.
SpaceNews

LDRA Wins $1 Million Contract in China’s Manned Spacecraft Program

WIRRAL, United Kingdom–The China Manned Spacecraft Program (CMSP) selected LDRA, the leading provider of automated software verification tools, and the LDRA tool suite to analyze complex ...
Electronic Design

Software Test Suite Melds With Debugger

In integrating its LDRA software-test tool suite with Lauterbach’s TRACE32 debugger, LDRA gives TRACE32 users a host of software-testing features, including traceability, verification, and code and ...
Business Insider

LDRA and Frontgrade Gaisler Collaborate to Enhance Software Development for Critical Systems

WIRRAL, UK, Sept. 19, 2023 (GLOBE NEWSWIRE) -- WIRRAL, UK — Sept. 19, 2023—LDRA, a leading provider of software analysis and testing tools, and Frontgrade Gaisler, a world leader in embedded computer ...
SpaceNews

LDRA Supports Artemis I Mission Success With Robust Verification & Validation Processes for Orion Spacecraft

As the Artemis I uncrewed moon-orbiting mission comes to a successful end, LDRA – the project’s software verification, source code analysis, and testing partner – reiterated its ongoing support in the ...
EDN

Patent Pending for LDRA’s New Automated Management of Software Requirements

Wirral, UK – 21 January 2009. LDRA, provider of the most complete automated software testing technology with tools covering the most critical phases of the software development lifecycle, has created ...
Yahoo Finance

TASKING Celebrates 1-year Anniversary of LDRA Acquisition with Launch of Complete End-to-End "Compile, Debug, Test" Toolchain for Safety- and Security-Critical Systems

The TASKING toolchain seamlessly unlocks the full potential of the combined tools, enabling CI/CD-capable certified workflows with AI to optimize development from requirements to compliance while ...
Embedded

ESC – LDRA and MathWorks integrate LDRA tool suite with Simulink

LDRA and MathWorks have integrated the LDRA tool suite with Simulink modelling tools. The integration offers independent verification and full traceability of all artifacts – whether requirements, ...