• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Jul 19 '11

    LDRA Takes Leadership Role in Security Compliance

    Posted by LDRA
    With the LDRA announcement of being able to test software for Homeland Security’s CWE compatibility standard, LDRA’s leadership in the security sector has been recognized by Military Embedded Systems.
    Continue Reading
  • Press Release Jun 22 '11

    LDRA Slashes Time and Cost of Certifying HC08/HCS08 to Stringent Avionics, Medical and Automotive Standards

    Posted by LDRA
    Targeting avionics, medical and automotive applications, LDRA integrated the LDRA tool suite with Code Warrior for HC08/HCS08, bringing powerful certification capabilities to this 8-bit footprint.
    Continue Reading
  • Press Release May 2 '11

    LDRA Tool Suite—First to Provide Requirements to Object-Code Traceability

    Posted by LDRA
    LDRA has developed the requirements-to-object–code traceability necessary for devices required to meet the most critical levels of certification. This comprehensive traceability ensures that verification problems found at the object-code level can be quickly and easily traced to the originating source code and requirements levels.
    Continue Reading
  • Press Release May 2 '11

    LDRA Implements Homeland Security’s Secure Programming Guidelines

    Posted by LDRA
    LDRA adds CWE Compatibility to its long suit of industry and programming standards. Sponsored by the U.S. Department of Homeland Security, CWE Compatibility confirms that the LDRA tool suite can identify common programming errors contributing to software containing potentially exploitable vulnerabilities.
    Continue Reading
  • Press Release Apr 14 '11

    LDRA and TASKING Tool Integration Offers Compliance for Automotive, Control and Avionics Markets

    Posted by LDRA
    The LDRA tool suite’s integration with the TASKING VX-toolset for Infineon’s C166 brings certifiability to this small footprint family and its derivatives. LDRA stands alone in providing standard compliance across all stages of the lifecycle whether for automotive with MISRA and ISO 26262, industrial with IEC 61508 or avionics/military with DO-178B.
    Continue Reading
  • Press Release Mar 1 '11

    LDRA Tools Integrate IEC 61508 Compliance across the Software Lifecycle

    Posted by LDRA
    LDRA delivers compliance for IEC 61508, a standard which proves the functional safety of programmable electronic systems performing safety functions. Because of the integration of the LDRA tool suite, LDRA applies compliance to IEC 61508 from requirements through design, code, analysis and testing.
    Continue Reading
  • Press Release Mar 1 '11

    LDRA Boosts Automation and Transparency of Test Process

    Posted by LDRA
    To automate test processes and replace traditional test silos with an integrated test management process, LDRA extends the capabilities of TBmanager, a test management and traceability component within the LDRA tool suite. TBmanager manages the flux between requirements, code and tests, providing improved transparency and consistent test plans.
    Continue Reading
  • Press Release Feb 14 '11

    Analox Chooses LDRA for IEC 61508 Compliance

    Posted by LDRA
    Analox, a leader in gas-detection technology, chose LDRA’s analysis and test tools to achieve IEC 61508 compliance for a dive monitoring system and a submarine rescue vehicle. Not only did Analox improve quality and productivity with the LDRA tool suite, but costs came down too.
    Continue Reading
  • Press Release Jan 31 '11

    LDRA Delivers Assembler Level Support for MIPS Processors

    Posted by LDRA
    The LDRA tool suite provides assembler support for the Green Hills and GNU variants of the MIPS assembler 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.
    Continue Reading
  • Press Release May 23 '10

    LDRA Integrates LDRA Tool Suite(r) with Wind River Workbench and VxWorks

    Posted by LDRA
    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.
    Continue Reading
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • ARG
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
AdaCore View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2023 Ada Resource Association Site Map | Contact Us