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

Author

Brockmeyer, Monica ; Jahanlan, F. ; Heitmeyer, Constance ; Winner, Elly

Author_Institution

Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA

Volume

49

Issue

11

fYear

2000

fDate

11/1/2000 12:00:00 AM

Firstpage

1184

Lastpage

1201

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 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 an MTSim component called WebSim, a suite of simulation tools for MT, and an application-specific component of MTSim which displays the cockpit of an F-18 aircraft and which responds to user inputs to model a bomb release function.

Keywords

aerospace computing; digital simulation; formal specification; program testing; real-time systems; F-18 aircraft; MTSim; Modechart toolset; WebSim; assertion checking; bomb release function; cockpit; customizable simulation platform; execution traces; real-time specifications testing; simulation environment; user-specified handlers; Aircraft; Analytical models; Computer displays; Computerized monitoring; Costs; Debugging; Discrete event simulation; Error correction; Formal specifications; System testing;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/12.895936

Filename

895936