TMCnet News
AdaCore Introduces GNAT GPL 2015 for the Raspberry Pi 2AdaCore, the leading provider of commercial software solutions for the Ada programming language, 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, professors, students, hobbyists and others can take advantage of Ada 2012's reliability, safety and security benefits for their Raspberry Pi 2 applications. This Smart News Release features multimedia. View the full release here: http://www.businesswire.com/news/home/20150901005148/en/ "Raspberry Pi 2 Model B v1.1 top new (bg cut out)" by Multicherry. Licensed under CC BY-SA 4.0 via Commons - https://commons.wikimedia.org/wiki/File:Raspberry_Pi_2_Model_B_v1.1_top_new_(bg_cut_out).jpg#/media/File:Raspberry_Pi_2_Model_B_v1.1_top_new_(bg_cut_out).jpg (Photo: Business Wire) GNAT GPL provides a complete Ada 2012 development environment, including a comprehensive tool-chain as well as AdaCore's flagship GNAT Programming Studio (GPS) Integrated Development Environment (IDE). GNAT GPL implements the Ada 2012 language standard by default, which includes these important language features:
With the release of GNAT GPL for Bare Board ARM (News - Alert) in 2014, an implementation on the Raspberry Pi 2 running Linux on ARM was a natural follow-up. It reflects AdaCore's ongoing commitment to the Ada community to provide freely available Ada implementations for developers of nonproprietary software. Fully featured releases of this GNAT technology are also available for GNU Linux, Mac OS X, Bare Board ARM, and Windows. About Raspberry Pi 2 The Raspberry Pi 2 Model B is the second generation Raspberry Pi, released in February 2015. The 900MHz quad-core ARM Cortex-A7 CPU increases the performance almost 6 times, and the 1GB LPDDR2 SDRAM accommodates larger and faster systems. The Raspberry Pi 2 Model B retains the various interfaces of its predecessor, such as 4 USB ports, 40 GPIO pins, a full HDMI port, and an Ethernet port. With its low cost / high performance advantages, the Raspberry Pi 2 is an attractive choice in many kinds of systems including Internet of Things (IoT) applications. About AdaCore [JA1] Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company's offerings:
Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, rail systems, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.
View source version on businesswire.com: http://www.businesswire.com/news/home/20150901005148/en/ |