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

Ada Resource Association

News and resource for the Ada programming language

  • 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 Sep 1 '10

    DO-178C nears finish line, with credit for modern tools and technologies

    Published in Avionics Intelligence by Charlotte Adams
    After five years, RTCA and EUROCAE, the U.S. and European avionics standards organizations, are nearing the finish line in updating DO-178B, the bible for developers of safety-critical software. A cast of 1,000-plus people have observed or participated in the process and about 100 people show up at every meeting, according to one member of RTCA Special Committee 205 (SC-205). The industry expects the final package — DO-178C — to be released in the first quarter of 2011 and be mandated six to nine months after ratification.
    Continue Reading
    Tags Ada 2005Ada 95DO-178CSafety
  • Article Apr 6 '10

    How to use new unit testing tools & techniques to improve software quality

    Published in EE Times by Mark Pitchford
    Unit Test has been around almost as long as software development itself. It just makes sense to take each application building block, build it in isolation, and execute it with test data to make sure that it does just what it should do without any confusing input from the remainder of the application. In the past, the sting came from not being able to simply lift a software unit from its development environment, compile and run it let alone supply it with test data.
    Continue Reading
    Tags SafetySecurity
  • Article Sep 23 '09

    LDRA offers security-critical software solution

    Published in Electronics Talk
    LDRA has released a security-critical development and certification solution to ensure the company’s tool suite meets the growing demand for security-critical software.
    Continue Reading
    Tags SafetySecurity
  • Article Apr 11 '08

    The return of Ada

    Published in Government Computer News by Joab Jackson
    Joab Jackson takes a look at the history of the Ada programming language, it’s traditional markets, and gives a real picture of Ada’s place in today’s software development world.
    Continue Reading
    Tags Ada 2005Ada 2012Embedded/Real-timeSafety
  • Article Feb 7 '08

    Use Ada For Better Safety, Security, And Reliability

    Published in Electronic Design by Robert Dewar
    The choice of programming languages is one of the most critical decisions in any programming project. And there’s no shortage of choices. In the 60-year history of computer programming, hundreds of different languages have been designed and used for various purposes.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95SafetySecurity
  • 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

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

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