CDIS (computer-based system)

{{Short description|Information system in air traffic control}}

{{Use dmy dates|date=April 2022}}

The CCFCCF stands for Central Control Function. Display and Information System (CDIS) is a computer-based system that provides airport and flight information to air traffic controllers formerly based at the London Terminal Control Centre in England.{{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}} It was designed by Praxis in 1992.{{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 }}