Product category:
Design and Development Software
News Release from: AdaCore
Edited by the Electronicstalk Editorial
Team on 06 June 2006
EU project commits to Ada 2005
A EU-sponsored project to improve the development of critical embedded real-time systems is to adopt the Ada 2005 language and AdaCore's open-source Gnat development environment.
Assert, the EU-sponsored project to improve the development of critical embedded real-time systems today announced that it will adopt the Ada 2005 language and AdaCore's open-source Gnat development environment Assert (Automated proof-based system and software engineering for real-time) will use Ada 2005 to develop a run-time framework and re-usable components that can be adopted into Aerospace and other high-integrity sectors to aid the development of real-time, safety critical systems
This article was originally published on Electronicstalk on 12 Jan 2006 at 8.00am (UK)
Related stories
Environment speeds Ada systems development
The Gnat Programming Studio is a sophisticated software development environment for the Ada programming language.
Development environment upgrades to Ada 2005
The latest and most advanced version of the Gnat Pro open-source Ada development environment supports all the major new features in Ada 2005.
Begun in 2004, the Eur 15 million project will begin its 18 month final development phase in June 2006.
A joint industrial and academic consortium, Assert brings together leading players from the European space industry, SMEs and research organisations to improve the system and software development process for critical embedded real-time systems.
Part of this process is to create building blocks of open source code covering common areas along with a run-time framework for them to operate within.
Further reading
Environment accelerated Ada programming
Gnat Programming Studio is an advanced, powerful integrated development environment that accompanies the Gnat Pro Ada language development toolset.
IDE supports remote programming
AdaCore has launched its remote programming solution, an advanced feature of the company's Gnat Programming Studio (GPS) 4.0 integrated development environment (IDE).
Software analysis predicts system memory demands
A novel software analysis tool enables development teams to accurately predict the maximum size of the memory stack required to host an embedded software application.
The UPM Madrid and ENST Paris are developing the run-time framework while Alcatel, EADS, Astrium France and other leading industrial partners will create the first building block application level components for it.
These will then be made available via open repositories, allowing them to be used by developers to speed up safety-critical development.
"Developing critical real-time embedded systems is central to the continued development of the European aerospace industries", commented Juan Antonio de la Puente, Professor, UPM.
"Ada 2005 was the only language that provided us with a reliable, open-source environment that will enable us to create the framework for a new generation of safety critical systems".
"Working with AdaCore was the natural choice due to its knowledge and advanced implementation of Ada 2005 in its products".
The Ada programming language is designed specifically for large, long-lived applications where reliability, efficiency and safety are vital.
Created under the auspices of the ISO, Ada 2005, the latest version of the language, was ratified last year.
It introduces significant enhancements in many areas including Object-Oriented Programming, interfacing with other languages (most notably Java), software architectural design, real-time systems, and predefined libraries.
It offers improved support for high-integrity applications, including the standardisation of the Ravenscar profile for certifiable concurrent programs.
Ada 2005 represents the first major upgrade of the Ada language in ten years.
Ada 2005 was chosen by Assert due to its seamless integration of budget monitoring, timing events, priority-specific dispatching, execution time monitoring, "limited with clauses", new interfaces and compile and run-time support for the Ravenscar Profile.
"Assert's choice of Ada 2005 and Gnat demonstrates that it provides the perfect solution for real-time embedded system development, combining safety-critical features with the benefits of an open source development environment", said Cyrille Comar, Managing Director, AdaCore.
"The combination of Ada 2005, Assert and AdaCore aims to make significant progress in driving forward European embedded system development".
Assert developers working on the both the run-time framework and pilot applications will be using Ada 2005, with an estimated 33,000 lines of code predicted to be written, making it the largest current use of the latest version of the language.
AdaCore has been closely involved with the Ada language since its inception and its Gnat development environment combines market leading technology, including Ada 2005, with an expert support system to provide a natural solution where efficient and reliable code is critical.
• AdaCore: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
