LDRA

LDRA Elevates Its DevSecOps-Ready Platform with Actionable Security Analysis & Reporting

Retrieved on: 
Tuesday, April 9, 2024
LDRA, 9300, Embedded, MISRA, Organization, CWE, Noise, Hennell, Risk management

WIRRAL, UK—April 9, 2024— LDRA , the leader in automated software verification, traceability and standards compliance, today announced the availability of four new security-first capabilities in the LDRA tool suite : security vulnerability reports, security audits, security reviews and taint analysis.

Key Points: 
  • WIRRAL, UK—April 9, 2024— LDRA , the leader in automated software verification, traceability and standards compliance, today announced the availability of four new security-first capabilities in the LDRA tool suite : security vulnerability reports, security audits, security reviews and taint analysis.
  • Each capability digs deep into identifying and remediating critical security vulnerabilities that impact today’s complex and connected embedded software applications.
  • “Security vulnerabilities in mission-critical systems are just waiting to be exploited, but LDRA can help developers identify and remediate them before release,” said Ian Hennell, Operations Director, LDRA.
  • Combining security vulnerability reports, security audits, security reviews, and taint analysis gives embedded software teams powerful ways to identify vulnerabilities earlier in the lifecycle and support DevSecOps practices.

LDRA Launches Productivity Packages to Optimize Workflows for Functional Safety and Security Standards Compliance

Retrieved on: 
Monday, April 8, 2024
LDRA, Embedded, Certification, Artifact, Workflow, Documentation, Environment, Running, Transport, Medical device

WIRRAL, UK, April 08, 2024 (GLOBE NEWSWIRE) -- WIRRAL, UK—April 8, 2024— LDRA , the leader in automated software verification, traceability and standards compliance, today launched domain-specific software productivity packages for the LDRA tool suite :.

Key Points: 
  • WIRRAL, UK, April 08, 2024 (GLOBE NEWSWIRE) -- WIRRAL, UK—April 8, 2024— LDRA , the leader in automated software verification, traceability and standards compliance, today launched domain-specific software productivity packages for the LDRA tool suite :.
  • LDRA’s new productivity packages provide all the necessary software tools to demonstrate compliance with each industry’s highest required assurance levels.
  • The LDRA Productivity Packages offer capabilities ranging from static and dynamic analysis with unit and integration testing to complete compliance reporting for specific industry standards and assurance levels.
  • Functional safety and security are fundamental to each of the productivity packages and include capabilities such as coding standards compliance, security assessments, automatic test case generation, execution, artifact generation and compliance reporting.

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

Retrieved on: 
Monday, April 8, 2024
LDRA, Risk, Embedded, Certification, Artifact, Organization, Engineering, Audit

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 simplify the analysis and management of software certification activities and artifacts.

Key Points: 
  • 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 simplify the analysis and management of software certification activities and artifacts.
  • LDRAvault generates visualizations of verification results and trends and automatically maintains project snapshots and user-defined milestones.
  • In the embedded market, there are increasing demands for transparency and visibility in software development and verification workflows, particularly in the evolving certification and regulatory landscape.
  • LDRAvault ultimately helps organizations reduce the cost, time and risk of managing their certification artifacts and their verification and validation activities.

LDRA Launches Innovative 'Domain-Specific Productivity Packages'

Retrieved on: 
Tuesday, February 13, 2024
LDRA, Safety, Certification, Medical device

TAIPEI, Taiwan, Feb. 13, 2024 /PRNewswire/ -- LDRA, the leading provider of automated code analysis and software testing solutions, proudly announces the launch of its 'Domain-Specific Productivity Packages'. This suite of tailored solutions is designed to address the unique verification and validation needs of diverse industries, enhancing productivity and reducing time to market.

