• 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 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
  • Press Release Jan 6 '16

    Altran and Jaguar Land Rover partner to develop future software platform for intelligent vehicles and machines

    Posted by Altran
    Altran and Jaguar Land Rover announced a strategic collaboration to develop and market a unique and ground-breaking open software platform. This platform will revolutionize traditional Electrical and Electronic (E/E) automotive architectures by bringing together cutting-edge industrial and engineering techniques with the processes, methods and tools found in the consumer electronics industry.
    Continue Reading
  • Press Release Nov 13 '15

    OC Systems needs two full-time Ada Software Engineers

    Posted by OC Systems
    OC Systems is looking for two full-time Ada Software Engineers. The positions are in Rockville, Maryland. Visit the OCSystems jobs page for more information.
    Continue Reading
  • Press Release Sep 1 '15

    GNAT GPL now available for Raspberry PI 2

    Posted by AdaCore
    AdaCore today released a freely downloadable version of its GNAT GPL Ada cross-development environment for the Raspberry Pi 2 micro-PC running Embedded Linux. With this new cross-development environment, everyone can take advantage of Ada 2012’s reliability, safety and security benefits for their Raspberry Pi 2 applications.
    Continue Reading
  • Press Release Jul 21 '15

    GNAT Pro Available for Wind River VxWorks 7

    Posted by AdaCore
    AdaCore’s GNAT Pro is now available for Wind River VxWorks 7. AdaCore engineers worked closely with Wind River on this new product, ensuring that it would support both single- and multi-core systems, as well as other architectures. Enhancements over previous versions include a completely reengineered open source debugger protocol and more seamless integration with Wind River Workbench, and the development environment handles both all-Ada and multi-language applications.
    Continue Reading
  • Press Release Jul 3 '15

    In memoriam: Robert K. B. Dewar, Ada pioneer

    Posted by AdaCore
    Robert K. B. Dewar passed away on June 30th, 2015, succumbing to cancer. Dr. Dewar was involved in Ada from early days; he was one of the primary architects of Ada/Ed and later GNAT, he was a co-founder of AdaCore, and he remained active in language standardization activities until his death. For his many other accomplishments, see the AdaCore press release that is linked.
    Continue Reading
  • Press Release May 7 '15

    AdaCore Releases CodePeer 3.0

    Posted by AdaCore
    AdaCore today released CodePeer 3.0, a major new version of its advanced static analysis tool for the automated review and validation of Ada source code. CodePeer 3.0 includes a variety of enhancements that help developers detect potential run-time and logic errors early in the software life cycle, and its deep analysis can directly support formal certification against industry-specific safety standards.
    Continue Reading
  • Press Release Feb 24 '15

    AdaCore Launches QGen

    Posted by AdaCore
    AdaCore has released QGen, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK source code.
    Continue Reading
previous12345678910111213141516171819next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • ARG
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

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