loading...
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
San Diego, California November 05-November 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IWSSD.2000.891121Tenth International Workshop on Softw ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander, "Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation," Software Specification and Design, International Workshop on, pp. 3, Tenth International Workshop on Software Specification and Design (IWSSD'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/IWSSD.2000.891121,
author = {Jeff Magee and Jeff Kramer and Bashar Nuseibeh and David Bush and Julia Sonander},
title = {Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation},
journal ={Software Specification and Design, International Workshop on},
volume = {0},
year = {2000},
isbn = {0-7695-0884-7},
pages = {3},
doi = {http://doi.ieeecomputersociety.org/10.1109/IWSSD.2000.891121},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Specification and Design, International Workshop on
TI - Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
SN - 0-7695-0884-7
SP
EP
A1 - Jeff Magee,
A1 - Jeff Kramer,
A1 - Bashar Nuseibeh,
A1 - David Bush,
A1 - Julia Sonander,
PY - 2000
KW - Labeled Transition System
KW - Hybrid Models
KW - Graphic Animation
KW - Air Traffic Control
VL - 0
JA - Software Specification and Design, International Workshop on
ER -
 
Jeff Magee, Imperial College
Jeff Kramer, Imperial College
Bashar Nuseibeh, Imperial College
David Bush, National Air Traffic Services Ltd
Julia Sonander, National Air Traffic Services Ltd
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.
Index Terms:
Labeled Transition System, Hybrid Models, Graphic Animation, Air Traffic Control
Citation:
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander, "Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation," iwssd, pp.3, Tenth International Workshop on Software Specification and Design (IWSSD'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.