• 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 Dec 4 '20

    Consafe Logistics Selects GNAT Pro for Critical Warehouse System

    Posted by AdaCore
    Consafe Logistics, the leading European supplier of warehouse management solutions, has deployed AdaCore’s GNAT Pro Ada development environment to implement mission-critical firmware within its innovative Warehouse Control Systems (WCS). The selection of GNAT Pro Ada enables Consafe Logistics to meet stringent assurance requirements, helping ensure that its systems operate reliably, safely and securely at its customers’ large and complex warehouse sites. Consafe Logistics solutions keep more than 500 warehouses in 30 countries running, delivering goods to millions of customers.
    Continue Reading
  • Press Release Nov 24 '20

    GNAT Pro for the Wind River Helix Virtualization Platform

    Posted by AdaCore
    AdaCore today launched a new edition of its premier GNAT Pro Ada development toolsuite in support of the Wind River® Helix™ Virtualization Platform. GNAT Pro Ada enhances Helix Platform’s ability to consolidate mixed-criticality aerospace, defense and automotive applications onto a scalable, agile and certifiable platform.
    Continue Reading
  • Press Release Nov 2 '20

    Hitachi Rail STS France Chooses AdaCore for its New Rail Platform

    Posted by AdaCore
    Hitachi Rail STS (Signalling and Transportation Systems) France has selected an Ada runtime and a compiler targeting ARM processors from AdaCore for its CSD (Calculator of Available Safety) rail safety platform. Hitachi Rail STS specializes in the design of systems ensuring the safe circulation of trains on railway lines and metro networks.
    Continue Reading
  • Press Release Sep 7 '20

    European Aerospace Company Chooses GNAT Pro Ada

    Posted by AdaCore
    Airbus Helicopters (France) has selected the GNAT Pro tool suite and the Ada programming language to develop new software components for the VSR700 prototype project. VSR700 is Airbus Helicopters’ tactical unmanned aerial system (UAS) designed to meet the demanding requirements of global navies and armies in the 21st century.
    Continue Reading
  • Press Release Aug 8 '20

    PTC ObjectAda 10.2 fully supports Ada 2012

    Posted by PTC
    PTC has released of version 10.2 of its popular PTC® ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release provides complete support for Ada 2012 language features. ObjectAda for Windows and ObjectAda64 for Windows support development of native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 / 2019 development tools and libraries from the Windows 10 Software Development Kit (SDK).
    Continue Reading
  • Press Release Jul 24 '20

    5th Annual Make It With Ada Competition

    Posted by AdaCore
    The 5th Annual Make It With Ada competition will run from July 31st, 2020 to January 31st, 2021. There will be $9000 in prizes.
    Continue Reading
  • Press Release Jun 23 '20

    Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software

    Posted by AdaCore
    AdaCore today announced that JTEKT, an international automotive electric power steering system manufacturing company headquartered in Japan, has adopted AdaCore’s SPARK Pro toolsuite and the GNAT Pro Common Code Generator (CCG) to aid in the development of safety-critical power steering system software.
    Continue Reading
  • Press Release May 26 '20

    PTC releases 64-bit ARM ApexAda target

    Posted by PTC
    PTC has released a new Linux/Intel64-hosted embedded Ada compiler targeting Linux on Armv8 64-bit (aarch64) processors. PTC ApexAda V5.2 Embedded for Linux/Intel64 to Linux/Arm 64-bit is the initial product offering based on a new 64-bit code generator for ApexAda for the Armv8 64-bit (aarch64) architecture. It is hosted on Intel x64 Red Hat Enterprise Linux v7.x/v8.x or the CentOS equivalent distribution.
    Continue Reading
  • Press Release Mar 3 '20

    Winners for 4th Make it With Ada contest announced

    Posted by AdaCore
    The winning entries for the 4th annual Make It With Ada contest have been announced. The winner is John Singleton for his SmartBase IoT Adjustable Bed.
    Continue Reading
  • Press Release Feb 18 '20

    Ada Toolchain Now Qualified for ISO 26262 and IEC 61508

    Posted by AdaCore
    AdaCore announced that three of its signature software development/verification tools for Ada, SPARK and C have been qualified under the ISO 26262 and IEC 61508 functional safety standards. The tools are GNAT Pro, SPARK Pro, and CCG.
    Continue Reading
previous123456789101112131415161718next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
AdaCore 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