Applying LSCs to the Specification of an Air Traffic Control System

Yves Bontemps; Patrick Heymans; Hillel Kugler

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 proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03)
Editors	Sebastian Uchitel, Francis Bordeleau
Place of Publication	Portland, Oregon, USA
Publisher	IEEE
Publication status	Published - 2003

Requirements engineering and business/IT alignment
Cleve, A.
1/01/10 → 31/01/10
Project: Research Axis

Cite this

@inproceedings{2d2c176823104f539a972b6cd005017b,

title = "Applying LSCs to the Specification of an Air Traffic Control System",

abstract = "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.",

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

note = "Publication editors : Sebastian Uchitel, Francis Bordeleau",

year = "2003",

language = "English",

editor = "Sebastian Uchitel and Francis Bordeleau",

booktitle = "Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03)",

publisher = "IEEE",

}

Applying LSCs to the Specification of an Air Traffic Control System. / Bontemps, Yves; Heymans, Patrick; Kugler, Hillel.
Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03). ed. / Sebastian Uchitel; Francis Bordeleau. Portland, Oregon, USA: IEEE, 2003.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Applying LSCs to the Specification of an Air Traffic Control System

AU - Bontemps, Yves

AU - Heymans, Patrick

AU - Kugler, Hillel

N1 - Publication editors : Sebastian Uchitel, Francis Bordeleau

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

M3 - Conference contribution

BT - Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03)

A2 - Uchitel, Sebastian

A2 - Bordeleau, Francis

PB - IEEE

CY - Portland, Oregon, USA

ER -

Applying LSCs to the Specification of an Air Traffic Control System

Abstract

Fingerprint

Projects

Requirements engineering and business/IT alignment

Cite this