Company Overview of LDRA Ltd
LDRA Ltd. develops standards compliance, automated software verification, source code analysis, and test tools for software applications. It offers LDRA Testbed, a quality control tool that provides source code testing and analysis facilities for the validation and verification of software applications; and TBreq, a solution that helps teams to allocate requirements to team members, map requirements to design and source code, link test cases to requirements, and generate verification reports. It also provides Embed-X, an embedded application lifecycle management solution; TBrun, a unit testing solution; TBvision for managers, teams, and developers to monitor testing, quality metrics, memory ...
Wirral, CH41 5LH
Founded in 1975
Key Executives for LDRA Ltd
Compensation as of Fiscal Year 2017.
LDRA Ltd Key Developments
LDRA Announces Support Within the LDRA Tool Suite® for SAE International’s Surface Vehicle Recommended Practice J3061
Feb 27 18
LDRA announced support within the LDRA tool suite® for SAE International’s Surface Vehicle Recommended Practice J3061. The tool suite now provides an ISO 26262 "compliant cybersecurity development process for critical automotive applications that must be secure to ensure safety, including advanced driver assistance systems (ADAS), autonomous vehicles, infotainment, steering and braking, adaptive cruise control, lane departure warning systems, and more. Connected vehicles are increasingly becoming targets for cybersecurity attacks, making security a critical aspect of vehicle safety. While ISO 26262 addresses functional safety in the development of automotive systems, cybersecurity must also be designed and built into automotive applications throughout the development lifecycle to provide defense in depth. SAE J3061 provides an engineering process framework that integrates with other development processes for the comprehensive and systematic design of cybersecurity into vehicle systems. With the LDRA tool suite, developers can now map security goals to particular software assets and cross-reference those to appropriate safety goals and requirements. The LDRA tool suite supports the following J3061 processes and requirements related to ISO 26262, among others, for automotive applications: SAE J3061 section 8.6.2: Methods for verification of the architectural design accomplished through control flow and data flow analysis. LDRA static analysis tools provide a view into the hierarchical structure of software components, cohesion within the components, coupling among the software components, and data and control flow analysis for ASIL A through ASIL D. SAE J3061 section 8.6.5: Software unit design to ensure the objective of specifying software units in accordance with software architectural design. The LDRA tool suite supports the use of coding guidelines such as MISRA, CERT, and CWE for more secure, reliable, and maintainable code, identifying coding errors and security vulnerabilities so that they can be addressed immediately. The tool suite’s static analysis capabilities ensure that the architectural design and unit implementation principles required by ISO 26262-6:2011 can be checked automatically. SAE J3061 Section 8.6.6: Code reviews throughout software design and implementation. The LDRA tool suite automates the code review process to increase efficiency and reduce opportunity for human error in comparison to peer code reviews. Static analysis can identify vulnerabilities in code that may meet the syntactic requirements of the language while still containing unpredictable or undefined behaviors. SAE J3061 Section 8.6.7: Software unit testing and SAE J3061 Section 8.6.8: Software integration testing. Safety-related units must be run on the target and the test results must comply with the safety and security requirements. The LDRA tool suite supports testing on both development and target platforms using the same test cases, and also supports robustness testing, which is complementary to fuzz testing (recommended by J3061). Boundary value analysis, conditional value analysis, error guessing, and error seeding tests are supported. SAE J3061 Section 8.6.9: Verification/validation of software cybersecurity requirements. During implementation, the LDRA tool suite conducts cybersecurity tests covering all software cybersecurity requirements to verify that the actual results match the requirement results. The tool suite's bidirectional traceability mechanism ensures that these requirements are fulfilled. LDRA tools have been certified by TÜV SÜD and TÜV Saar in safety-critical environments under ISO 26262.
LDRA Ltd Presents at Embedded World 2018 Conference, Feb-27-2018 through Mar-03-2018
Feb 24 18
LDRA Ltd Presents at Embedded World 2018 Conference, Feb-27-2018 through Mar-03-2018. Venue: Nuremberg, Germany. Presentation Date & Speakers: Feb-27-2018, Mark Pitchford, Mark Richardson. Mar-01-2018, Mark Pitchford, Mark Richardson.
LDRA Streamlines Automation for Software Safety and Security Compliance Management
Oct 23 17
LDRA Ltd. announced enhanced automation capabilities in the LDRA tool suitethat will save time and money for those companies that must adhere to and prove compliance with functional safety and security standards. This unprecedented level of automation streamlines compliance by providing the infrastructure for transparent and auditable development workflows necessary in industries such as automotive (ISO 26262), medical devices (IEC 62304), industrial controls (IEC 61508), nuclear energy (IEC 60880), and aerospace (DO-178) and defense (DEF-STN 00-55). Such infrastructure is essential in these industries, where connected devices and mobile applications are increasingly introducing security and safety vulnerabilities. Using the LDRA tool suite, software teams can easily track requirements changes and quickly determine their impact on the design, code, and testing processes so as to eliminate problems, slow-downs, and the cost overruns typical of manual review processes. The LDRA tool suite simplifies the creation and visibility of development and testing evidence for review by regulatory authorities. In addition, lifecycle transparency and automation enables simple and quick review of processes and artifacts during all phases of development. Consequently, the qualification and certification process is greatly expedited. Beyond the traceability automation, the LDRA tool suite also simplifies the construction of safer and more secure code by enabling adherence to coding standards such as MISRA, CERT, and CWE. With the tool suite, software teams can automatically check their code against these standards and quickly address any reported coding standards violations. In addition, development teams can construct their own coding standards from within the tool suite, and check for adherence automatically. All such checks can be run automatically through the management capability. This saves development teams time and money while also ensuring that the code is safer and more secure by construction. The LDRA tool suite also automates the process of generating and executing the test cases, test harnesses, and test stubs required to properly test the software components at both system and unit levels. All of this testing capability is also managed and automated from the requirements; therefore, when a requirement changes, the tool suite automatically determines which code needs to be retested and properly invokes all subsequent testing automation and analysis results accordingly. In large part, this can be a nearly hands-off approach for the software development and testing teams, who need only be involved at the development level to resolve any violations or errors identified by the tool suite. This level of automation is truly unique and empirically saves time and money.
Similar Private Companies By Industry
Recent Private Companies Transactions
|No transactions available in the past 12 months.|