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

    College uses AdaMagic to deploy it’s Alaskan Sea Ice Buoy

    Posted by SofCheck
    In a NASA sponsered program, Vermont Technical College has constructed remote sensing buoys for deployment on the Arctic sea ice north of Alaska. The buoys gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used to refine models of ice movement.
    Continue Reading
  • 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 Release Aug 25 '10

    AWS available for Wind River’s VxWorks

    Posted by AdaCore
    Ada Web Server brings web-based connectivity and control to embedded applications
    Continue Reading
  • Article Aug 24 '10

    Could Ada be the answer to our parallel programming prayers?

    Published in Soft Talk
    A thread on the SoftTalk blog discusses Ada and multicore programming along with other Ada topics in the comments section.
    Continue Reading
    Tags Multicore
  • Press Release Aug 24 '10

    Open Source SPARK Implementation of Skein Algorithm

    Posted by AdaCore, Altran
    AdaCore has released an open source reference implementation of the Skein cryptographic hashing algorithm implemented in SPARK.
    Continue Reading
  • Press Release Aug 23 '10

    Security Given Short Shrift in Automotive Software Development,
 says AdaCore

    Posted by AdaCore
    With each new model year, cars are becoming more dependent on microprocessors and complex software, challenging the auto industry to ensure that these systems are secure, safe, and reliable. According to AdaCore, this challenge is not being met: security and safety issues are not being properly considered at the start of the automotive system design cycle, but are instead being addressed as an afterthought.
    Continue Reading
  • Article Aug 17 '10

    Achieving Zero Defect Software Development

    Published in Design Talk by John Greenland
    Zero Defect Software Development (ZDSD) is a results-oriented process that emphasizes the analysis, testing and reporting of the causality of defects. This process, which has evolved from the commitment to providing “five-nines” (99.999%) reliability for mission-critical applications, supplants the traditional approach of reacting to undesirable effects and treating symptoms while attempting to manage verification processes using “trend analyses” or simply tracking the occurrences of defects.
    Continue Reading
    Tags Static Analysis
  • Press Release Jun 30 '10

    SofCheck CTO Tucker Taft presents at Ada Europe 2010

    Posted by SofCheck
    Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail: Parallel Specification and Implementation Language
    Continue Reading
  • Article Jun 6 '10

    Lunar lander project relies on SPARK programming language

    Published in EE Times by Julien Happich
    Altran Praxis announced that its SPARK language has been selected by a new, NASA-funded US lunar mission. SPARK will be used to develop the software behind a CubeSat project being developed by a consortium comprising Vermont Technical College, Norwich University, St. Michael’s College, and the University of Vermont.
    Continue Reading
    Tags SPARK
  • Press Release May 23 '10

    LDRA Integrates LDRA Tool Suite(r) with Wind River Workbench and VxWorks

    Posted by LDRA
    LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with Wind River Workbench and VxWorks to provide a single work environment for safety- and security-critical certification. Thanks to a Wind River-specific Eclipse plug-in, developers have the flexibility of directly accessing LDRA tool suite capabilities from within Workbench or controlling Workbench and the VxWorks simulator from the LDRA tool suite.
    Continue Reading
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