Article

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

Authors:

Monica Brockmeyer,

Farnam Jahanian,

Constance Heitmeyer,

Bruce LabawAuthors Info & Claims

RTAS '97: Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)

Page 125

Published: 09 June 1997 Publication History

Publisher Site

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.

Cited By

View all

Bhargavan KGunter CLee ISokolsky OKim MObradovic DViswanathan M(2002)VerisimIEEE Transactions on Software Engineering10.1109/32.98849528:2(129-145)Online publication date: 1-Feb-2002
https://dl.acm.org/doi/10.1109/32.988495
Bhargavan KGunter CKim MLee IObradovic DSokolsky OViswanathan M(2000)VerisimACM SIGSOFT Software Engineering Notes10.1145/347636.34783325:5(2-13)Online publication date: 1-Aug-2000
https://dl.acm.org/doi/10.1145/347636.347833
Bhargavan KGunter CKim MLee IObradovic DSokolsky OViswanathan MRichardson D(2000)VerisimProceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis10.1145/347324.347833(2-13)Online publication date: 1-Aug-2000
https://dl.acm.org/doi/10.1145/347324.347833

Recommendations

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

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-...
A flexible and extensible object middleware: CORBA and beyond
SEM '05: Proceedings of the 5th international workshop on Software engineering and middleware

This paper presents a CORBA-compliant middleware architecture that is more flexible and extensible compared to standard CORBA. The portable design of this architecture is easily integrated in any standard CORBA middleware; for this purpose, mainly the ...
Towards Real-Time Fault-Tolerant CORBA Middleware

An increasing number of applications are being developed using Distributed Object Computing (DOC) middleware, such as CORBA. Many of these applications require the underlying middleware, operating systems, and networks to provide dependable end-to-end ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

RTAS '97: Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)

June 1997

ISBN:0818680164

Publisher

IEEE Computer Society

United States

Publication History

Published: 09 June 1997

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bhargavan KGunter CLee ISokolsky OKim MObradovic DViswanathan M(2002)VerisimIEEE Transactions on Software Engineering10.1109/32.98849528:2(129-145)Online publication date: 1-Feb-2002
https://dl.acm.org/doi/10.1109/32.988495
Bhargavan KGunter CKim MLee IObradovic DSokolsky OViswanathan M(2000)VerisimACM SIGSOFT Software Engineering Notes10.1145/347636.34783325:5(2-13)Online publication date: 1-Aug-2000
https://dl.acm.org/doi/10.1145/347636.347833
Bhargavan KGunter CKim MLee IObradovic DSokolsky OViswanathan MRichardson D(2000)VerisimProceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis10.1145/347324.347833(2-13)Online publication date: 1-Aug-2000
https://dl.acm.org/doi/10.1145/347324.347833

Abstract

Cited By

Recommendations