• 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 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
  • Blog Jan 21 '11

    SPARK Ada in High SIL Active Life Suppor...

    by AdaCore
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Deas from Deep Life talks about developing software for deep water rebreathers which must meet the rigorous European safety standard SIL3.
    Read Blog Entry
  • Blog Jan 21 '11

    Autocoding – Do we still need soft...

    by AdaCore
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Rod White from MBDA talks about Autocoding and raises the question: Do we still need software design?
    Read Blog Entry
  • Blog Jan 10 '11

    Designing a High Assurance Workstation (...

    by jayre
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Senier from secunet talks about their experiences building High Assurance workstations.
    Read Blog Entry
  • Article Dec 3 '10

    Mission: Critical for nano-satellites

    Published in Aerospace Engineering and Manufacturing
    Professors and students at Vermont Technical College are using AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools to implement two NASA-sponsored programs, including a CubeSat.
    Continue Reading
    Tags Ada 2005SPARK
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2021
    Jun 7-11, 2021 Virtual (was Santander Spain)

View All Events




AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada constructs not found in C/C++
  • Ada Overview
  • Comparing “Strong Typing” in Ada, C, and C++
  • Runtime overhead of Ada programs
  • Where did those Ada OOP features come from?
  • 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-2021 Ada Resource Association Site Map | Contact Us