This paper provides an overview of the STATEMATE system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of i-Logix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, in- tended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded sys- tems, control and communication systems, and interactive software or hardware. It enables a user to prepare, analyze, and debug diagram- matic, yet precise, descriptions of the system under development from three interrelated points of view, capturing structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts [4], used to depict reactive behavior over time. In addition to the use of statecharts, the main novelty of STATEMATE is in the fact that it "understands " the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous ex- ecutions and simulations of the described system, and to create run- ning code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome.

In this paper, an agent-based design and development of an interactive virtual environment for a manufacturing assembly process is described. Agents in the assembly are identified through their respective responsibilities and are implemented so that they coordinate between one another to accomplish the PC assembly / disassembly process. The robot agent, crucial to the assembly operation, is designed to handle multiple failure situations, wherein it coordinates with the part agent to accommodate the failure. * The research is part of the Virtual environments in Education, Robotics, Automation and Manufacturing (VERAM) project. Much of the work reported here was performed at the Software and Data Engineering (SODA) Laboratory at Georgia Southwestern State University and is being continued at the Computer-Aided Re-Engineering (CARE) Laboratory at Tennessee Tech. VERAM has been supported, in part, by grants from the Georgia Board of Regents, National Science Foundation (#DMI 9896235) and...

This paper provides an overview of the STATEMATE ' system, constructed over the past several )ears by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiar.v of i-Logix, Inc. STATEMATE is a set of tools, ith a heavy graphical orientation. intended for the specification, analysis, design, and documentation of large and complex reactive system% soch as real-time embedded systems, control and communication systems, and interactive software or hardware. It enables a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of }iew, capturing structure, functionaliLv, and behavior. These views are represented b) three graphical language', the most intricate of which is the language of statecharts 14], used to depict reaetive behavior over time. In addition to the use of statecharts, the main novelty of STATEMATE is in the fact that it "understands " lhe entire descriptions perfectl), to the point of being able to anal.*ze them for crucial dynamic properties, to carry out rigorous ex- eculions and simolationq nf the described system, and to create run- ning code automatically. These features are iovaluable uhen it comes to the quallt. and reliabilit. of the final outcome.