Articles from LDRA

The LDRA tool suite from LDRA - a TASKING Company is the software winner of VDC Research’s 2025 “Embeddy” Award, presented to companies announcing important advances and innovations for embedded software developers and/or system engineers. With new features introduced at Embedded World North America in early November, the LDRA tool suite now integrates airborne functional safety and cybersecurity software verification capabilities that minimize challenges and risks while reducing cost and time-to-market.

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 industry that addresses software certification requirements for electric vertical takeoff and landing (eVTOL) applications. By combining requirements traceability, software analysis and compliance reporting into a single streamlined workflow, the LDRA Productivity Package for Aerospace and Defense accelerates the development and certification of safe, secure and reliable embedded software applications such as avionics, flight controls, battery management and payload management systems that must meet stringent functional safety and security standards compliance.

LDRA, a TASKING Company, and a leader in automated software verification, traceability and standards compliance, today announced that the LDRA tool suite now provides comprehensive functional safety and cybersecurity software verification capabilities to meet airworthiness requirements for airborne systems. These new capabilities enhance existing security analysis, verification and reporting capabilities to simplify and accelerate compliance with aviation cybersecurity standards DO-326B and DO-356A up to Security Assurance Level (SAL) 3 as well as the airborne software safety standard DO-178C up to Design Assurance Level (DAL) A for commercial aviation. This integrated approach minimizes functional safety and security certification challenges and risks while reducing cost and speeding time-to-market.

LDRA, a TASKING Company, and a leader in automated software verification, traceability and standards compliance, today announced that the LDRA tool suite now supports advanced analysis of timing coupling interference on multi-core architectures. These new capabilities build on LDRA’s existing data coupling and control coupling tools, giving developers deeper insight into multi-core behavior and enabling them to better mitigate timing issues. Data, control, and timing coupling are critical as multi-core processor are increasingly used to run embedded applications for aerospace and defense, automotive, industrial controls, IoT, and space applications that must adhere to strict functional safety and reliability standards.

LDRA, the leader in automated software verification, traceability and standards compliance, toaday announced it has joined both the Renesas Ready Partner Network and the R-Car Consortium. This collaboration expands LDRA's support to include system development using Renesas R-Car system on a chip (SoCs), microprocessors (MPUs) and microcontrollers (MCUs) that must comply with industry-wide functional safety and cybersecurity standards.

LDRA today announced that the LDRA tool suite now supports the hardware-based, multicore mitigation capabilities of RISC-V processors such as Microchip, Synopsys and ANDES Technology. Developers can now access and optimize performance across RISC-V-based multicore systems, including analyzing the impact of shared resources and data coherency on worst-case execution time (WCET).

LDRA this month celebrates 50 years of transforming and driving best practices in analyzing and verifying embedded software across safety-, mission-, security- and business-critical markets. Since 1975, developers have embraced LDRA products, most prominently the flagship LDRA tool suite, to address functional safety and security challenges across myriad industries. As a result, they can ensure quality is built into software from requirements through to deployment and more easily demonstrate full compliance with industry standards, reducing costs, safety and security concerns, and time to market.

After decades of extensive MISRA C knowledge and leadership, LDRA today announced support for MISRA C:2025, released this week by the MISRA C Working Group. LDRA now enables developers to immediately take advantage of the updated guidelines, policy changes and enhancements by facilitating and streamlining compliance through the automated static code analysis and reporting capabilities of the LDRA tool suite. The result is faster time to market with higher quality code while improving safety and security compliance.

LDRA, a leader in automated software verification, traceability and standards compliance for 50 years, today announced it has joined Microchip’s Mi-V ecosystem by adding support for PolarFire® SoC FPGAs and PIC64 MPUs to the LDRA tool suite. The collaboration between LDRA and Microchip expands functional safety and security support for Microchip’s RISC-V® architecture with important new tools and capabilities that simplify and speed the development, verification and certification of applications using the PolarFire SoC FPGAs and PIC64 MPUs, both of which include multiple RISC-V processor cores.

TASKING has announced the acquisition of 100% of LDRA, a provider of software tools for code analysis and software testing for safety-, mission-, security- and business-critical markets.

LDRA, a leader in automated software verification, traceability and standards compliance, today announced the LDRA TBmanager Integration Package (TIP) for No Magic Teamwork Cloud. This integration into Dassault Systèmes’ No Magic Teamwork Cloud extends model-based systems engineering and enables engineers to achieve the low-level and high-level software requirements-based testing that is mandatory for compliance with functional safety standards across aerospace, defense, space and automotive markets.

