Content deleted Content added
→Notes and references: Categories |
Adding short description: "Information system in air traffic control" |
||
| (One intermediate revision by one other user not shown) | |||
Line 1:
{{Short description|Information system in air traffic control}}
{{Use dmy dates|date=April 2022}}
The '''CCF<ref>CCF stands for Central Control Function.</ref> Display and Information System''' ('''CDIS''') is a computer-based system that provides airport and flight information to [[air traffic controller]]s formerly based at the [[London Terminal Control Centre]] in [[England]].<ref>{{cite web |url=http://www.proms-g.bcs.org/histevents/pdfs/tv0405%20-%20nats.pdf |title=NATS - A Case Study (presentation) |publisher=British Computer Society |date=11 January 2005 |accessdate=14 December 2014}}</ref> It was designed by [[Altran Praxis|Praxis]] in 1992.<ref>{{cite journal |title=Using formal methods to develop an ATC information system |author=Hall, A. |authorlink=J. Anthony Hall |journal=[[IEEE Software]] |volume=13 |issue=2 |pages=66–76 |date=March 1996 |doi=10.1109/52.506463 }}</ref>
| |||