• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • 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
  • 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
  • Article Apr 25 '14

    Ada 2012 Comes to ARM Cortex M3/M4

    Published in EmbeddedRelated.com by Michael Silva
    Michael Silva discusses using Ada 2012 on the ARM Cortex M3/M4 microcontroller.
    Continue Reading
    Tags Ada 2012Embedded/Real-time
  • Article Mar 19 '14

    ARMing Ada

    Published in Electronic Design by William Wong
    William Wong discusses using Ada on a BeagleBone Black board, using an ARM Cortex-8 processor.
    Continue Reading
    Tags Ada 2012Embedded/Real-timeSafety
  • Article Aug 4 '13

    SPARK 2014: Why I am backing a predictable winner

    Published in Emebedded.com by Stuart Matthews
    Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.
    Continue Reading
    Tags Ada 2012SafetySecuritySPARKStatic Analysis
  • Article Jun 3 '13

    Developing Secure Code Using SPARK

    Published in Embedded.com by Ben Brosgol
    This two-part article discusses the benefits of developing code with automated static analysis, and then shows examples of doing so, using SPARK.
    Continue Reading
    Tags Formal VerificationSPARKStatic Analysis
  • Article Apr 9 '13

    Ada 2012: Ada With Contracts

    Published in Dr. Dobbs by Robert Dewar
    This article is a tour of the new contract features in Ada 2012.
    Continue Reading
    Tags Ada 2012contract-based programming
  • Article Apr 9 '13

    A new Embedded Ada book

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle describes and discusses the McCormick, Singhoff, and Hugues book on embedded programming in Ada, suggesting that embedded programmers should read it, regardless of which language they currently use. (He calls it “new”, but it’s been around a while, having an April 2011 publication date and it’s been posted here for a while.)
    Continue Reading
    Tags Ada 2005Embedded/Real-time
  • Article Feb 19 '13

    Comprehensive Bibliography of Ada Language Publications

    Published by Nelson H. F. Beebe
    Nelson H. F. Beebe at the University of Utah has used tools to search the collected bibliographies of over 784,000 publications to create a bibliography of publications on the Ada Programming Language, Charles Babbage, and Ada Lovelace. This bibliography is updated frequently, and contains (as of this writing) over 1500 entries. Additional versions and more information can be found at http://www.math.utah.edu/pub/tex/bib/index-table-a.html#adabooks; the tools used can be found at http://www.math.utah.edu/pub/bibtools.html. The bibliography doesn’t include articles in the Ada User Journal or SIGAda’s Ada Letters, these have their own bibliographies, http://ftp.math.utah.edu/pub//tex/bib/adauserj.pdf and http://ftp.math.utah.edu/pub//tex/bib/sigada.pdf, respectively.
    Download PDF
    Tags Ada 2005Ada 2012Ada 95Ada LovelaceCharles Babbage
previous123456789next
  • Press
  • Articles
  • Events
Filter by Tags
  • Ada 2005
  • Ada 2012
  • Ada 95
  • Ada Lovelace
  • Charles Babbage
  • contract-based programming
  • DO-178C
  • Embedded/Real-time
  • Formal Methods
  • Formal Verification
  • Multicore
  • Safety
  • Security
  • software design
  • SPARK
  • Static Analysis

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