Applying LSCs to an Air Traffic Control Case Study

Yves Bontemps; Patrick Heymans; Hillel Kugler

Applying LSCs to an Air Traffic Control Case Study

Yves Bontemps
, Patrick Heymans
, Hillel Kugler

Bar-Ilan University - The Alexander Kofkin Faculty of Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traf- fic 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 language	American English
Title of host publication	2nd Int. Workshop on Scenarios and State Machines (SCESM'03)
State	Published - 2003

Bibliographical note

Place of conference:USA

Cite this

@inproceedings{b72abe8fe23941b999d7a8743d4039dd,

title = "Applying LSCs to an Air Traffic Control Case Study",

abstract = "We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traf- fic 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.",

author = "Yves Bontemps and Patrick Heymans and Hillel Kugler",

note = "Place of conference:USA",

year = "2003",

language = "American English",

booktitle = "2nd Int. Workshop on Scenarios and State Machines (SCESM'03)",

}

TY - GEN

T1 - Applying LSCs to an Air Traffic Control Case Study

AU - Bontemps, Yves

AU - Heymans, Patrick

AU - Kugler, Hillel

N1 - Place of conference:USA

PY - 2003

Y1 - 2003

N2 - We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traf- fic 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.

AB - We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traf- fic 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.

M3 - Conference contribution

BT - 2nd Int. Workshop on Scenarios and State Machines (SCESM'03)

ER -

Applying LSCs to an Air Traffic Control Case Study

Abstract

Bibliographical note

Fingerprint

Cite this