Model simulation
When we test an aircraft design, one way is to build the aircraft and see if it falls out of the sky. In this section, I'm not referring to testing the final resulting system. Rather, I mean verifying the model of the system before detailed design, implementation, and manufacturing. SysML has some expressive views for representing and capturing structure and behavior and the Rhapsody SysML tool has some powerful features to execute and debug models as well as visualize and control that execution. There are other tools with similar capabilities. Notably, the Cameo Magic Draw Simulation Toolkit provides execution means almost as powerful as Rhapsody.
The Rhapsody modeling tool performs simulation by generating software source code from the model in well-defined ways and automatically compiling and executing that code. Rhapsody can instrument this code to interact with Rhapsody itself so that the tool can visualize the model execution graphically and provide...
