• 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 Nov 13 '15

    OC Systems needs two full-time Ada Software Engineers

    Posted by OC Systems
    OC Systems is looking for two full-time Ada Software Engineers. The positions are in Rockville, Maryland. Visit the OCSystems jobs page for more information.
    Continue Reading
  • Article Oct 21 '15

    What’s the Difference Between Secure Comms and Secure Systems?

    Published in Electronic Design by Richard Kenner
    A discussion about securing communications and systems, including how Ada and SPARK can help.
    Continue Reading
  • Blog Sep 3 '15

    New SPARK 2014 Book Available

    by brukardt
    The all-new SPARK book by John McCormick and Peter Chapin, “Building High Integrity Applications with SPARK”, was recently published. The book will allow developers to master the basic concepts for building systems with SPARK 2014.
    Read Blog Entry
  • Press Release Sep 1 '15

    GNAT GPL now available for Raspberry PI 2

    Posted by AdaCore
    AdaCore today released a freely downloadable version of its GNAT GPL Ada cross-development environment for the Raspberry Pi 2 micro-PC running Embedded Linux. With this new cross-development environment, everyone can take advantage of Ada 2012’s reliability, safety and security benefits for their Raspberry Pi 2 applications.
    Continue Reading
  • Article Aug 20 '15

    Ada language seeing activity in universities

    Published in Military Embedded Systems by Sally Cole
    Once considered a DoD-only programming language, Ada continues to evolve and is increasingly being taught in universities around the globe for high-integrity applications that demand safety, security, and reliability. The language, around since the early 1980s, is now undergoing a revival of sorts in industry and in academia.
    Continue Reading
  • Press Release Jul 21 '15

    GNAT Pro Available for Wind River VxWorks 7

    Posted by AdaCore
    AdaCore’s GNAT Pro is now available for Wind River VxWorks 7. AdaCore engineers worked closely with Wind River on this new product, ensuring that it would support both single- and multi-core systems, as well as other architectures. Enhancements over previous versions include a completely reengineered open source debugger protocol and more seamless integration with Wind River Workbench, and the development environment handles both all-Ada and multi-language applications.
    Continue Reading
  • Article Jul 8 '15

    RIP Robert Dewar

    Published in Embedded.Com by Jack Ganssle
    Jack Ganssle uses the occasion of Robert Dewar’s passing to describe some of the benefits of using Ada over C in embedded projects.
    Continue Reading
    Tags Embedded/Real-time
  • Press Release Jul 3 '15

    In memoriam: Robert K. B. Dewar, Ada pioneer

    Posted by AdaCore
    Robert K. B. Dewar passed away on June 30th, 2015, succumbing to cancer. Dr. Dewar was involved in Ada from early days; he was one of the primary architects of Ada/Ed and later GNAT, he was a co-founder of AdaCore, and he remained active in language standardization activities until his death. For his many other accomplishments, see the AdaCore press release that is linked.
    Continue Reading
  • Press Release May 7 '15

    AdaCore Releases CodePeer 3.0

    Posted by AdaCore
    AdaCore today released CodePeer 3.0, a major new version of its advanced static analysis tool for the automated review and validation of Ada source code. CodePeer 3.0 includes a variety of enhancements that help developers detect potential run-time and logic errors early in the software life cycle, and its deep analysis can directly support formal certification against industry-specific safety standards.
    Continue Reading
  • Blog May 5 '15

    Learning websites recently added

    by brukardt

    We’ve recently added seven websites to our Learning Materials pages:

    • GetAdaNow.com – Get Ada Now provides a quick start to acquiring and installing a free Ada development system.
    • Ada.tips – Provides tips on using Ada.
    • Adaformicrocontrollers.com – A forum providing questions and answers on using Ada on microcontrollers.
    • LearnAdaNow.com – Learn Ada Now is dedicated to learning to write software in Ada.
    • Ada – A Crash Course by Peter Chapin is an (under construction) Ada 2012 tutorial with examples.
    • Ada on ARM Cortex-M – This is a tutorial dedicated to teaching how to use Ada to program an embedded system, with the specific example of the Arduino Due board.
    • AdaCore University – This site provides a series of courses on Ada and related technology.
    Read Blog Entry
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
Altran_2019_Logo 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