• 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 Jun 3 '14

    Ada-Europe to feature SPARK 2014 tutorial by Altran and AdaCore

    Posted by Ada Europe, AdaCore, Altran

    Members of the SPARK team from Altran UK will be attending the Ada-Europe 2014 conference to exhibit, present information about the SPARK technology, and provide a full-day tutorial about the SPARK language. They will be featuring the recently released next generation of the SPARK toolset which includes support for the latest version of the language, SPARK 2014.

    On Friday 27th June, Altran UK will be presenting one of the tutorial sessions in collaboration with our partners, AdaCore: Introduction to Verification with SPARK 2014. This tutorial will provide a broad overview of the SPARK 2014 language as well as an introduction to one of the most novel features of the language – the dual nature of the contracts as both executable and mathematical statements and how these can be verified by testing, proof, or a combination of the two. In the afternoon, the tutorial will look at the more advanced features of the language and toolset that are essential for industrial-scale specification. The tutorial will include hands-on exercises using the SPARK toolset.

    Continue Reading
  • Press Release May 28 '14

    SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development

    Posted by AdaCore

    Australian healthcare informatics company SmartWard Pty Ltd has adopted AdaCore’s GNAT Pro Ada Development Environment and CodePeer static analysis tool to implement their patient care management system. This system needs to be highly reliable and secure from unauthorized users while providing real-time response in an easy to use format. AdaCore’s tools were determined to be the best solution for meeting these requirements.

    AdaCore has a long history of providing Ada-based software development tools for a wide range of safety-critical systems, and now provides a competitive advantage for medical applications such as SmartWard where the concept of a ‘fatal error’ may be literally true.

    Continue Reading
  • Press Release May 12 '14

    Ada 2012 Published in LNCS and as Free eBook

    Posted by Ada Europe

    BRUSSELS, BELGIUM, May 12, 2014. Ada-Europe today announced the publication in extra formats of the 2012 version of the Ada programming language standard, after its formal approval by ISO/IEC JTC 1 in December 2012.

    Since its standardization, the Ada 2012 standard has been available in HTML and Adobe Acrobat format (PDF), from the download sites [1] and [2]. More recently, the latest Ada language definition became also available as volume 8339 of Springer’s Lecture Notes in Computer Science series [3], as a companion to the Ada 2012 Rationale, published by Springer as LNCS 8338.

    Moreover, with a view to exploring new media platforms to further widen the availability of this important material, Ada-Europe has now produced a prototype eBook of the Ada 2012 Reference Manual, which can be downloaded from [1]. This eBook should be regarded as a draft concept, proposed for the scrutiny of the Ada community at large, for feedback on its perceived usefulness and suggestions for improvements. Returns on this subject should be addressed to Ada-Europe at board@ada-europe.org.

    [1] http://www.ada-europe.org/resources/online
    [2] http://www.adaic.org/ada-resources/standards/ada12
    [3] http://www.springer.com/computer/swe/book/978-3-642-45418-9
    Continue Reading
  • Article Apr 25 '14

    Ada 2012 Comes to ARM Cortex M3/M4

    Published in EmbeddedRelated.com by Michael Silva
    Michael Silva discusses using Ada 2012 on the ARM Cortex M3/M4 microcontroller.
    Continue Reading
    Tags Ada 2012Embedded/Real-time
  • Press Release Apr 1 '14

    GNAT Pro for Android Released

    Posted by AdaCore
    AdaCore today announced the release of its latest Ada cross-development environment, GNAT Pro 7.2, for ARM Cortex processors running Android. This GNAT Pro product, hosted on Windows and Linux, comprises a complete Ada toolsuite for developing and maintaining Android applications using a mixture of Ada and Java. Developers can now exploit the software engineering benefits of the Ada language, while also taking advantage of the Java libraries and services provided by the Android platform. Applications can also be written solely in Ada, or in a combination of Ada and other “native” languages. Android 2.3 and later versions are supported, on Cortex A8 and above.
    Continue Reading
  • Press Release Apr 1 '14

    GNAT Pro Safety-Critical Development Environment Released for LynxOS-178

    Posted by AdaCore
    AdaCore today announced a new target platform for the latest version of its GNAT Pro Safety-Critical Ada Development Environment. Hosted on Windows workstations, GNAT Pro Safety-Critical V7.2 is now targeted to the LynuxWorks LynxOS-178 V2.2.2 RTOS for PowerPC, and supports both ARINC-653 APEX partitions and POSIX pthreads. GNAT Pro Safety-Critical includes the standard GNAT Pro components – the GNAT Programming Studio (GPS) and GNATbench IDEs and accompanying toolset – along with specialized tools and run-time libraries oriented towards applications that have to meet demanding software safety standards, such as DO-178B or DO-178C for avionics. With GNAT Pro Safety-Critical for LynxOS-178, developers who need to deliver high-assurance applications on this LynuxWorks RTOS now have an integrated and full-functioned toolsuite that implements all versions of the Ada language, including Ada 2012, and is backed by AdaCore’s expert support.
    Continue Reading
  • Blog Mar 26 '14

    Photo of earth from Vermont Technical Co...

    by brukardt

    This photo from space is of the North coast of Western Australia looking towards Port Hedland. It was recently taken by Vermont Technical College’s CubeSat, which launched in November.

    The CubeSat is completely controlled by SPARK/Ada programs, including picture taking, storage on the SD card receiving download commands, and transmitting the photo to their ground station.

    Vermont Tech’s CubeSat is the first satellite built by a college or university in New England to get off the ground. You can find out more about the CubeSat and its construction at cubesatlab.org.

    [Photo copyright 2014 Vermont Tech CubeSat Lab.]

    Read Blog Entry
  • Article Mar 19 '14

    ARMing Ada

    Published in Electronic Design by William Wong
    William Wong discusses using Ada on a BeagleBone Black board, using an ARM Cortex-8 processor.
    Continue Reading
    Tags Ada 2012Embedded/Real-timeSafety
  • Press Release Feb 25 '14

    AdaCore Releases GNAT Pro 7.2 for ARM/Linux

    Posted by AdaCore
    This GNAT Pro ARM product provides a complete Ada development environment oriented towards embedded systems that require the flexibility and extensive services provided by Linux. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.
    Continue Reading
  • Press Release Feb 25 '14

    AdaCore releases GNATPro 7.2

    Posted by AdaCore
    AdaCore today announced the next major release of its Ada development environment, GNAT Pro 7.2. This latest GNAT Pro toolsuite incorporates more than 120 new features, many of which are based on customer suggestions. This latest GNAT Pro toolsuite includes several new tools, is available on additional platforms, implements the Ada 2012 language standard by default, and extends its coverage of ARM configurations.
    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
Altran_2019_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