LDRA, a leader in automated software verification, traceability and standards compliance, today announced extended support for the RISC-V instruction set architecture (ISA) with the company’s industry-leading high assurance quality analysis and verification tool suite. Building on its suite of Target License Packages to support emerging RISC-V implementations such as Synopsys ARC-V™ processor IP, the LDRA tool suite continues to provide developers the tools they need to produce RISC-V-based critical applications for aerospace and defense, mobile, industrial, IoT, artificial intelligence and automotive that must adhere to strict functional safety and security standards.

Continuing to lead the industry in enabling developers to assure software quality, safety, and security standards compliance, LDRA today announced that its LDRA tool suite supports the BlackBerry QNX Software Development Platform 8.0 (SDP 8.0). The integration of these tools offers the highest levels of safety and security for a wide range of embedded applications, including automotive, industrial controls, robotic systems, manufacturing, materials handling and surgical robots.

LDRA today announced it has joined The Open Group Sensor Open Systems Architecture (SOSA™) Consortium, a vendor- and platform-agnostic forum for industry and government to collaboratively develop open standards and best practices. As a leading provider of automated software verification, source code analysis and test tools, LDRA will leverage decades of experience working on standards committees such as The Open Group Future Airborne Capability Environment® (FACE®) Consortium, MISRA, DO-178 and ISO-26262 to help formalize an official SOSA conformance process and encourage innovation in the aerospace and defense industry.

LDRA, the leading provider of automated software verification, source code analysis, test tools and consultancy services, today announced LDRA tool suite support for NXP® Semiconductors’ S32G3 series of vehicle network processors. The S32G3 series is an ideal component for central vehicle computer applications in zonal-based, software-defined vehicles. The LDRA tool suite, together with the NXP S32 Design Studio IDE, helps reduce the cost and effort associated with developing, testing, and certifying software that runs on S32G3 processors.

Building on more than 20 years of MISRA C support, LDRA today announced the addition of the latest MISRA C:2023 guidelines to the static code analysis and reporting capabilities of its LDRA tool suite. Guided by MISRA C Working Group chairman and LDRA technical specialist Andrew Banks, LDRA’s new capabilities support embedded developers in aerospace, defense, industrial and energy, medical device and automotive sectors to identify and mitigate potentially dangerous code in increasingly complex and difficult-to-test multithreaded, multi-processor systems.

LDRA, the leading provider of automated software verification, source code analysis, unit testing tools, and consultancy services, today announced the enhanced CAST-32A & A(M)C 20-193 validation capabilities of the LDRA tool suite for safety-critical, multi-core processor (MCP) applications. These innovative features cover the entire software development lifecycle and provide a robust certification framework in support of DO-178C – Software Considerations for Airborne Systems and Equipment Certification.

MISRA C, the leading set of guidelines for the production of safe, secure, and reliable code by engineering organizations and software practitioners, marks its 25th anniversary this month. As a key contributor to the MISRA C Working Group, LDRA brings its expertise in standards compliance, automated software verification, static code analysis and test tools to evolve the standard to better align to modern C language and development practices.

LDRA, the leading provider of automated software verification, source code analysis, unit testing tools, and consultancy services, today announced its selection as the software validation and compliance platform of choice for Ei Electronics. As discussed in a recent case study, the market leader in fire and carbon monoxide detection products chose the LDRA tool suite to support rigorous quality and safety checks for its Ei207 and Ei208 series of battery-powered carbon monoxide alarms. This selection reaffirms Ei Electronic’s commitment to sound engineering practices and continuous improvement on behalf of its customers.

As the Artemis I uncrewed moon-orbiting mission comes to a successful end today, LDRA – the project’s software verification, source code analysis, and testing partner – reiterated its ongoing support in the development of the mission software. An essential component in the development of the Orion Multi-Purpose Crew Vehicle (MPCV) mission software, the LDRA tool suite supported many verification and validation (V&V) activities, including requirements management, standards compliance, and target testing for multiple subsystems and software vendors.

LDRA today announced its selection as the FACE (Future Airborne Capability Environment) Verification Authority (VA) for Lynx Software Technologies, a developer of open architecture software solutions for mission-critical embedded systems. By working with LDRA Certification Services (LCS), Lynx will earn independent validation and verification (IVV) of its software designed to conform with the latest FACETM Technical Standard, edition 3.1. This IVV is a critical step in FACE Conformance, ultimately ensuring joint customers in aerospace and defense reduce risks, lower costs and speed time-to-field for their airborne platforms.

