Controlled simulation of real-time systems

被引：0
|
作者：
Kone, Ousmane [1 ]
机构：
[1] Univ Toulouse 3, CNRS, IRIT, F-31062 Toulouse, France
来源：
Proceedings of the Eighth IASTED International Conference on Control and Applications | 2006年
关键词：
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 条
  • [1] Real-Time Simulation and Control of Helicopter Systems
    Singh, Rupam
    Bhushan, Bharat
    Varshney, Ankita
    2019 INTERNATIONAL CONFERENCE ON POWER ELECTRONICS, CONTROL AND AUTOMATION (ICPECA-2019), 2019, : 172 - 177
  • [2] REAL-TIME DIGITAL SIMULATION FOR SYSTEMS CONTROL
    SAGE, AP
    SMITH, SL
    PROCEEDINGS OF THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, 1966, 54 (12): : 1802 - &
  • [3] SIMULATION AS A CASE TOOL FOR REAL-TIME SYSTEMS
    GROENEWEGEN, L
    SIMULATION APPLIED TO MANUFACTURING ENERGY AND ENVIRONMENTAL STUDIES AND ELECTRONICS AND COMPUTER ENGINEERING, 1989, : 140 - 143
  • [4] Middleware for real-time distributed simulation systems
    van Paassen, MM
    Pronk, C
    Delatour, J
    SIMULATION IN INDUSTRY'2000, 2000, : 351 - 358
  • [5] Simulation of Stiff Systems on Real-Time Hardware
    Zaev, Emil
    Babunski, Darko
    Tuneski, Atanasko
    Rath, Gerhard
    2018 7TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2018, : 132 - 135
  • [6] Symbolic simulation of real-time concurrent systems
    Wang, F
    Huang, GD
    Yu, F
    REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 595 - 617
  • [7] Digital real-time simulation for distribution systems
    Barry, AO
    Guay, F
    Guérette, S
    Giroux, P
    2000 IEEE ESMO - 2000 IEEE 9TH INTERNATIONAL CONFERENCE ON TRANSMISSION & DISTRIBUTION CONSTRUCTION, OPERATION & LIVE-LINE MAINTENANCE PROCEEDINGS, 2000, : 252 - 258
  • [8] REAL-TIME SIMULATION OF FLUID POWER SYSTEMS
    Liermann, Matthias
    Feller, Christian
    Lindinger, Florian
    PROCEEDINGS OF ASME/BATH 2021 SYMPOSIUM ON FLUID POWER AND MOTION CONTROL (FPMC2021), 2021,
  • [9] Hard real-time systems modeling and simulation
    de Miguel, MA
    Dueñas, JC
    MODELLING AND SIMULATION 1996, 1996, : 108 - 112
  • [10] Simulation of real-time systems with clock calculus
    Hu, Kai
    Zhang, Teng
    Yang, Zhibin
    Tsai, Wei-Tek
    SIMULATION MODELLING PRACTICE AND THEORY, 2015, 51 : 69 - 86
12345