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

Ada Resource Association

News and resource for the Ada programming language

  • 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
  • Blog Apr 22 '15

    New home page launched

    by brukardt

    We’ve update our home page to better reflect our mission. Our old home page over-emphasized Ada news and said nothing about the many resources that we have for users of the Ada programming language (including existing, new, and potential users). The highlighted resources will be changed periodically to show different facets of our site.

    The new home page has a simplified version of the Ada news feed on the left side. If, however, you prefer the old, more detailed news feed, it can be found on the news page.

    As always, free free to send us feedback on the new home page or anything else via our contact page.

    Read Blog Entry
  • Press Release Feb 24 '15

    AdaCore Launches QGen

    Posted by AdaCore
    AdaCore has released QGen, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK source code.
    Continue Reading
  • Press Release Feb 24 '15

    AdaCore Releases GNAT Pro 7.3

    Posted by AdaCore
    AdaCore has released GNAT Pro 7.3, the latest version of the company’s flagship Ada Development Environment. GNAT Pro 7.3 incorporates performance improvements, new functionality, and many other enhancements.
    Continue Reading
  • Press Release Jan 13 '15

    Muen Separation Kernel Upgrades to SPARK 2014 for Formal Verification

    Posted by AdaCore
    The Muen Kernel enforces a strict and robust isolation of components to shield security-critical functions from vulnerable software running on the same physical system. To achieve the necessary level of trustworthiness, the Muen team used the SPARK language and toolset to formally prove the absence of run-time errors. The most recent version of the Kernel upgrades the software to use the SPARK 2014 language, which allows the team to use more of the Ada language and provide the annotations in a more readable form.
    Continue Reading
  • Press Release Jan 9 '15

    AdaCore launches blog

    Posted by AdaCore
    AdaCore has launched a blog to provide an insight into the AdaCore ecosystem. The blog will cover both technical and less-technical topics (such as the business of Open Source software). The blog can be found at blog.adacore.com.
    Continue Reading
  • Press Release Dec 4 '14

    AdaCore Launches GNATdashboard

    Posted by AdaCore
    AdaCore today announced the preview release of GNATdashboard, a new tool that serves as a control panel for monitoring and improving the quality of Ada software. GNATdashboard feeds code quality information from AdaCore’s tools to the open source SonarQube code quality management platform and Squoring Technologies’ SQUORE quality and performance decision support solution.

    “For the first time, a tool focused on software quality assessment and management is available for Ada developers. It’s designed to help users understand their technical debt – which is essentially the price one pays for choices such as design decisions that make it difficult to implement changes later.”

    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC Logo 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