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

被引：0
|
作者：
Brockmeyer, M [1 ]
Jahanian, F
Heitmeyer, C
Winner, E
机构：
[1] Wayne State Univ, Dept Comp Sci, Detroit, MI 48202 USA
[2] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA
[3] USN, Res Lab, Ctr High Assurance Comp Syst, Washington, DC 20375 USA
[4] Carnegie Mellon Univ, Sch Comp Sci, Pittsburgh, PA 15213 USA
来源：
IEEE TRANSACTIONS ON COMPUTERS | 2000年 / 49卷 / 11期
关键词：
simulation; specification; symbolic execution; monitoring and assertion checking; formal methods;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：1184 / 1201
页数：18
相关论文
共 50 条
  • [1] A flexible, extensible simulation environment for testing real-time specifications
    Brockmeyer, M
    Jahanian, F
    Heitmeyer, C
    Labaw, B
    [J]. THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 125 - 135
  • [2] A software environment for custom simulation and monitoring of real-time specifications
    Brockmeyer, M
    Jahanian, F
    Winner, E
    Heitmeyer, C
    Labaw, B
    [J]. 1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 78 - 84
  • [3] Real-time specifications of the geospace environment
    Kamide, Y
    Kihn, EA
    Ridley, AJ
    Cliver, EW
    Kadowaki, Y
    [J]. SPACE SCIENCE REVIEWS, 2003, 107 (1-2) : 307 - 316
  • [4] Real-Time Specifications of the Geospace Environment
    Y. Kamide
    E.A. Kihn
    A.J. Ridley
    E.W. Cliver
    Y. Kadowaki
    [J]. Space Science Reviews, 2003, 107 : 307 - 316
  • [5] Flexible real-time linux:: A flexible hard real-time environment
    Terrasa, A
    García-Fornes, A
    Botti, VJ
    [J]. REAL-TIME SYSTEMS, 2002, 22 (1-2) : 151 - 173
  • [6] Flexible Real-Time Linux*: A Flexible Hard Real-Time Environment
    Andrés Terrasa
    Ana García-Fornes
    Vicente J. Botti
    [J]. Real-Time Systems, 2002, 22 : 151 - 173
  • [7] Real-Time Simulation in Non Real-Time Environment
    Tarnawski, Jaroslaw
    Karla, Tomasz
    [J]. 2016 21ST INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2016, : 577 - 582
  • [8] An Extensible Framework for Real-time Task Generation and Simulation
    Belwal, Chaitanya
    Cheng, Albert M. K.
    [J]. 2011 IEEE 17TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2011), VOL 1, 2011, : 259 - 263
  • [9] REAL-TIME ENVIRONMENT SIMULATION
    FONTAINE, B
    [J]. ELECTRICAL COMMUNICATION, 1971, 46 (03): : 188 - &
  • [10] Real-time specifications
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Traonouez, Louis-Marie
    Wasowski, Andrzej
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
12345