A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications

Authors:
Monica Brockmeyer;Farnam Jahanian;Constance Heitmeyer;Bruce Labaw
Affiliations:
-;-;-;-
Venue:
RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
Year:
1997

Citing 0
Cited 3

Verisim: Formal analysis of network simulations

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Verisim: Formal Analysis of Network Simulations

IEEE Transactions on Software Engineering
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol

Journal of Embedded Computing - Real-Time and Embedded Computing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes MTSim, an extensible, customizable simulation platform for the Modechart Toolset (MT). MTSim provides support for ``plugging in'' of user-defined viewers which display simulation behavior in different ways including application-specific displays. In addition, MTSim supports full user participation in the generation of simulations through the injection of events into the execution trace. Moreover, MTSim supports monitoring and assertion-checking of execution traces, invoking user-specified handlers upon assertion violation. This paper also introduces WebSim, a web-centric suite of simulation tools for MT, on top of the MTSim platform. It also describes a application-specific interface built on MTSim which represents the cockpit of an F-18 aircraft and models its bomb-releasemechanism.