OBJECT-ORIENTED ANALYSIS, MODELING, AND SIMULATION OF A NOTIONAL AIR DEFENSE SYSTEM

This paper describes the analysis, modeling, and simulation of a notio nal air defense system using SMOOCHES (State Machines for Object-Orien ted, Concurrent, Hierarchical Engineering Specifications). SMOOCHES is an object-oriented environment based on hierarchical state machines a nd extensions to Statecharts, specifically developed as an environment to specify, model, simulate and analyze/evaluate distributed, reactiv e systems. Using a high level system specification language, an object -oriented, herarchical state specification of a radar tracking system with realistic constraints is derived. A graphical statechart represen tation of the tracking system behavior is also derived and implemented within the SMOOCHES environment.