The IBM® Rational® Statemate solution helps extend the unified modeling language (UML) systems design and simulation benefits to users. The Rational Statemate environment helps the systems engineer create a graphical model of the system being designed, based on standard engineering diagrams including some UML diagrams:
Data and control flow diagrams
Structure diagrams
Truth tables
Flowcharts
UML diagrams include use case diagrams, sequence diagrams, and statecharts
These diagrams, plus input from a menu-driven user interface, help engineers tasked with implementing and testing the system to effectively detail the communication of the specification.
A Rational Statemate model is a formal model that can be simulated and automatically translated into code. The Rational Statemate solution’s visualization capabilities helps improve team communication among design teams at the OEM and supplier. The product’s simulation capabilities allow system engineers to test the specification to ensure correctness.
Some benefits of the Rational Statemate Simulator include:
Highlights active states, functions, and scenarios during simulation
Mockup panels provide both input to and output from the simulation
Simulates an incomplete design, allowing the user to build the model and simulate it in an iterative top-down, bottom-up, or middle-out fashion
The simulator environment provides all the traditional debugging apparatus, such as waveforms, monitors, and debugger windows, allowing you to analyze the specification to ensure that its behavior is correct and to capture the test data
