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

Ada Resource Association

News and resource for the Ada programming language

  • Article Mar 24 '16

    11 Myths about Ada

    Published in Electronic Design by Ben Brosgol
    Ben debunks 11 myths about the Ada Programming Language, starting with “Ada is dead”.
    Continue Reading
  • Press Release Feb 24 '16

    Ada 2012 Language Standard Corrigendum Approved by ISO

    Posted by Ada Europe, ARA

    The Ada Resource Association (ARA) and Ada-Europe today announced that an update to the Ada 2012 language standard, formally known as Technical Corrigendum 1 to ISO/IEC 8652:2012, has been approved and officially published by the Geneva-based International Organization for Standardization (ISO). Comprising a variety of clarifications and minor corrections driven by implementation and user experience, the Corrigendum was developed under the auspices of Working Group ISO/IEC JTC1/SC22/WG9, in particular by WG9’s Ada Rapporteur Group (ARG), and was issued on February 1, 2016.

    The full press release can be found on our site, or on BusinessWire.

    Continue Reading
  • Press Release Feb 24 '16

    AdaCore releases GNATPro 7.4

    Posted by AdaCore
    AdaCore has released a new version of its flagship GNAT Pro Ada Development Environment. GNAT Pro 7.4 incorporates new functionality, a number of performance improvements, additional platform support including several new embedded targets, and many other enhancements.
    Continue Reading
  • Press Release Feb 24 '16

    AdaCore releases QGen 2.1

    Posted by AdaCore
    AdaCore has released a new version of its model-based development and verification toolset, QGen. QGen provides a qualifiable and customizable code generator from Simulink® and Stateflow® models to the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen 2.1 supports essentially all constructs used for modeling safety-critical control systems.
    Continue Reading
  • Article Feb 5 '16

    AdaPilot “Sparks” Autopilot Project

    Published in Electronic Design by William Wong
    Bill Wong describes AdaPilot, a new open-source project to develop a safety-critical flight-controller system based on Ada-SPARK.
    Continue Reading
  • Article Feb 5 '16

    Comparing Ada and C

    Published in Electronic Design by Ben Brosgol
    Ben Brosgol compares and contrasts Ada and C, and suggests when you should use each.
    Continue Reading
  • Blog Jan 29 '16

    Technical Corrigendum for Ada 2012 publi...

    by brukardt
    The first update to Ada 2012, a Technical Corrigendum, has completed the standardization process and has been published by ISO. The new document, ISO/IEC 8652:2012/Cor 1:2016, consists of corrections to the Ada 2012 Standard. Some of the corrections include minor new features, such as raise expressions, and aspects Predicate_Failure and Exclusive_Functions. Since the Corrigendum is purely a correction document, its publication does not create a new Ada version; Ada 2012 is modified to include these changes.
    Read Blog Entry
  • Press Release Jan 28 '16

    AdaCore Releases SPARK Pro 16

    Posted by AdaCore
    AdaCore today announced the latest release of its SPARK Pro integrated development and verification environment, bringing a sound and mathematics-based static analysis technology to the challenges of software verification for high-assurance systems. SPARK Pro 16 provides enhanced coverage of SPARK 2014 language features and now supports the Ravenscar tasking profile, thus extending the benefits of formal verification methods to a safe subset of Ada 2012 concurrent programming features. As another improvement SPARK Pro 16 can generate counterexamples to verification conditions that cannot be proved, thus making it easier for developers to find defects in the functional code or in the supplied contracts. SPARK Pro 16 also improves the handling of bitwise (modular) operations, and the product’s proof engine now includes the Z3 SMT solver.
    Continue Reading
  • Press Release Jan 28 '16

    French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology

    Posted by AdaCore
    The Direction Générale de l’Armement (DGA) – the French government agency that oversees military procurements – has selected AdaCore and SQUORING Technologies to provide a graphical tool, AdaSquore, for military and civil avionics software audits. Featuring a smart dashboard that monitors the quality metrics of critical components, AdaSquore will facilitate the analysis of existing and new code in Ada and SPARK.
    Continue Reading
  • Press Release Jan 28 '16

    AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification

    Posted by AdaCore
    AdaCore’ss CodePeer static analysis tool has been adopted by Atlantic Inertial Systems Limited for usage on its digital terrain system for military transport aircraft. CodePeer CodePeer will automate parts of the DO 178B verification process of the terrain referenced navigation software.
    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC 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