Key Points: 
  • TAIPEI, Taiwan, Feb. 13, 2024 /PRNewswire/ -- LDRA, the leading provider of automated code analysis and software testing solutions, proudly announces the launch of its 'Domain-Specific Productivity Packages'.
  • LDRA recognizes the industry's demand for specialized, cost-effective solutions, which has led to the development of the 'Domain-Specific Productivity Packages'.
  • "This initiative by LDRA is set to redefine industry standards by facilitating a more efficient, cost-effective pathway to compliance," says Ian Hennell, Operations Director at LDRA.
  • Our Productivity Packages are set to empower developers, current customers, and start-ups looking for optimized tools within their budgets."

LDRA Accelerates Software Security with GitLab Integration

Retrieved on: 
Wednesday, November 29, 2023
Cloud, GitLab, Microsoft, AWS, LDRA, Microsoft Azure, Hennell, DevOps, Azure DevOps, Aviation, Amazon Web Services, Environment

Wirral, UK, Nov. 29, 2023 (GLOBE NEWSWIRE) -- Wirral, UK—November 29, 2023— LDRA , the leader in standards compliance, automated software verification, software code analysis, and test tools, today announced integration with GitLab to help developers continuously detect and remediate security issues as early as possible in the software development lifecycle.

Key Points: 
  • Wirral, UK, Nov. 29, 2023 (GLOBE NEWSWIRE) -- Wirral, UK—November 29, 2023— LDRA , the leader in standards compliance, automated software verification, software code analysis, and test tools, today announced integration with GitLab to help developers continuously detect and remediate security issues as early as possible in the software development lifecycle.
  • GitLab integration allows embedded software teams to identify security issues found by the LDRA tool suite without having to leave their familiar cloud-native automation pipeline.
  • “LDRA’s integration with GitLab offers a faster way to detect and remediate vulnerabilities across the entire code base by kicking off automated static analysis, code coverage, and unit testing without developers having to worry about it.”
    The integration between LDRA and GitLab brings development, security and operations together to improve efficiencies and effectiveness from the start.
  • Using the LDRA tool suite with a containerized build model within a GitLab pipeline, development teams ensure the analysis and testing of code security is fast, consistent and repeatable.

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

Retrieved on: 
Tuesday, September 19, 2023
Radiation, Computer, Research, LDRA, NASA, Risk, NPR, Safety, Software, Risk management

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 systems for harsh environments, today announced a new collaboration to advance software development for critical systems.

Key Points: 
  • 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 systems for harsh environments, today announced a new collaboration to advance software development for critical systems.
  • The collaboration between LDRA and Frontgrade Gaisler offers customers in the space industry a range of valuable benefits.
  • "Through this collaboration, Frontgrade Gaisler and LDRA combine their strengths to offer a unified solution that addresses the critical needs of our customers," said Daniel Hellström, Software Section Head at Frontgrade Gaisler.
  • “Collaborating with Frontgrade Gaisler enables us to deliver an even more comprehensive solution for software analysis and testing in critical systems," said Ian Hennell, Operations Director, LDRA.

Green Hills Software Thanks Collins Aerospace for Including the TCTS II Program in Their Recent FACE White Paper

Retrieved on: 
Wednesday, April 26, 2023
Lynx, NIST, Multiple Independent Levels of Security, MLS, SKPP, RTB, Software Communications Architecture, Raise the Bar, RMF, High Assurance Guard, FACE, Criterion, OS, Technical standard, Military tactics, Virtual, Common Criteria, LDRA, Constructive, Cross-domain solution, Lynx Software Technologies, National Institute of Standards and Technology, Certification, SCA, CDS, NSA, Risk, Navy, Face, Architecture, MILS, Government, General Dynamics Mission Systems, API, Collins Aerospace, TCTS, CISSP, LVC, Medical device, Green Hills Software

SANTA BARBARA, Calif., April 26, 2023 /PRNewswire/ -- Green Hills Software, today, is thanking Collins Aerospace for highlighting the Tactical Combat Training System (TCTS) Increment II program in the technical white paper "Face 3.1 Enhancements: What Could Possibly Go Wrong?". Coauthored with LDRA and Lynx Software Technologies, the white paper highlights how conformance to the FACE™ Technical Standard is vital to the TCTS II program. Because Lynx is a coauthor of the white paper, some readers might come to the erroneous conclusion that a Lynx product is being used for the TCTS II program when it really is the INTEGRITY®-178 tuMP™ real-time operating system (RTOS) from Green Hills Software. The TCTS II program exclusively uses the FACE certified INTEGRITY-178 tuMP RTOS.

