Product category:
Design and Development Software
News Release from: AdaCore | Subject: Gnat Pro
Edited by the Electronicstalk Editorial
Team on 21 June 2007
Ada development to advance air traffic
control
Praxis is using Gnat Pro to create the UK's next-generation Interim Future Area Control Tools Support air traffic control system for its client NATS.
Praxis has selected AdaCore's Gnat Pro for the implementation of the UK's next-generation Interim Future Area Control Tools Support (iFACTS) air traffic control system for its client NATS iFACTS will use a new program that is being designed and implemented from the start with the Spark Ada language, a choice based on Ada's proven strength in developing large long-lived high-reliability 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.
The program will be using the Gnat Pro native toolset on IBM AIX workstations as the development environment.
AdaCore's unparalleled support is one primary reason that Praxis chose AdaCore.
AdaCore provides state of the art Ada compilation systems and support for this and many other native and embedded platforms.
iFACTS will provide air traffic controllers with a set of advanced tools to increase capacity to meet the growing demand from the civil aviation industry.
It will also alert controllers to flights which are not following their flight plan and detect medium term conflicts, which will also enhance safety capability.
Keith Williams, Praxis' Managing Director, says: "It is extremely exciting to be able to deploy our capability in critical software on the iFACTS project and work with partners who combine advanced technology with rigorous safety certification - AdaCore was the perfect solution for our high integrity Spark Ada development needs".
"iFACTS is the future of air traffic control", says Robert Dewar, President and CEO, AdaCore.
"The combination of Praxis' experience in critical systems engineering and the high integrity of Spark Ada enables the development of this vitally important and sophisticated system".
NATS has pioneered research and development of advanced air traffic control tools for several years from its simulator and research centre at Hurn.
The iFACTS project will deliver a subset of these tools onto the system at the company's main en-route control centre at Swanwick in Hampshire.
Currently undergoing trials, iFACTS will be installed at the London Area Control Centre, Swanwick.
Following full development, training, and installation of a new workstation at Swanwick, iFACTS will be introduced into service.
• 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
