Thu 24 July 2014
Freely available toolsuite brings power of Ada language to global ARM ecosystem
NEW YORK and PARIS, (July 24, 2014) – 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.”
GNAT GPL for Bare Board ARM is available now from 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.
Rainier Communications (for AdaCore)
[Logilab] EP14 Pylint sprint Day 1 report
We've had a fairly enjoyable and productive first day in our little hidden room at EuroPython in Berlin ! Below are some noticeable things we've worked on and discussed about.
First, we discussed and agreed that while we should at some point cut the cord to the logilab.common package, it will take some time notably because of the usage logilab.common.configuration which would be somewhat costly to replace (and is working pretty well). There are some small steps we should do but basically we should mostly get back some pylint/astroid specific things from logilab.common to astroid or pylint. This should be partly done during the sprint, and remaining work will go to tickets in the tracker.
We also discussed about release management. The point is that we should release more often, so every pylint maintainers should be able to do that easily. Sylvain will write some document about the release procedure and ensure access are granted to the pylint and astroid projects on pypi. We shall release pylint 1.3 / astroid 1.2 soon, and those releases branches will be the last one supporting python < 2.7.
During this first day, we also had the opportunity to meet Carl Crowder, the guy behind http://landscape.io, as well as David Halter which is building the Jedi completion library (https://github.com/davidhalter/jedi). Landscape.io runs pylint on thousands of projects, and it would be nice if we could test beta release on some part of this panel. On the other hand, there are probably many code to share with the Jedi library like the parser and ast generation, as well as a static inference engine. That deserves a sprint on his own though, so we agreed that a nice first step would be to build a common library for import resolution without relying on the python interpreter for that, while handling most of the python dark import features like zip/egg import, .pth files and so one. Indeed that may be two nice future collaborations!
Last but not least, we got some actual jobs done:
- Michal Novikowsky from Intel in Poland joined us to work on the ability to run pylint in different processes so it may drastically improve performance on multiple cores box.
- Torsten did continue some work on various improvements of the functionnal test framework.
- Sylvain did merge logilab.common.modutils module into astroid as it's mostly driven by astroid and pylint needs. Also fixed the annoying namespace package crash.
- Claudiu keep up the good work he does daily at improving and fixing pylint :)
[Adacore] TAP 2014
Yannick Moy and Johannes Kanig are presenting a paper - Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.
[Adacore] GPS: animations in browsers
L’historique du GT LL : « Systematic : bilan et perspectives du soutien au logiciel libre »
Cet article revient sur les temps forts et les réalisations du GT LL depuis sa création
Le soutien apporté par le Pôle aux entreprises du Logiciel Libre : « Systematic met en lumière ses champions du monde Open Source »
Les projets phares labellisés du Groupe y sont présentés par le président du GT LL, Stéfane Fermigier
Wed 23 July 2014
[Adacore] Improve warnings in -gnatVa mode
Mon 21 July 2014
[Adacore] GPS: review call graph browser
[Adacore] GPS: add filter in Project browser
Fri 18 July 2014
Mandriva recently signed a strategic partnership with Univention with its IT systems management solution Pulse being included in Univention’s app center. To mark the release of Univention Corporate Server powered by Pulse, Mandriva and Univention decided to organize a series of informative webcasts with a Q&A session. The last webcast organized with our partner Univention on the 18th of July was a success.
Mandriva is looking to repeat the success with a second joint webcast planned for the 25th of July.
Duration: 30 minutes
Speakers: Mandriva, Paris: Yvan Manon, pre-sales technical engineer
Phone: +33 1 76 64 16 60
Univention,Germany: Cord Martens, head of sales
Tel. : +49 421 22232-20 email: firstname.lastname@example.org
-Inroduction by Univention
-Quick Pulse demonstration by Mandriva
No registrations required. Simply use the link to join the webcast: https://eu42.spreed.com/checkin/jc/792098556