Portside, Monks Ferry, Wirral
CH41 5LH
United Kingdom
Phone
0151 649 9300
Fax
0151 649 9666
Web Address
www.ldra.com
LDRA Company Details
Certifying Industrial Systems Using IEC 61508
With recent advances in automation, software is no longer a small part of electro-mechanical systems, but instead forms the underlying technology providing functional safety for many products. By Shrikant Satyanarayan, Technical Consultant with LDRA, in India, specialising in the development, integration and certification of mission- and safety-critical systems in avionics, nuclear, industrial safety and automotive domains.
LDRA Extends Integration with MATLAB and Simulink
LDRA now offers unprecedented verification of the model through a sophisticated integration with MATLAB and Simulink. The LDRA tool suite can now use real-world data from MATLAB that's connected to a Simulink model in order to fully verify the application at a source and object code level.
LDRA leads the market with immediate, comprehensive tool support for MISRA C:2012
LDRA today announced the immediate availability of compliance tools for the recently announced MISRA C:2012 guidelines for safety-critical software. LDRA offers the most comprehensive and automated approach to meeting the MISRA C rules, with products that include a standalone rule checker as well as a portfolio of tools that integrates MISRA C compliance into the software development lifecycle.
LDRA Selects Logic Technology to Extend its Reach to European Certification-based Industries
LDRA today announced that it has appointed Logic Technology to extend LDRA's reach into the German- and Dutch-speaking regions of Europe for safety-, mission- and security-critical markets. Logic Technology brings engineering-savvy expertise to customer sales throughout Germany, Benelux, Austria and Switzerland.
IBM Rational Rhapsody and LDRA tool suite streamline model to verification process
LDRA has fully integrated the LDRA tool suite with IBM Rational Rhapsody ensuring a seamless workflow from model-driven development to test and verification. IBM Rational Rhapsody, a UML-based modeling and code-generation tool, speeds the design of complex systems that often must meet industry certification standards
LDRA announces programming rule checker LDRArules
LDRA has unveiled LDRArules, a programming rule checker that brings together a collection of rules from a broad spectrum of programming standards. Implemented as a stand-alone product, LDRArules enables development teams to improve their software quality by selecting and adhering to relevant industry programming standards.
LDRA selected by Esprit Lean to assist in cancer medical technology
LDRA has been selected by Esprit Lean to prove compliance of medical technology being developed to assist in cancer treatment. Esprit Lean chose the LDRA tool suite to provide the static analysis and standards verification needed to achieve compliance to IEC 62304.
Jenkins Continuous Integration Platform interfaced with LDRA
LDRA has today announced the introduction of LDRA tool suite support for Jenkins. Jenkins connects the build and version control systems with quality management and automated testing. By linking the LDRA tool suite to Jenkins, the platform can invoke the LDRA tool suite to perform analysis, track test and verification fulfilment, and assess overall improvements or regressions in code quality over time.
LDRA Committed to Support All Aerospace Platforms for Certification
LDRA has automated the interface between the LDRA tool suite and Atmel's AVR Studio. This interface ensures that aerospace applications developed using Atmel's AVR ATmega128 are certifiable to DO-178C Level A. Automating the interface provides an efficient way for developers to more easily complete elements of DO-178C qualification that otherwise demand a highly skilled and labor-intensive process.
LDRA Integrates Leading Requirements Engineering Tool IRQA into LDRA Tool Suite
LDRA announced the integration of Visure Solutions' IRQA requirements engineering tools with TBmanager, a test management and traceability component within the LDRA tool suite. The strong integration of the products will ease regulatory compliance by providing transparent, end-to-end traceability from system requirements to verification and validation for safety- and mission-critical software.
LDRA Opens Division Dedicated to Comprehensive Certification Services
LDRA has created LDRA Certification Services (LCS), a division devoted to helping customers develop certification-ready products. The LCS team includes Federal Aviation Administration (FAA) Designated Engineering Representatives (DER) and safety engineering experts, who offer product certification solutions at a fixed price. They are able to offer this client-centered, risk-free approach, based on their vast experience.
LDRA Tool Suite Directly Integrates with Altera's Nios II Embedded Design Suite
LDRA has extended the LDRA tool suite to support direct integration with Altera's Embedded Design Suite (EDS) for Nios II soft core processors. In the past, these processors lacked sufficient CPU and memory to be used in automotive, medical, industrial and avionics environments.
LDRA Supports National Instruments LabVIEW for Early Development and Test of DO-178 Systems
LDRA,has integrated the LDRA tool suite with National Instruments (NI) LabVIEW Virtual Instruments. The LDRA-NI solution offers hardware-in-the-loop (HIL) simulation, a technique used to develop and test the complex real-time embedded systems commonly found in military and aerospace designs.
LDRA Tool Suite Now Supports QNX Neutrino RTOS and QNX Momentics Tool Suite to Streamline Regulatory Burden
LDRA has announced that its LDRA tool suite now supports QNX Software System Limited's QNX Momentics Tool Suite and QNX Neutrino Realtime Operating System (RTOS). This offers a best-in-class approach fine-tuned for development needs and compliance to industry standards. Increased government scrutiny and new standards have created a compliance burden that challenges time-to-market goals and threatens to explode software development costs. By providing compatibility with QNX technology, LDRA confronts the burden of regulatory compliance and unrealistic schedules, which in turn supports companies' efforts to build reliable, safety-critical systems without sacrificing development speed or cost.
New Release of LDRA Tool Suite Automates Embedded Software Development, Slashing Certification Costs
LDRA has boosted the automation, efficiency and customisation of certification processes with Version 9 of the LDRA tool suite. While maintaining legacy tools and features, LDRA has unified its tools with a common user interface, central repositories and performance optimisations to offer superior lifecycle traceability. These improvements slash the time and cost of certification, extending LDRA's leadership in delivering certification and verification costs well below the industry average.
LDRA Honors Successes of India Office - LDRA Technology Private Limited celebrates first year
LDRA, the leading provider of automated software verification, source code analysis and test tools, celebrates the first anniversary of the launch of a local office in Bangalore, India. Building on LDRA's 35 years in best-practice programming, certification and testing, LDRA India has developed contracts with India's defense, aerospace, nuclear and other government-owned public sector industries.
LDRA Takes Leadership Role in Security Compliance
Military Embedded Systems recognizes LDRA's CWE offering with Editor's Choice Award
LDRA and DDC-I Offer Free Seminars June 15 & 16 for Certifying to the Highest Levels of DO-178B/C in Montreal and Boston
LDRA and DDC-I will offer two complimentary half-day seminars on developing safety-critical software to the highest levels of DO-178B/C certification. Industry experts outline practical techniques for meeting project timelines and cost targets with DO-178B and offer insight into key differences in the new DO-178C standard that can yield significant productivity improvements in software process.
LDRA Implements Homeland Security's Secure Programming Guidelines
LDRA, the leading provider of automated software verification, source code analysis, and test tools, has achieved Common Weakness Enumeration (CWE) Compatibility for the LDRA tool suite.
LDRA First to Provide Requirements to Object-Code Traceability
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has developed another first—requirements-to-object–code traceability. In the safety-critical domain, devices required to meet the most critical levels of certification must verify software traceability from requirements through design to code at both source- and object-code levels.
LDRA Tools Integrate IEC 61508 Compliance across the Software Lifecycle
LDRA launches support for the IEC 61508 and IEC 61508:2010 standards, functional safety standards for electrical/electronic/programmable electronic systems, from requirements through design, code, analysis and certification. As a broad functional safety standard applicable to a wide range of industries, the IEC 61508 standard focuses on risk reduction and the safety lifecycle for equipment and systems under software control.
LDRA Boosts Automation and Transparency of Test Process
LDRA has extended TBmanager, a test management and traceability component within the LDRA tool suite. With the adoption of process-oriented standards such as IEC 62304, IEC 61508:2010 and ISO/DIS 26262, software developers must comply with programming standards and provide requirements traceability. To ease compliance and requirements traceability, TBmanager has been extended to deliver greater transparency, implement consistent test plans throughout a team, and manage the flux between requirements, code and tests.
Analox Chooses LDRA for IEC 61508 Compliance
LDRA, the leading provider of automated software verification, source code analysis and test tools, is announcing its selection by Analox, a leader in gas-detection technology, for compliance and test generation. Analox chose the LDRA tool suite for two projects—a dive monitoring system and for its Analox Sub MkIIIF system that measures oxygen, carbon dioxide, pressure, temperature and humidity in hyperbaric chambers and submarine rescue vehicles. Both projects demanded IEC 61508 certification, which proves the functional safety of programmable electronic systems performing safety functions.
LDRA Delivers Assembler Level Support for MIPS Processors
LDRA, the leading provider of automated software verification, source code analysis and test tools now supports assembly-level code for MIPS processors. Targeting high reliability applications in aviation, satellite, medical and aerospace, the LDRA tool suite provides assembler support for Green Hills and GNU variants of MIPS assembly along with C-style macro syntax. Thanks to this support, legacy applications can be fully certified to the most rigorous levels of DO-178B and FDA certification.
LDRA Supports Certification for x86 assembler platforms
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has developed a variant of the LDRA tool suite that supports x86 assembler syntax. Catering to a broad range of x86 assembler platforms, including ASM486/386/286/186, Pharlap, MASM and Borland Assembler, the LDRA implementation provides scalable support for any x86 assembler variant. This integration enables certification for legacy applications that would not otherwise be certifiable.
LDRA Speeds Medical Device Design with IEC 62304 Compliance
LDRA has integrated IEC 62304, a standard for software design of medical products, into automated software verification, source code analysis, and test tools. The standard, recently adopted by the European Union and the United States, harmonizes both European and American medical standards, ensuring that development teams improve their software quality, while minimizing the time and cost of development and maximizing market coverage.
LDRA Delivers ISO 26262 Compliance for Automakers
LDRA supports the current implementation of ISO/DIS 26262, a functional safety standard for road vehicles. With the increased use of electronic systems, the ISO 26262 draft addresses safety concerns specific to the electrical, electronic and programmable electronic (E/E/PE) systems in vehicles. LDRA's early adoption of automotive standards demonstrates the company's strong commitment to helping automakers improve software quality and decrease the tremendous cost of recalls and vehicle warranties.
LDRA Interface Maximizes Efficiency and Ease-of-Use
With increased dependence on software, government and industry authorities are calling for improved software quality surveillance. Executives and corporations alike are now expected to prove that they have undergone due diligence in ensuring that the software they developed underwent rigorous testing and requirements verification. Because of this, many companies in industries such as medical and automotive where standards are traditionally reactive are adopting new processes that automate requirements traceability, verification and test procedures.
LDRA Tool Suite High- and Object-Level Support Extended for Full Range of PowerPCs
LDRA, the leading provider of automated software verification, source code analysis and test tools, has integrated the LDRA tool suite with a variety of compiler and RTOS technologies for the PowerPC (PPC) family. Targeting safety-critical systems, LDRA has extended its PPC support across the primary tool chains of Wind River Tornado, Wind River Workbench and Green Hills Multi, Green Hills Integrity and Green Hills Integrity 178B. The LDRA tool suite support of the PPC processors scales from the PPC 440 to the high-performance PPC 750 and can work at either the C compiler or Assembly level. Full DO-178B certification artifacts up to Level A are available.
LDRA Selects ITEC as Distributor for Israel
LDRA, the leading provider of automated software verification, source code analysis, and test tools, has selected ITEC, Israel's number one development tools supplier as its distributor to Israel. With 25 years experience in embedded markets such as defence, medical, telecommunications and semiconductor, ITEC possesses the technical expertise and industry knowledge that LDRA customers need.
LDRA Opens Direct R&D, Sales and Support in India
LDRA, the leading provider of automated software verification, source code analysis, and test tools, today announced the opening of an office in Bangalore, India. As the eleventh largest world economy, India has become a cornerstone in LDRA's growth strategy. LDRA will provide research and development, front-line sales and technical support to customers in key markets such as aerospace, defense, nuclear, rail, consulting, and education/research as well as extending LDRA's technology into developing markets.
LDRA and Visure's Joint Release of Embed-X Selected for Editor's Choice Award
LDRA and Visure Solutions were honoured to be featured for the Editor's Choice Award in May's edition of Military Embedded Systems (MES). The Editor's Choice Award applauds solutions with the potential of making a significant, positive impact on the industry.
LDRA Integrates LDRA Tool Suite with Wind River Workbench and VxWorks
LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with Wind River Workbench and VxWorks to provide a single work environment for safety- and security-critical certification. Thanks to a Wind River-specific Eclipse plug-in, developers have the flexibility of directly accessing LDRA tool suite capabilities from within Workbench or controlling Workbench and the VxWorks simulator from the LDRA tool suite.
LDRA Adds Java Language and Certification Support
LDRA, the leading provider of automated software verification, source code analysis, and test tools, has released Java support for the LDRA tool suite. Thanks to the maturation of embedded Java technology, many systems now include a Java component whether to manage the user interface, provide network management capabilities, or simply leverage the application development advantages of the language. LDRA's Java support enables developers to extend the same software verification and testing tools across the entire application, whether it is in C/C++, Ada, Assembler or Java languages.
LDRA and Codice Software Launch the First Agile Development Framework for Critical Software Processes through Embed-X
LDRA and Codice Software, developer of the Plastic SCM, the next-generation software change and configuration management solution, have partnered to provide Agile development capability to Embed-X, the only ALM product focused on the development and verification of critical, embedded software systems. Although Agile development has previously been considered at cross-purposes with safety-critical software development, LDRA and Codice have solved these challenges by incorporating Plastic SCM's Agile benefits into the Embed-X application lifecycle management solution.
LDRA and Visure Release Embed-X, a Comprehensive Embedded Application Lifecycle Management Solution
LDRA, the leading provider of automated software verification tools, and Visure Solutions, market leader in Requirements Definition and Management, announced the release of Embed-X, the first end-to-end application lifecycle management (ALM) system for the embedded space. Embed-X, like other ALM solutions, merges product requirements, business objectives and metrics in a uniform actionable perspective. However, Embed-X also delivers these ALM objectives with full certification support for critical development standards in the avionics, defense, automotive and medical markets while executing on an unrivalled track record of embedded expertise extending 35 years.
LDRA tool suite integration maximizes IAR Embedded Workbench Strengths
LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with IAR Embedded Workbench for the PIC18, AVR, AVR32 and MSP430 microcontrollers. Because IAR Embedded Workbench provides a full range of capabilities, the LDRA tool suite is able to realize its full potential, enabling companies to use these controllers for DO-178B and other rigorous certification standards.
LDRA and Visure Partner to Offer Embedded Application Lifecycle Management Solution
LDRA, the leading provider of automated software verification tools, and Visure Solutions, market leader in Requirements Definition and Management, have partnered to bring together the first end-to-end application lifecycle management (ALM) system for the embedded space. With the size of complex software applications doubling annually, cost is rapidly increasing, jeopardizing project budgets and creating delivery overruns. By designing an integrated ALM solution, LDRA and Visure hope to deliver 50% cost savings to embedded software development.
LDRA Tool Suite Integrated into Microchip Technology's PIC Family
LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite and Microchip Technology's MPLAB PIC18, PIC24 and dsPIC32/33 tool chains. Leveraging the scalability of its components, LDRA can scale the LDRA tool suite down to run application code on small processor footprints. Thanks to this integration, very low-cost and low-power PIC processors can be used in DO-178B qualified environments.
LDRA Tool Suite Integrated into Microchip Technology's PIC Family
LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite and Microchip Technology's MPLAB PIC18, PIC24 and dsPIC32/33 tool chains. Leveraging the scalability of its components, LDRA can scale the LDRA tool suite down to run application code on small processor footprints. Thanks to this integration, very low-cost and low-power PIC processors can be used in DO-178B qualified environments.
LDRA Wins $1 Million Contract in China's Manned Spacecraft Programme
The China Manned Spacecraft Programme (CMSP) selected LDRA, the leading provider of automated software verification tools, and the LDRA tool suite to analyse complex safety-critical applications related to the Tiangong 1 spacecraft. The Tiangong spacecraft, required to meet DO-178B Level-A certification, will carry out space rendezvous and docking experiments that support the overall mission of CMSP. The LDRA tool suite will enable CMSP developers to achieve the stringent safety-critical standards required to ensure the safe launch of the spacecraft.
Safety-Critical Software Platform Combines DDC-I's DO-178B RTOS with LDRA's Analysis and Test Tools
DDC-I, a leading supplier of software and professional services for safety-critical applications, and LDRA, provider of the industry's most complete automated software testing technology, today announced the integration of DDC-I's DO-178B-certifiable Deos real-time operating system (RTOS) and LDRA's tool suite. The integrated solution will help developers get to market faster with optimized, robust and certifiable software that meets the most demanding safety-critical requirements, including DO-178B Level A, the FAA's highest level of safety criticality.
Safety-Critical Software Platform Combines DDC-I's DO-178B RTOS with LDRA's Analysis and Test Tools
DDC-I and LDRA today announced the integration of DDC-I's DO-178B-certifiable DeosTM real-time operating system and LDRA's tool suite. The integrated solution will help developers get to market faster with optimised, robust and certifiable software that meets the most demanding safety-critical requirements, including DO-178B Level A, the FAA's highest level of safety criticality.
LDRA Offers Security-Critical Software Development and Certification Support
LDRA has tailored a new security-critical development and certification solution to ensure that the LDRA tool suite can meet today's growing demand for security-critical software. LDRA has extended its implementation of the CERT C secure coding standard to also meet Multiple Independent Levels of Security (MILS) and new Homeland Security criteria for security-critical software development. Recognizing that static analysis does not expose all software security vulnerabilities, LDRA has integrated this solution into its entire tool suite from analysis through test and requirements traceability.
Latest LDRA Tool Suite Geared Up for Enterprise Applications
LDRA has broadened the capabilities of the latest version of the LDRA tool suite to address complex, large-scale applications. The tool suite is optimised for modern multiprocessor environments and offers superior version control—capabilities fundamental to the needs of the military, aerospace, medical and automotive sectors. With an enhanced Eclipse plug-in, the LDRA tool suite v8.1.0 can be easily deployed in enterprise applications and enable developers to participate in the extensible framework of the Eclipse environment.
New Version of LDRA Tool Suite Provides First End-to-End Software Verification Solution
LDRA has launched v8.0 of the LDRA tool suite, the first fully automated end-to-end solution for software verification support. With the integration of requirements management, LDRA has enabled companies for the first time to trace, verify, and test their code through all stages of software development from requirements through static and dynamic analysis and testing. By tailoring standardized best-programming practices for cross-industry adoption, LDRA extends the cost- and resource-savings advantages to the embedded industry as a whole.
DDC-I Best-in-Class RTOS to be Integrated with LDRA Analysis and Test Tools
DDC-I, a leading supplier of software and professional services for safety-critical applications, and LDRA today announced that they are collaborating to deliver an integrated safety-critical software platform that combines DDC-I's Deos real-time operating system (RTOS) with the LDRA tool suite. The integrated solution will help developers get to market faster with optimized, hardened software that meets the most demanding safety-critical requirements, including DO-178B Level A certification, the FAA's highest level of safety criticality.
Patent Pending for LDRA's New Automated Management of Software Requirements
LDRA has created new technology that automates the administration and traceability of software requirements. This patent-pending technology automates the techniques and tools for the integration of requirements traceability with software testing and verification. On completion, the technology will be integrated into TBreq, the portion of the LDRA tool suite devoted to requirements-driven testing.
LDRA tool suite supports integration with Lauterbach debugger
LDRA, provider of the most complete automated software testing technology with tools covering the eight essential areas of the software development lifecycle, has integrated the LDRA tool suite with Lauterbach's TRACE32 debugger. By providing software testing features such as traceability, verification, and code and quality review, LDRA assists users of the Lauterbach's TRACE32 debugger in fully automating the software testing process with the LDRA tool suite from code coverage to automating unit testing for the target.
LDRA tool suite support identifies Security Vulnerabilities and meets the CERT C standard
LDRA, provider of the most complete automated software verification, source code analysis and test tools covering the full development lifecycle, has enhanced the capabilities of the LDRA tool suite to comply with the released version of the MISRA C++:2008 standard from the Motor Industry Software Reliability Association (MISRA).
Page 1 2
