Welcome!

Open Source Cloud Authors: Pat Romanski, Elizabeth White, Liz McMillan, Rostyslav Demush, Charles Araujo

News Feed Item

AdaCore Releases GNAT GPL for Bare Board ARM

AdaCore today released a freely downloadable version of its GNAT GPL Ada cross-development environment for Bare Board ARM Cortex processors. Students, professors and other developers of non-proprietary software can now exploit Ada 2012’s reliability, safety and security benefits for ARM applications.

GNAT GPL for Bare Board ARM Cortex processors provides a complete Ada 2012 development environment, including a comprehensive tool-chain and GPS, AdaCore’s flagship Integrated Development Environment (IDE). It also includes a fully configurable/customizable run-time library consisting of the “Small Footprint” (SFP) and Ravenscar profiles that are particularly relevant to safety-critical systems. The SFP profile corresponds to a language subset with minimal GNAT run-time routines, and the Ravenscar profile is a subset of the Ada concurrency features with an efficient, predictable, small-footprint implementation. The resulting Ada subset has expressive power well beyond that of other languages used for ARM-based devices.

“There are now billions of ARM processors in embedded systems, which has created a global ecosystem with many developers looking to take advantage of Ada’s strengths,” said Dr. Pat Rogers, AdaCore Bare Board product manager. “By making an Ada cross-development environment freely available to the academic and hobbyist communities, we are responding to this demand and see great potential for significantly increasing the overall usage of the Ada language. With powerful ARM-based boards currently available for under $20, this new GNAT GPL release becomes a cost-effective development environment for everyone.”

The release of GNAT GPL for Bare Board ARM is part of AdaCore’s ongoing commitment to the Ada community. Fully featured releases of the GNAT technology are already available for GNU Linux, Mac OS X, and Windows.

"Finally, the substantial software engineering benefits of the Ada 2012 language are available for the huge ARM microcontroller family,” said Mike Silva, Software Engineer at the www.embeddedrelated.com community. “This is a ground-breaking achievement for the embedded programming world, offering the promise of higher quality embedded software delivered on shorter schedules."

“For our students, this is almost a game-changing new option, providing an academia-affordable, hands-on, high-integrity and fully real-world hardware/software environment for every individual student,” said Dr. rer. nat. Uwe R. Zimmer, Fellow at the Australian National University. “Tools which enable the combination of high-integrity, real-time systems with concrete, real-world hardware will open doors to dependable, physical systems for many more students.”

Availability

GNAT GPL for Bare Board ARM is available now from www.libre.adacore.com. The package includes a tutorial and example project showing how to use Ada and GPS for the “STM32F4 Discovery” (Cortex-M4) evaluation kit from STMicroelectronics. Additional Ada tutorials can be accessed via AdaCore University.

About the GNAT Technology

GNAT is a robust, flexible, and open Ada development environment based on the GNU GCC compiler technology. It comprises a full Ada compiler (including complete support for Ada 2012), an Integrated Development Environment (GPS, the GNAT Programming Studio), a comprehensive toolset including a visual debugger, and a useful collection of libraries / bindings. GNAT allows development of pure Ada applications as well as Ada components in multi-language systems. It is distributed with complete source code and is available on a wide range of host environments for both native and cross-development, including UNIX, Windows and GNU/Linux.

All brand or product names are registered trademarks or trademarks of their respective holders.

More Stories By Business Wire

Copyright © 2009 Business Wire. All rights reserved. Republication or redistribution of Business Wire content is expressly prohibited without the prior written consent of Business Wire. Business Wire shall not be liable for any errors or delays in the content, or for any actions taken in reliance thereon.

IoT & Smart Cities Stories
The deluge of IoT sensor data collected from connected devices and the powerful AI required to make that data actionable are giving rise to a hybrid ecosystem in which cloud, on-prem and edge processes become interweaved. Attendees will learn how emerging composable infrastructure solutions deliver the adaptive architecture needed to manage this new data reality. Machine learning algorithms can better anticipate data storms and automate resources to support surges, including fully scalable GPU-c...
Machine learning has taken residence at our cities' cores and now we can finally have "smart cities." Cities are a collection of buildings made to provide the structure and safety necessary for people to function, create and survive. Buildings are a pool of ever-changing performance data from large automated systems such as heating and cooling to the people that live and work within them. Through machine learning, buildings can optimize performance, reduce costs, and improve occupant comfort by ...
The explosion of new web/cloud/IoT-based applications and the data they generate are transforming our world right before our eyes. In this rush to adopt these new technologies, organizations are often ignoring fundamental questions concerning who owns the data and failing to ask for permission to conduct invasive surveillance of their customers. Organizations that are not transparent about how their systems gather data telemetry without offering shared data ownership risk product rejection, regu...
René Bostic is the Technical VP of the IBM Cloud Unit in North America. Enjoying her career with IBM during the modern millennial technological era, she is an expert in cloud computing, DevOps and emerging cloud technologies such as Blockchain. Her strengths and core competencies include a proven record of accomplishments in consensus building at all levels to assess, plan, and implement enterprise and cloud computing solutions. René is a member of the Society of Women Engineers (SWE) and a m...
Poor data quality and analytics drive down business value. In fact, Gartner estimated that the average financial impact of poor data quality on organizations is $9.7 million per year. But bad data is much more than a cost center. By eroding trust in information, analytics and the business decisions based on these, it is a serious impediment to digital transformation.
Digital Transformation: Preparing Cloud & IoT Security for the Age of Artificial Intelligence. As automation and artificial intelligence (AI) power solution development and delivery, many businesses need to build backend cloud capabilities. Well-poised organizations, marketing smart devices with AI and BlockChain capabilities prepare to refine compliance and regulatory capabilities in 2018. Volumes of health, financial, technical and privacy data, along with tightening compliance requirements by...
Predicting the future has never been more challenging - not because of the lack of data but because of the flood of ungoverned and risk laden information. Microsoft states that 2.5 exabytes of data are created every day. Expectations and reliance on data are being pushed to the limits, as demands around hybrid options continue to grow.
Digital Transformation and Disruption, Amazon Style - What You Can Learn. Chris Kocher is a co-founder of Grey Heron, a management and strategic marketing consulting firm. He has 25+ years in both strategic and hands-on operating experience helping executives and investors build revenues and shareholder value. He has consulted with over 130 companies on innovating with new business models, product strategies and monetization. Chris has held management positions at HP and Symantec in addition to ...
Enterprises have taken advantage of IoT to achieve important revenue and cost advantages. What is less apparent is how incumbent enterprises operating at scale have, following success with IoT, built analytic, operations management and software development capabilities - ranging from autonomous vehicles to manageable robotics installations. They have embraced these capabilities as if they were Silicon Valley startups.
As IoT continues to increase momentum, so does the associated risk. Secure Device Lifecycle Management (DLM) is ranked as one of the most important technology areas of IoT. Driving this trend is the realization that secure support for IoT devices provides companies the ability to deliver high-quality, reliable, secure offerings faster, create new revenue streams, and reduce support costs, all while building a competitive advantage in their markets. In this session, we will use customer use cases...