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

Ada Resource Association

News and resource for the Ada programming language

  • Article Sep 13 '11

    High-integrity OOP with Ada series Part 3

    Published in EE Times Design by Ben Brosgol
    Part 3 of this three-part article explains how Ada offers to help developers meet high integrity challenges in object-oriented programming .
    Continue Reading
  • Article Sep 13 '11

    High-integrity OOP with Ada series Part 2

    Published in EE Times Design by Ben Brosgol
    Part 2 of this three-part article summarizes the main elements of Ada’s object-oriented programming model. This article is based on object orientation features found in versions of the language up to and including Ada 2005.
    Continue Reading
  • Article Sep 13 '11

    High-integrity OOP with Ada series Part 1

    Published in EE Times Design by Ben Brosgol
    Part 1 of this three-part article reviews the basics of object-oriented programming and summarizes the challenges it presents for high-integrity programming.
    Continue Reading
  • Article Sep 13 '11

    Should we put up with software that doesn’t work?

    Published in Military Embedded Systems by Robert Dewar
    We are used to software that dismally fails. What is surprising is that we accept this as reasonable. It is time to stand up and say we are not going to put up with this anymore. There is no excuse for junk software.
    Continue Reading
  • Article Sep 13 '11

    Safety in Medical Device Software: Questions and Answers

    Published in Electronic Design by Ben Brosgol and William Wong
    Software is playing an expanding role in modern medical devices, raising the question of how developers, regulators, medical professionals, and patients can be confident in the devices’ reliability, safety, and security. Software- related errors in medical equipment have caused people’s deaths in the past, so the issue is not simply theoretical.
    Continue Reading
  • Article Dec 3 '10

    Mission: Critical for nano-satellites

    Published in Aerospace Engineering and Manufacturing
    Professors and students at Vermont Technical College are using AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools to implement two NASA-sponsored programs, including a CubeSat.
    Continue Reading
    Tags Ada 2005SPARK
  • 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
  • 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
  • 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
previous12345678910next
  • 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
PTC Logo 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