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

Ada Resource Association

News and resource for the Ada programming language

  • Article Jan 25 '13

    Ada 2012: The Joy of Contracts

    Published in Electronic Design by Ben Brosgol
    A brief discussion of the new features in Ada 2012, with an emphasis on the contract features.
    Continue Reading
    Tags Ada 2012contract-based programmingDO-178C
  • Article Oct 21 '10

    DO-178C will boost safety-critical software

    Published in Military & Aerospace Electronics by Charlotte Adams
    Software engineers who specialize in mission-critical applications are gearing up for the release of an update to DO-178B safety-critical software certification standard in the form of DO-178C, which accommodates modern software engineering technologies such as formal methods and object-oriented programming.
    Continue Reading
    Tags DO-178C
  • Article Sep 9 '10

    DO-178C: Improved certification for cost-effective avionics systems

    Published in VME Critical Systems by Bill StClair and Nat Hillary
    With the geometric growth in software size and complexity, avionics manufacturers are losing control of project schedules and budgets. Consequently, the Radio Technical Commission for Aeronautics (RTCA) hopes to address software development challenges through DO-178C – a new standard that embraces contemporary technologies and methodologies necessary to achieve these aims.
    Continue Reading
    Tags DO-178C
  • 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
  • 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
Altran_2019_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