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 ...

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 ...
Business Wire

LDRA and IAR Systems Target IEC 61508 and IEC 62304 Certification of Small-footprint Architectures

WIRRAL, England--(BUSINESS WIRE)--LDRA, the leading provider of automated software verification, source code analysis and test tools, has extended the interface between the LDRA tool suite and IAR ...
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 ...
Morningstar

TASKING and LDRA Expedites Safe, Secure eVTOL Certification with All-in-One Productivity Package

LDRA, a TASKING Company, and a leader in automated software verification, traceability and standards compliance, today announced an all-in-one productivity package for the aerospace and defense ...
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 ...
ksn.com

LDRA Launches LDRAvault to Simplify Enterprise-Wide Software Verification Activities and Artifacts, Accelerate Certification

WIRRAL, UK, April 08, 2024 (GLOBE NEWSWIRE) -- WIRRAL, UK—April 8, 2024—LDRA, the leader in automated software verification, traceability and standards compliance, today introduced LDRAvault to ...
EDN

LDRA tool suite supports integration with the Analog Devices VisualDSP++ software development environment

Wirral, UK – 25 June 2009. LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with the Analog Devices VisualDSP++ ...
EDN

Efficient testing ensures requirements traceability and verification: Part 2

Part 1 of this feature discussed the need for requirements-based testing for traceability and verification, as well as standards compliance for critical software. Requirements based testing, and its ...