［据军事与航空电子网2007年6月21日报道］Praxis公司选择GNAT Pro公司为英国国家空运局（NATS）提供下一代过渡期未来区域控制工具支持（iFACTS）项目的空中交通管制系统。  

    iFACTS将利用一个全新的计划，从最初的SPARK Ada语言开始进行设计和执行。该计划将利用安装了GNAT Pro公司的国产化工具组的IBM AIX工作站作为开发环境。  

    iFACTS将向空中交通管制部门提供一系列的先进工具，从而提高民用航空业需求的能力。它将警告控制人员哪些飞机没有按照计划飞行，并且探测到中期有可能发生的碰撞。  

    现在正在进行测试的iFACTS将被安装在伦敦地区控制中心。在完成整个开发、训练和新工作站的安装工作后，iFACTS将正式服役。（李冀）