• 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 May 2 '11

    NIST Report Shows SPARK Most Suitable Language for Secure Programming

    Posted by AdaCore, Altran
    The SPARK language shown to have fewest vulnerabilities.
    Continue Reading
  • Press Release May 2 '11

    Thales Selects AdaCore Toolset for Argos Satellite Project

    Posted by AdaCore
    GNAT Pro to be used on high-assurance software for global location and data collection system.
    Continue Reading
  • Press Release May 2 '11

    Rockwell Collins Selects GNAT Pro for Advanced Avionics Display System

    Posted by AdaCore
    GNAT Pro High-Integrity Edition for DO-178B used for EFIS/EICAS upgrade and modernization
    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 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 Oct 26 '10

    AdaCore releases GPS 5.0

    Posted by AdaCore
    GPS 5.0 Integrated Development Environment brings enhanced multi-language support, more powerful source editing, and improved ease of use
    Continue Reading
  • Press Release Sep 21 '10

    Enhanced Solutions for Multi-Language Systems

    Posted by AdaCore
    AdaCore, a leading supplier of Ada development tools and support services, today announced a comprehensive set of tools and support services for projects where Ada is used in conjunction with other programming languages. Available with GNAT Pro 6.3, the latest release of AdaCore’s Ada Development Environment, the solutions include tools and libraries to handle the various ways in which multi-language systems are designed and constructed.
    Continue Reading
  • Press Release Sep 21 '10

    AdaCore Upgrades GNATbench for Wind River Workbench

    Posted by AdaCore
    New platforms and features benefit Ada developers on Wind River Workbench
    Continue Reading
previous1234567891011121314next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
PTC Logo View All Sponsors


AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada Overview
  • 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