Statemate is the most comprehensive graphical modeling and simulation tool for the rapid development of complex embedded systems. Using a combination of traditional graphical design notations combined with some of the Unified Modeling Language (UML) diagrams, Statemate provides a direct and formal link between user requirements and software implementation by allowing the user to create a complete, executable specification. Operating on an engineering workstation or PC, Statemate creates a visual, graphical specification that clearly and precisely represents the intended functions and behavior of the system being specified. This specification may be executed, or graphically simulated, so the system engineer can explore what-if scenarios to determine if the behavior and the interactions between system elements are correct. These scenarios can be captured and included in Test Plans which are later run on the embedded system to ensure that what gets built meets what was specified. This executable specification is also used to communicate with the customer or end user to confirm that the specification meets their requirements.

Complete systems are specified using Statemate so that costly errors due to ambiguous requirements can be found and corrected early in the design process. Statemate allows systems engineers to conquer today's design challenges by providing an iterative and complete graphical design environment. Our customers tell us that they save over 30% in development costs by using Statemate.