Hybrid model visualization in requirements and design: a preliminary investigation

Abstract

This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study-the National Air Traffic Services (NATS) Short Term Conflict Alert (STCA) system that advises controllers of potential conflicts between aircraft in controlled airspace. Graphic animation permits a model to be visualized in the context of a problem domain. The paper describes how, in order to construct a satisfactory visualization, the finite state behavioral model of the STCA system is extended with boolean functions over continuous variables to form a hybrid model. The rationale for constructing this hybrid model and its potential use in requirements and design are discussed.

Original document

The different versions of the original document can be found in:

• http://mcs.open.ac.uk/ban25/papers/iwssd-2000.pdf

• http://mcs.open.ac.uk/ban25/papers/iwssd-2000.pdf,

https://dblp.uni-trier.de/db/conf/iwssd/iwssd2000.html#MageeKNBS00,

https://dl.acm.org/citation.cfm?id=857223,

https://academic.microsoft.com/#/detail/2140714717

• http://xplorestaging.ieee.org/ielx5/7166/19280/00891121.pdf?arnumber=891121,

http://dx.doi.org/10.1109/iwssd.2000.891121