Are you looking for a reliable and safe open source software development environment for your Raspberry Pi, now you can try the trusted AdaCore' freely downloadable version of its GNAT GPL Ada cross-development environment for the Raspberry Pi 2 micro-PC running Embedded Linux.
Below is some of the information on this subject provided by AdaCore in its release:
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:
Contract-based programming (preconditions, post-conditions, and type invariants) including support for the Liskov Substitution Principle in Object-Oriented Programming
More general expressions (conditional expressions, quantified expressions, expression functions)
Enhanced multiprocessor support (multiprocessor affinity and barriers)
Enhanced integration of concurrency and OOP
Additional language-defined libraries (vector/matrix libraries)
“With more than 5 million units sold to date, Raspberry Pi is one of the world’s most popular single-board computers for young computer innovators and hobbyists,” said Jamie Ayre, Marketing Director of AdaCore. “By providing Raspberry Pi 2 users access to the very robust, high-integrity development environment of Ada, we’re opening the door to some really creative solutions and the next generation of Ada programmers.”
Fully featured releases of this GNAT technology are also available for GNU Linux, Mac OS X, Bare Board ARM, and Windows.
Raspberry Pi 2 Model B is powered by 900MHz quad-core ARM Cortex-A7 CPU and feature 1GB LPDDR2 SDRAM. The Raspberry Pi 2 Model B offers interfaces such as 4 USB ports, 40 GPIO pins, a full HDMI port, and an Ethernet port. Raspberry Pi 2 is suggested as a good choice for Internet of Things (IoT) applications, where reliability and safety is more important.