Controlled simulation of real-time systems

被引:0
|
作者
Kone, Ousmane [1 ]
机构
[1] Univ Toulouse 3, CNRS, IRIT, F-31062 Toulouse, France
关键词
modelling; simulation; real-time systems; controllability;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper we study the problem of controlling the simulation of time-dependent systems like software, manufacturing or business processes. Provided that such systems have potentially large or infinite behaviour, their simulation may also be large or infinite, and here we propose strategies to automatically control the selection of the model aspects to be simulated according to some simulation goal. To ensure the soundness of the simulation, we derive an execution model from the system descriptive model, on the basis of a time semantics analysis.
引用
收藏
页码:177 / 181
页数:5
相关论文
共 50 条
  • [31] Algorithm for real-time simulation of fluid network systems
    Li, Tian-Duo
    Qin, Rui-Ping
    Lu, Zi-An
    Modelling, simulation & control. B, 1988, 19 (02): : 55 - 64
  • [32] Real-Time Snowing Simulation Based on Particle Systems
    Tan, Yao
    Zhang, Xiangjuan
    Wang, Chunyan
    Zhao, Qiao
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 7 - 11
  • [33] Environmental Simulation of Real-Time Systems with Nested Interrupts
    Li, Guoqiang
    Yuen, Shoji
    Adachi, Masakazu
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 21 - +
  • [34] SIMULATION OR REAL-TIME?
    Wright, Cameron H. G.
    Welch, Thad B.
    Morrow, Michael G.
    2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2019, : 7869 - 7872
  • [35] PSE Simulation Environment for the Real-time Simulation and Control of Mechatronic Systems
    Fabo, Peter
    Skovajsa, Martin
    Pepucha, Lubomir
    PROCEEDINGS OF THE 2016 17TH INTERNATIONAL CONFERENCE ON MECHATRONICS - MECHATRONIKA (ME) 2016, 2016, : 251 - 255
  • [36] Real-time results without real-time systems
    Fox, R
    Kasten, E
    Orji, K
    Bolen, C
    Maurice, C
    Venema, J
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2004, 51 (03) : 571 - 575
  • [37] Highly Reconfigurable Production Systems Controlled by Real-Time Agents
    Schütz, D.
    Schraufstetter, M.
    Folmer, J.
    Vogel-Heuser, B.
    Gmeiner, T.
    Shea, K.
    2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [38] A real-time computer-controlled simulator: For control systems
    Altas, I. H.
    Aydar, H.
    COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 2008, 16 (02) : 115 - 126
  • [39] OS-controlled cache predictability for real-time systems
    Liedtke, J
    Hartig, H
    Hohmuth, M
    THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 213 - 223
  • [40] State estimator design for real-time controlled restraint systems
    van der Laan, Ewout
    Veldpaus, Frans
    van Schie, Cees
    Steinbuch, Maarten
    2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 4404 - +