Key Points: 
  • SANTA BARBARA, Calif., April 26, 2023 /PRNewswire/ -- Green Hills Software, today, is thanking Collins Aerospace for highlighting the Tactical Combat Training System (TCTS) Increment II program in the technical white paper "Face 3.1 Enhancements: What Could Possibly Go Wrong?"
  • Coauthored with LDRA and Lynx Software Technologies, the white paper highlights how conformance to the FACE™ Technical Standard is vital to the TCTS II program.
  • Because Lynx is a coauthor of the white paper, some readers might come to the erroneous conclusion that a Lynx product is being used for the TCTS II program when it really is the INTEGRITY ® -178 tuMP ™ real-time operating system (RTOS) from Green Hills Software.
  • The TCTS II program exclusively uses the FACE certified INTEGRITY-178 tuMP RTOS.

LDRA Tool Suite Provides Software Assurance for Mission-Critical Systems Powered by NXP S32G3 Processors

Retrieved on: 
Tuesday, March 14, 2023
Software, Other Manufacturing, Technology, Automotive Manufacturing, Aerospace, Semiconductor, Manufacturing, Security, NXP, CWE, SGS, MISRA, Architecture, Safety, Growth, CERT, ISO, ASIL D, Video game, Medical device, LDRA

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.

Key Points: 
  • 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.
  • “Central to this is the need for robust, standards-compliant code and the extensive capabilities of the LDRA tool suite provide developers with a platform to deliver this.”

LDRA Simplifies CAST-32A & A(M)C 20-193 Compliance With Complete Lifecycle Support

Retrieved on: 
Monday, March 13, 2023
Software, Oil, Gas, Nuclear, Energy, Technology, Other Manufacturing, Security, Engineering, Automotive Manufacturing, Aerospace, Other Technology, Manufacturing, Federal Aviation Administration, AMC, Hennell, FAA, European Union Aviation Safety Agency, Centre for Airborne Systems, Certification, Exercise, CAST-32A, AC, MCP, WCET, EASA, Medical device, LDRA

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 .

Key Points: 
  • 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.
  • “Manufacturers of critical multi-core processor systems are choosing LDRA because of our comprehensive support of CAST-32A & A(M)C 20-193 guidelines from requirements to development to testing,” said Ian Hennell, Operations Director, LDRA.
  • “When development teams are feeling the integration crunch, LDRA eliminates the complexity and effort needed to certify multi-core processor applications by integrating WCET support into every aspect of safety-critical development.”

LDRA Makes MISRA C:2023 Compliance Accessible to Every Safety - and Security - Critical Development Team

Retrieved on: 
Tuesday, March 14, 2023
C11, Software, LDRA, CEST, MISRA C, MISRA, ISO/IEC 9899:2011, Embedded, Safety, Documentation, Bank, Medical device, Risk management, C18

SINGAPORE and KUALA LUMPUR, Malaysia and HANOI, Vietnam, March 14, 2023 /PRNewswire/ -- 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.

Key Points: 
  • Introduced in 1998, MISRA C is the standard for developing software in the C programming language where safety, security and code quality are essential.
  • The group will also introduce MISRA C:2023, which consolidates previous versions of the guidelines into a single, comprehensive edition to facilitate compliance.
  • "MISRA C guidelines drive the development toward safe, secure and reliable code and this release demonstrates our continued commitment to ensuring MISRA C:2023 compliance is accessible to every safety- and security-critical development team," said Ian Hennell, Operations Director, LDRA.
  • Andrew Banks will speak about MISRA in the " MISRA.- A Situation Report " panel on March 15 at 1:45 p.m. CEST.