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

Ada Resource Association

News and resource for the Ada programming language

  • 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 95Safety
  • 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 '07

    Use Ada For Better Safety, Security, And Reliability

    Published in Electronic Design by Ben Brosgol and 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
  • Embedded/Real-time
  • Formal Methods
  • Formal Verification
  • Multicore
  • Safety
  • Security
  • SPARK
  • Static Analysis

ARA Sponsor Spotlight
ldra View All Sponsors

Upcoming Events

  • 17th International Conference on Reliable Software Technologies – Ada-Europe 2012
    Jun 11-15, 2012 Stockholm, Sweden

View All Events



adacore_medium praxis_medium ellidiss ldra sofchek_medium

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

Copyright © 2009-2012 Ada Resource Association Site Map | Contact Us