Applying LSCs to the specification of an Air Traffic Control System

Y. Bontemps, P. Heymans and H. Kugler

We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traffic control system CTAS (Center TRACON Automation System). We use a recent extension of LSCs to handle symbolic instances, allowing an instance to be associated with a class rather than with an object. This allows us to specify scenario-based requirements that could not have been expressed using concrete objects only. This work can form the basis for applying execution, verification and synthesis methods developed for LSCs, on a real-world case study.

International Workshop on Scenarios and State Machines (SCESM'03)