• 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 Sep 17 '09

    New Release of GNATbench for Wind River Workbench

    Posted by AdaCore

    New Release of GNATbench for Wind River Workbench Extends AdaCore’s Eclipse Technology – Ada plug-in supports latest Wind River Workbench version

    NEW YORK, PARIS and FRAMINGHAM, Mass., September 17, 2009 – Wind River Aerospace and Defense Regional Conference – AdaCore, a leading supplier of Ada development tools and support services, today announced a new release of its Ada Integrated Development Environment (IDE) plug-in, GNATbench 2.3.1.

    Continue Reading
  • Press Release Sep 7 '09

    General Dynamics UK selects SPARK language for major new Royal Navy helicopter project

    Posted by Altran

    SPARK used to develop safety-critical system for AgustaWestland AW159 Lynx Wildcat.

    Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s new AgustaWestland AW159 Lynx Wildcat helicopter.

    Continue Reading
  • Press Release Jun 1 '09

    Thales Aerospace Division Selects GNAT Pro for Airbus A350 XWB (Xtra Wide-Body)

    Posted by AdaCore
    AdaCore, a leading supplier of Ada development tools and support services, today announced that international electronics and systems group Thales has chosen the GNAT Pro technology, including several safety-qualified tools, to develop critical systems for the new Airbus A350 XWB (Xtra Wide-Body) family.
    Continue Reading
  • Press Release Jun 1 '09

    Lockheed Martin Selects GNAT Pro for C-130J Software

    Posted by AdaCore

    AdaCore’s Ada development environment chosen for Block 7.0 Upgrade

    SAN DIEGO, NEW YORK and PARIS, June 1, 2009 – Avionics USA – AdaCore, a leading supplier of Ada development tools and support services, today announced that Lockheed Martin Aeronautics, Marietta, Georgia, will be using GNAT Pro to develop the Flight Management System Interface Manager and Radio Control software on the C-130J Super Hercules aircraft.

    Continue Reading
  • Press Release Jun 1 '09

    AdaCore Expands GNAT Pro Offerings to All Current VxWorks Platforms

    Posted by AdaCore

    GNAT Pro now available for Wind River’s VxWorks 653, VxWorks MILS, VxWorks DO-178B, and VxWorks 6.7, including both AMP and SMP configurations.

    SAN DIEGO, NEW YORK and PARIS, June 1, 2009 – Avionics USA – AdaCore, a leading supplier of Ada development tools and support services, today announced the availability of GNAT Pro on all active versions of Wind River’s VxWorks real-time operating system.

    Continue Reading
  • Press Release May 26 '09

    Astrium in the UK Selects GNAT Pro for Environmental Satellite System

    Posted by AdaCore

    Sentinel-1 Project Using Ada for Advanced Radar System

    PARIS, NEW YORK and ISTANBUL, May 26, 2009 – DASIA 2009 – AdaCore, provider of the highest quality Ada tools and support, today announced that Astrium in the UK, a wholly owned subsidiary of EADS, dedicated to providing civil and defense space systems and services, has selected the Ada programming language and AdaCore’s GNAT Pro development environment for use on the new Sentinel-1 environmental monitoring satellite.

    Continue Reading
  • Press Release Mar 31 '09

    GNAT Pro available for 8-bit AVR Microcontroller

    Posted by AdaCore

    UK Atomic Weapons Establishment selects Ada and GNAT Pro for AVR

    SAN JOSE, Calif. and PARIS, March 31, 2009 – Embedded Systems Conference – AdaCore, provider of the highest quality Ada tools and support, today announced availability of its GNAT Pro Ada development environment for the Atmel® AVR® 8-bit microcontroller.\

    Continue Reading
  • Press Release Mar 24 '09

    Praxis and AdaCore Announce SPARK Pro

    Posted by AdaCore, Altran

    New open source tool suite improves high assurance software projects

    NEW YORK, PARIS and LONDON, March 24, 2009 – Ada UK Conference – Developers creating safety critical and high assurance systems will benefit from today’s launch of SPARK Pro. The new open source development environment has been created by Praxis, international specialist in critical systems engineering, and AdaCore, the leading provider of commercial software solutions for the Ada language.

    Continue Reading
  • Press Release Mar 11 '09

    BAE Systems UK Signs Corporate-Wide Contract with AdaCore

    Posted by AdaCore

    Leading defense and aerospace company adopts AdaCore’s GNAT Pro development environment

    AMSTERDAM and NEW YORK, March 11, 2009 – Avionics 2009 – AdaCore has announced a corporate-wide, unlimited-usage licensing agreement with BAE Systems UK, providing every BAE Systems developer in the UK with access to AdaCore’s GNAT Pro Ada development environment. This contract potentially applies to all Ada projects at BAE Systems UK facilities. Existing projects can freely migrate to GNAT Pro, and new Ada projects can select GNAT Pro, with no additional costs to BAE Systems UK.

    Continue Reading
  • Press Release Mar 11 '09

    AdaCore Launches Traceability Analysis Package for DO-178B

    Posted by AdaCore

    Provides customized source-to-object code traceability analysis

    PARIS, NEW YORK and AMSTERDAM, March 11, 2009 – Avionics 2009 – AdaCore, leading provider of Ada tools and support, today announced the availability of the GNAT Pro Traceability Analysis Package. This product and services solution comprises an Ada language feature analysis, including test cases and GNAT Pro switch recommendations, that can help developers demonstrate compliance of safety-critical software with the DO-178B avionics standard.

    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