A flexible, extensible simulation environment for testing real-time specifications

Author

Brockmeyer, Monica ; Jahanian, Farnam ; Heitmeyer, Constance ; Labaw, Bruce

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA

fYear

1997

fDate

9-11 Jun 1997

Firstpage

125

Lastpage

135

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 an simulating system behavior in different ways, including application-specific 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 invocation of user-specified handlers upon assertion violation. This paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an an application-specific component of MTSim, which displays the cockpit of an F-18 aircraft and models its bomb release function

Keywords

digital simulation; formal specification; real-time systems; software tools; F-18 aircraft; MTSim; Modechart toolset; WebSim; assertion checking; assertion violation; bomb release function; customizable simulation platform; execution trace; flexible extensible simulation environment; full user participation; monitoring; real-time specification testing; simulation tools; user-defined viewers; user-specified handlers; Analytical models; Computational modeling; Computer errors; Computer simulation; Costs; Debugging; Displays; Formal specifications; Monitoring; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Technology and Applications Symposium, 1997. Proceedings., Third IEEE

Conference_Location

Montreal, Que.

Print_ISBN

0-8186-8016-4

Type

conf

DOI

10.1109/RTTAS.1997.601350

Filename

601350