LDRA, the leader in standards compliance, automated software verification, software code analysis, and test tools, today announced integration with Amazon Web Services (AWS) to help small- and medium-sized organizations more efficiently deploy security into the earliest stages of software development.

LDRA, the leader in standards compliance, automated software verification, software code analysis, and test tools, today announced integration with Microsoft Azure DevOps. LDRA’s integration with this cloud-hosted development and deployment solution helps small- and medium-sized organizations more efficiently deploy the ‘shift left’ strategy—a core principle of DevSecOps. Using this methodology, military and defense providers can build security best practices into the earliest stages of software development. The LDRA tool suite also allows Azure developers to easily share results with management at any stage of the process from any computer.

LDRA, the leading provider of automated software verification, source code analysis, test tools and consultancy services, today announced LDRA tool suite support for NXP’s S32K3 family of automotive and industrial microcontrollers, targeted at automotive body electronics, battery management systems and emerging zonal and domain control ECUs. The LDRA tool suite, together with the NXP S32 Design Studio IDE, helps reduce the cost and effort associated with developing, testing, and certifying software that runs on S32K3 MCUs.

LDRA, in collaboration with industry partners and associations, today announced that the seventh edition of the Embedded Safety & Security Summit (ESSS) 2022 will be held June 15. With the theme “Designing Embedded Systems with Agility, Quality, Safety & Security,” the conference and expo will be virtual for the second year in a row. This will enable even more to be involved in developing, testing and certifying mission-critical embedded systems to learn about the latest technological advancements.

LDRA, the leading provider of automated software verification, source code analysis and test tools, today announced a plug-in that brings the capabilities of the LDRA tool suite into the Jenkins automation server for continuous integration (CI) for agile software development. Jenkins automates and manages the build process and connects build and version control systems with quality management and automated testing processes for large-scale system-level software projects. LDRA has long linked to Jenkins to enable developers to analyze, track test and verification fulfilment, and measure code quality. Now, developers can view LDRA results directly in Jenkins, saving time and reducing development costs associated with building systems that must meet rigorous standards such as the automotive industry’s ISO 26262.

LDRA has joined the Wind River Studio partner ecosystem, offering static and dynamic analysis for safety- and security-critical applications that use Wind River’s cloud native platform for intelligent systems. The leader in standards compliance, automated software verification, software code analysis, and test tools extends Wind River’s cloud native platform with a single work environment enabling developers and others to conduct these automated analysis and verification tasks throughout the DevOps software lifecycle.

LDRA, the leader in standards compliance, automated software verification, software code analysis, and test tools, today announced that G.G.Tronics has chosen the LDRA tool suite to perform static and dynamic analysis on its software code. The company chose the tool suite to improve quality, confirm correct functionality, and demonstrate and maintain requirements traceability in accordance with EN 50128.

LDRA, the leading provider of automated software verification, source code analysis, unit testing tools, and consultancy services, today announced an updated integration with DDC-I, Inc. for aerospace and defense applications. The LDRA tool suite now supports DDC-I’s latest Deos™ safety-critical real-time operating system (RTOS) featuring SafeMC™ multicore technology, and the latest OpenArbor® Eclipse-based integrated development environment (IDE). The powerful, efficient solution enables avionic system manufacturers to quickly and cost-effectively develop, debug, test, and deploy software that can be readily certified to the most demanding requirements such as RTC DO-178C/ED-12C.

LDRA, the leading provider of automated software verification, source code analysis, test tools, and consultancy services, today announced it has been approved as one of the first six Future Airborne Capability Environment™ (FACE) Verification Authorities (VA). With designated FACE VA status, LDRA is empowered to provide independent FACE conformance verification for customers in the aerospace and defense industry.

LDRA, the leading provider of automated software verification, source code analysis and test tools, and OpenSynergy, specialist in high-quality embedded automotive software, today announced their partnership to support and promote a defense-in-depth strategy combining hypervisor technology with secure coding techniques.

The Embedded Safety & Security Summit (ESSS) today announced its first set of speakers for the inaugural virtual event, scheduled for June 17, 2021. Based on LDRA’s long-running annual conference, ESSS brings together embedded technology enthusiasts, industry thought leaders and regulators worldwide to share emerging trends, best practices, technical deep dive, and practical examples on empowering the development of safe and secure embedded systems.