Redesigning Air Traffic Control: An Exercise in Software Design

Authors:
Daniel Jackson;John Chapin
Affiliations:
-;-
Venue:
IEEE Software
Year:
2000

Citing 4
Cited 2

Abstraction and specification in program development

Abstraction and specification in program development
Lackwit: a program understanding tool based on type inference

ICSE '97 Proceedings of the 19th international conference on Software engineering
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Using Formal Methods to Develop an ATC Information System

IEEE Software

Lightweight Extraction of Object Models from Bytecode

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
The structure and interpretation of the computer science curriculum

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.