Affiliation:
1. The Laboratory for Intelligent Processes and Systems Department of Electrical and Computer Engineering The University of Texas at Austin Austin, Texas 78712-1084 USA
Abstract
This paper describes the analysis, modeling, and simulation of a notional air defense system using SMOOCHES (State Machines for Object-Oriented, Concurrent, Hierarchical Engineering Specifications). SMOOCHES is an object- oriented environment based on hierarchical state machines and extensions to Statecharts, specifically developed as an environment to specify, model, simulate and analyze / evaluate distributed, reactive systems. Using a high level system specification language, an object- oriented, hierarchical state specification of a radar tracking system with realistic constraints is derived. A graphical statechart representation of the tracking system behavior is also derived and implemented within the SMOOCHES environment.
Subject
Computer Graphics and Computer-Aided Design,Modelling and Simulation,Software
Reference59 articles.
1. Actors
2. M.W. Alfrod, et al. "Distributed Systems: Methods and Tools for Specification," Lecture Notes in Computer Science, 190, Springer-Verlag, New York, 1985, pp. 270- 285.
3. Defining liveness
4. An Object-Oriented Modeling and Simulation Environment for Reactive Systems Development
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献