Title :
Hybrid model visualization in requirements and design: a preliminary investigation
Author :
Magee, Jeff ; Kramer, Jeff ; Nuseibeh, Bashar ; Bush, David ; Sonander, Julia
Author_Institution :
Dept. of Comput., Imperial Coll., London, UK
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
Keywords :
Boolean functions; air traffic control; computer animation; data visualisation; finite state machines; NATS; National Air Traffic Services; Short Term Conflict Alert system; air traffic control; behavioral models; boolean functions; continuous variables; finite state behavioral model; graphic animation; hybrid model visualization; Aerospace control; Air traffic control; Aircraft manufacture; Animation; Context modeling; Control system synthesis; Graphics; Network address translation; Traffic control; Visualization;
Conference_Titel :
Software Specification and Design, 2000. Tenth International Workshop on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7695-0884-7
DOI :
10.1109/IWSSD.2000.891121
