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

Ada Resource Association

News and resource for the Ada programming language

  • Article Nov 10 '10

    Code Analysis Discussion With LDRA

    Published in Electronic Design by Mike Hennell and William Wong
    Static and dynamic code analysis can improve application performance, safety and reliability by identifying problems early in the development cycle if the proper tools and procedures are used from the start. Dr. Mike Hennell, founder of LDRA, spoke with me about the various aspects of these types of tools.
    Continue Reading
    Tags Ada 2005SPARKStatic Analysis
  • Press Release Nov 5 '10

    SofCheck CTO Tucker Taft presents at SATE 2010

    Posted by SofCheck
    Most static analysis tools are operating after the fact. The SATE experience, with struggles to find all the code, recreate the compiler context, etc., illustrates how painful this can be. To achieve wide-spread usage of static analysis, it seems clear that the tools need to become more tightly integrated with the compiler. The Green Hills Double Check and the AdaCore CodePeer tools are examples of this. Ideally performing static analysis is a “one click” operation in the IDE, or just another command-line flag to the compiler and/or linker. From the user’s point of view, static analysis doesn’t want to appear as yet another tool they need to learn. It wants to appear as simply a “pickier” mode of the compiler or linker.
    Continue Reading
  • Press Release Oct 26 '10

    AdaCore releases GPS 5.0

    Posted by AdaCore
    GPS 5.0 Integrated Development Environment brings enhanced multi-language support, more powerful source editing, and improved ease of use
    Continue Reading
  • 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 Oct 18 '10

    Mission: Critical for nano-satellites

    Published in SAE International Aerospace Engineering & Manufacturing by Jean L. Broge
    AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools are being used at Vermont Technical College during the implementation of two NASA-sponsored programs: continued work on a CubeSat and development of an Arctic Sea Ice Buoy.
    Continue Reading
  • Press Release Oct 15 '10

    College uses AdaMagic to develop it’s CubeSat Lunar Lander/Orbiter project

    Posted by SofCheck
    In a NASA sponsered program set to launch in 2012, Vermont Technical College is contructing a CubeSat. The goal of the CubeSate Lunar Lander project is to develop a satellite to collect data from the moon and transmit the data back to Vermont.
    Continue Reading
  • Press Release Sep 28 '10

    Student Programming Contest “The Ada Way”

    Posted by Ada Europe
    Ada-Europe today announced “The Ada Way”. An annual student programming contest that aims to attract students and educators to Ada in a form that is both fun and instructive. Entries are now open for the 2010-11 competition and judging takes place in May next year.
    Continue Reading
  • Press Release Sep 21 '10

    Enhanced Solutions for Multi-Language Systems

    Posted by AdaCore
    AdaCore, a leading supplier of Ada development tools and support services, today announced a comprehensive set of tools and support services for projects where Ada is used in conjunction with other programming languages. Available with GNAT Pro 6.3, the latest release of AdaCore’s Ada Development Environment, the solutions include tools and libraries to handle the various ways in which multi-language systems are designed and constructed.
    Continue Reading
  • Press Release Sep 21 '10

    AdaCore Upgrades GNATbench for Wind River Workbench

    Posted by AdaCore
    New platforms and features benefit Ada developers on Wind River Workbench
    Continue Reading
  • 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
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC 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