• 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 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
  • 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 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 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
  • Article Feb 19 '13

    Is Ada ready for mainstream embedded designs?

    Published in Embedded.com by Bernard Cole
    Embedded.com denoted one of their weekly Tech Focus issues to Ada. This is the overview article, full of links to other Ada articles (most of which have been previously featured here).
    Continue Reading
    Tags Ada 2012Embedded/Real-time
previous1234next
  • 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
View All Sponsors

Upcoming Events

  • HILT 2022 – Supporting a Rigorous Approach to Software Development
    Oct 14, 2022 Ann Arbor, Michigan

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