Applying LSCs to the Specification of an Air Traffic Control System

Yves Bontemps, Patrick Heymans, Hillel Kugler

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationProc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03)
EditorsSebastian Uchitel, Francis Bordeleau
Place of PublicationPortland, Oregon, USA
Publication statusPublished - 2003


Dive into the research topics of 'Applying LSCs to the Specification of an Air Traffic Control System'. Together they form a unique fingerprint.

Cite this