• 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 24 '18

    PTC ApexAda® v5.2 Embedded for ApexAda Exec/Intel64 is shipping

    Posted by PTC
    The PTC ApexAda v5.2 development system for Linux host-based development targeting Intel x86_64 processors running the ApexAda Exec bare-board runtime is now shipping. Included with the 64-bit embedded compiler is the PTC® ApexAda v5.2 64-bit compiler for Linux native application development. Also included is the integrated ApexAda 64-bit C/C++ compiler which facilitates seamless development of mixed-language applications written in Ada, C, and C++. ApexAda V5.2 Embedded compilers provide a complete cross-development toolchain hosted from Linux distributions including RedHat Enterprise Edition, CentOS, and SUSE.
    Continue Reading
  • Press Release May 23 '18

    University of Colorado adopts Ada for NASA Project

    Posted by AdaCore
    The University of Colorado’s Laboratory for Atmospheric and Space Physics (LASP) has selected the Ada language and AdaCore’s GNAT Pro for the ARM Cortex product for NASA’s Climate Absolute Radiance and Refractivity Observatory (CLARREO) Pathfinder mission. CLARREO Pathfinder will deploy a Reflected Solar spectrometer on the International Space Station (ISS) starting in 2021 that will detect the complete spectrum of radiation from the Sun reflected by Earth.
    Continue Reading
  • Press Release May 15 '18

    GNAT Pro now available for Blackberry QNX

    Posted by AdaCore
    AdaCore has partnered with Blackberry to make GNAT Pro available for the Blackberry QNX operating system.
    Continue Reading
  • Press Release Feb 27 '18

    AdaCore tools used in Artifical Heart

    Posted by AdaCore
    Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial Heart. Scandinavian Real Heart’s Total Artificial Heart mimics the way that the natural heart functions to save patients with heart failure, and give them a better quality of life than the alternatives that are available today. Scandinavian Real Heart is using a suite of AdaCore tools, include the GNAT Pro Ada development environment.
    Continue Reading
  • Press Release Feb 1 '18

    AdaCore Releases Version 18.1 Products

    Posted by AdaCore
    AdaCore has released new versions of all of their products, include GNAT Pro, SPARK Pro, and CodePeer.
    Continue Reading
  • Press Release Jan 16 '18

    DENSO Using SPARK Technology for Automotive Research Project

    Posted by AdaCore
    AdaCore publisizes the successful completion of a research project for DENSO, Application of Formal Methods to Help Achieve Freedom from Interference. This project, conducted jointly with the University of Nagasaki, had the goal of simplifying the development of safety-critical automotive applications in an ISO 26262 context.
    Continue Reading
  • Press Release Nov 16 '17

    AdaCore Launches New GNAT Pro Product Lines

    Posted by AdaCore
    In response to evolving requirements from existing customers and increasing interest in Ada from traditionally C-based application domains, AdaCore has launched three product lines for its GNAT Pro technology:
    • GNAT Pro Enterprise, a full-featured environment supporting industrial-grade development of mission-critical software;
    • GNAT Pro Assurance, an extension of GNAT Pro Enterprise oriented towards users with software certification requirements or the need for a stable development platform that is maintained (with repairs to critical issues) over the entire duration of a long-lived project; and
    • GNAT Pro Developer, geared towards new users of Ada who want to take advantage of the language’s software engineering support and early error detection.
    Continue Reading
  • Press Release Nov 16 '17

    MDA Selects AdaCore’s GNAT Pro Assurance Development Platform for International Space Station Software

    Posted by AdaCore
    MDA, a business unit of Maxar Technologies, has selected the GNAT Pro Assurance Ada development environment for the LEON3 target processor, to produce the software for a Ku-Band communication subsystem that will replace the current version. This critical International Space Station (ISS) subsystem has to work reliably over the long term, a requirement that led MDA to maintain Ada as the implementation language.
    Continue Reading
  • Press Release Nov 13 '17

    Thales Using AdaCore’s GNAT Pro for Critical Avionics Software

    Posted by AdaCore
    AdaCore today announced that its GNAT Pro Ada environment has been successfully used by Thales to develop and verify a qualified autocode generator for critical airborne software. Thales implemented the autocode generator in Ada; the tool takes an XML file and produces source code for an embedded avionics system that will be assessed against the Level B objectives in DO-178C / ED-12C.
    Continue Reading
  • Press Release Oct 25 '17

    “Make it with Ada” competition winners announced

    Posted by AdaCore

    AdaCore today announced the winners of its second annual Make with Ada programming competition for embedded projects. Make with Ada aims to show how the Ada and SPARK language technologies can significantly improve code quality for modern embedded systems without requiring a steep learning curve for developers unfamiliar with these languages. Prizes are awarded to the projects that best meet the overall criteria of software dependability, openness, collaborativeness and inventiveness.

    Read the linked press release for the details.

    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
Altran_2019_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