• 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 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 Mar 1 '11

    EADS CASA Selects AdaCore Toolset for nEUROn Unmanned Aircraft

    Posted by AdaCore
    EADS CASA is using the GNAT Pro High-Integrity Edition to implement the data exchange and air-to-ground data links systems for the nEUROn Unmanned Combat Air Vehicle (UCAV) demonstrator.
    Continue Reading
  • Press Release Mar 1 '11

    Airbus Military Certifies to DO-178B level A Using GNATcheck

    Posted by AdaCore
    AdaCore, provider of tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Airbus Military has successfully certified the Airbus Military Aerial Refueling Boom System (ARBS) on the A330 Multi Role Tanker Transport (MRTT). The certification was simplified by the use of the qualified GNATcheck tool to verify conformance to the software coding standard required by the ARBS project. Verification of conformance was undertaken as part of the DO-178B level A Software Verification Process.
    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 Feb 1 '11

    AdaCore Releases New GNATemulator Tool

    Posted by AdaCore
    AdaCore announces the release of GNATemulator, an efficient and flexible emulator solution for testing embedded software applications. Based on the QEMU technology, a generic and open source machine emulator and virtualizer, the new GNATemulator tool allows software developers to compile code directly for their target architecture and run it on their host platform, through an approach that translates from the target object code to native instructions on the host.
    Continue Reading
  • Press Release Feb 1 '11

    AdaCore Releases New GNATcoverage Tool

    Posted by AdaCore
    Today, AdaCore announced the release of GNATcoverage, a tool that analyzes and reports program coverage. Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code — instruction and branch coverage – and Ada and C language source code – statement, decision and Modified Condition/Decision Coverage (MC/DC).
    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 Nov 5 '10

    SofCheck CTO Tucker Taft presents at SATE 2010

    Posted by SofCheck
    Most static analysis tools are operating after the fact. The SATE experience, with struggles to find all the code, recreate the compiler context, etc., illustrates how painful this can be. To achieve wide-spread usage of static analysis, it seems clear that the tools need to become more tightly integrated with the compiler. The Green Hills Double Check and the AdaCore CodePeer tools are examples of this. Ideally performing static analysis is a “one click” operation in the IDE, or just another command-line flag to the compiler and/or linker. From the user’s point of view, static analysis doesn’t want to appear as yet another tool they need to learn. It wants to appear as simply a “pickier” mode of the compiler or linker.
    Continue Reading
previous12345678910111213141516171819next
  • 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
PTC Logo 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