In the Fall of 1998, these authors redesigned a component of CTAS, an air traffic control system developed by NASA and now deployed in several US airports. This case study demonstrates how basic software engineering techniques can make a complex system dramatically simpler. The authors describe lessons learned from reverse-engineering an air traffic control system with a variety of tools and redesigning it to be smaller, simpler, and more flexible.
Citation:
Daniel Jackson, John Chapin, "Redesigning Air Traffic Control: An Exercise in Software Design," IEEE Software, vol. 17, no. 3, pp. 63-70, May/June 2000, doi:10.1109/52.896251