A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A flexible, extensible simulation environment for testing real-time specifications
2000
IEEE transactions on computers
AbstractÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful in simulating system behavior in different ways, including applicationspecific ways. MTSim also supports full user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the
doi:10.1109/12.895936
fatcat:amssk3zdxzgx3dds6b6idsxkb4