• 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 3 '14

    New SIGAda “Powered by Ada” posters available

    Posted by SIGAda
    SIGAda has made a new set of “Powered by Ada” posters available, featuring the Rosetta and VTC Cubesat spacecrafts. All are available as high-quality PDFs.
    Continue Reading
  • Blog Nov 12 '14

    Rosetta/Philae run on Ada

    by brukardt
    I’ve been reminded that the Philae comet probe that landed today (see http://www.cnn.com/2014/11/12/world/comet-landing-countdown/index.html), and its mothership, Rosetta, run software that was developed in Ada using the HOOD methodology. This is another great success for Ada spacecraft software. There is a bit about the software choices in the paper found at http://adsabs.harvard.edu/full/1997ESASP.409..133D.
    Read Blog Entry
  • Press Release Oct 23 '14

    AdaCore Development Environment Selected for New Spanish Satellite Project

    Posted by AdaCore
    AdaCore’s GNAT Pro cross-development environment has been selected by the Polytechnic University of Madrid (Universidad Politécnica de Madrid / UPM), for the UPMSat-2 UNION satellite project’s real-time on-board and ground control software. The 50kg micro-satellite, scheduled to be launched in Q4 2015, will provide a technology demonstration platform for the university from a sun-synchronous orbit nearly 600 km above Earth.
    Continue Reading
  • Press Release Oct 23 '14

    AdaCore’s CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, Railway

    Posted by AdaCore
    AdaCore’s CodePeer advanced static analysis tool for the automated review and validation of Ada source code has been qualified as a software verification tool for developers in both avionics and railway industries.
    Continue Reading
  • Article Sep 22 '14

    Ada – 7 Segments and Catching Errors

    Published in EmbeddedRelated.com by Michael Silva
    Michael Silva shows how Ada can be used to program a 7-segment display on a microcontroller, and how Ada detected a bug in his program that would have gone undetected in some other commonly used languages.
    Continue Reading
    Tags Ada 2012Embedded/Real-time
  • Article Sep 19 '14

    ARMed and Ready

    Published in Electronic Design by Jerry Petrey
    The author discusses using Ada on a small microcontroller board, the STmicroelectronics STM32F407 Discovery board.
    Continue Reading
    Tags Ada 2012Embedded/Real-time
  • Article Aug 4 '14

    Ada 2012 for ARM M3/M4 Released for Download

    Published in EmbeddedRelated.com by Michael Silva
    Micheal Silva discusses using a newly released GNAT system to program an STM32F4 Discovery board.
    Continue Reading
    Tags Ada 2012Embedded/Real-time
  • Press Release Jul 24 '14

    GNAT GPL now available for Bare Board ARM

    Posted by AdaCore

    AdaCore has released a freely downloadable version of its GNAT GPL Ada cross-development environment for Bare Board ARM Cortex processors. Developers of non-proprietary software can now exploit Ada 2012’s reliability, safety and security benefits for ARM applications.

    GNAT GPL for Bare Board ARM Cortex processors provides a complete Ada 2012 development environment, including a comprehensive tool-chain and GPS, AdaCore’s flagship Integrated Development Environment (IDE). It also includes a fully configurable/customizable run-time library consisting of the “Small Footprint” (SFP) and Ravenscar profiles that are particularly relevant to safety-critical systems. The SFP profile corresponds to a language subset with minimal GNAT run-time routines, and the Ravenscar profile is a subset of the Ada concurrency features with an efficient, predictable, small-footprint implementation. The resulting Ada subset has expressive power well beyond that of other languages used for ARM-based devices.

    Continue Reading
  • Article Jul 7 '14

    Running Ada 2012 On The Cortex-M4

    Published in Electronic Design by William Wong
    The author discusses using Ada on bare ARM microcontroller boards.
    Continue Reading
    Tags Ada 2012Embedded/Real-time
  • Blog Jun 20 '14

    “Programming in Ada 2012″ is...

    by brukardt
    “Programming in Ada 2012″ by John Barnes is now available. This is the first book that we’re aware of that specifically covers Ada 2012. “Programming in Ada 2012″ is an update of John’s previous book, “Programming in Ada 2005″, which was an update of “Programming in Ada 95″, which was an update of “Programming in Ada”. What we can tell from this (besides the fact that John has been involved in Ada since the beginning) is that this is a useful and widely used book (of ever expanding size!) that has withstood the test of time. We expect that this new edition will be the same.

    The book can be ordered at Amazon and presumably other booksellers. It also can be ordered directly from the publisher.

    Read Blog Entry
previous1234567891011121314151617181920212223242526272829303132next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
Altran_2019_Logo View All Sponsors

Upcoming Events

  • HILT 2020 Workshop on Safe Languages and Technologies for Structured and Efficient Parallel and Distributed/Cloud Computing.
    Nov 15-20, 2020 Virtual (was Chicago IL)

View All Events

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-2020 Ada Resource Association Site Map | Contact Us