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

    Ada-Europe to feature SPARK 2014 tutorial by Altran and AdaCore

    Posted by Ada Europe, AdaCore, Altran

    Members of the SPARK team from Altran UK will be attending the Ada-Europe 2014 conference to exhibit, present information about the SPARK technology, and provide a full-day tutorial about the SPARK language. They will be featuring the recently released next generation of the SPARK toolset which includes support for the latest version of the language, SPARK 2014.

    On Friday 27th June, Altran UK will be presenting one of the tutorial sessions in collaboration with our partners, AdaCore: Introduction to Verification with SPARK 2014. This tutorial will provide a broad overview of the SPARK 2014 language as well as an introduction to one of the most novel features of the language – the dual nature of the contracts as both executable and mathematical statements and how these can be verified by testing, proof, or a combination of the two. In the afternoon, the tutorial will look at the more advanced features of the language and toolset that are essential for industrial-scale specification. The tutorial will include hands-on exercises using the SPARK toolset.

    Continue Reading
  • Press Release May 28 '14

    SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development

    Posted by AdaCore

    Australian healthcare informatics company SmartWard Pty Ltd has adopted AdaCore’s GNAT Pro Ada Development Environment and CodePeer static analysis tool to implement their patient care management system. This system needs to be highly reliable and secure from unauthorized users while providing real-time response in an easy to use format. AdaCore’s tools were determined to be the best solution for meeting these requirements.

    AdaCore has a long history of providing Ada-based software development tools for a wide range of safety-critical systems, and now provides a competitive advantage for medical applications such as SmartWard where the concept of a ‘fatal error’ may be literally true.

    Continue Reading
  • Press Release May 12 '14

    Ada 2012 Published in LNCS and as Free eBook

    Posted by Ada Europe

    BRUSSELS, BELGIUM, May 12, 2014. Ada-Europe today announced the publication in extra formats of the 2012 version of the Ada programming language standard, after its formal approval by ISO/IEC JTC 1 in December 2012.

    Since its standardization, the Ada 2012 standard has been available in HTML and Adobe Acrobat format (PDF), from the download sites [1] and [2]. More recently, the latest Ada language definition became also available as volume 8339 of Springer’s Lecture Notes in Computer Science series [3], as a companion to the Ada 2012 Rationale, published by Springer as LNCS 8338.

    Moreover, with a view to exploring new media platforms to further widen the availability of this important material, Ada-Europe has now produced a prototype eBook of the Ada 2012 Reference Manual, which can be downloaded from [1]. This eBook should be regarded as a draft concept, proposed for the scrutiny of the Ada community at large, for feedback on its perceived usefulness and suggestions for improvements. Returns on this subject should be addressed to Ada-Europe at board@ada-europe.org.

    [1] http://www.ada-europe.org/resources/online
    [2] http://www.adaic.org/ada-resources/standards/ada12
    [3] http://www.springer.com/computer/swe/book/978-3-642-45418-9
    Continue Reading
  • 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
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
AdaCore View All Sponsors

Upcoming Events

  • Ada-Europe 2021
    Jun 7-11, 2021 Virtual (was Santander Spain)

View All Events




AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada constructs not found in C/C++
  • Ada Overview
  • Comparing “Strong Typing” in Ada, C, and C++
  • Runtime overhead of Ada programs
  • Where did those Ada OOP features come from?
  • 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