A Flexible, Extensible Simulation Environment for Testing Real-Time

This paper describes MTSim, an extensible, cus-tomizable simulation platform for the Modechart toolset (MT) [3]. MTSim provides suppori for ‘$lug-ging in ” user-defined viewers useful in simulating sys-tem behavior in diflerent ways, including application-specific ways. MTSim also supports full user participa-lion in the generation of simulations b y allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user-specified handlers upon assertion violation. This paper also in-troduces a MTSim component called WebSim, a suite of simulation tools for MT, and an an application-specific component of MTSim, which displays the cock-pit of an F-18 aircraft and models its bomb release function. Index terms: simulation, specification, symbolic ex-ecution, monitoring and assertion checking, formal methods.