STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Theoretical Computer Science
The SCR method for formally specifying, verifying, and validating requirements: tool support
ICSE '97 Proceedings of the 19th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
Software Visualization
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
The Concurrency Factory: A Development Environment for Concurrent Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Automatic model driven animation of SCR specifications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Hi-index | 0.00 |
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case studythe 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.