Using Simulation for the Validation of High Level Specifications of Control Systems

被引：0
|
作者：
Watcharee Jumpamule
Jean-Luc Paillet
Norbert Giambiasi
机构：
[1] Chiang Mai University,Computer Science Department
[2] CMI,Laboratoire des Sciences de l'Information et des Systèmes (LSIS)
[3] Laboratoire des Sciences de l'Information et des Systèmes (LSIS),undefined
来源：
Journal of Intelligent and Robotic Systems | 2003年 / 38卷
关键词：
discrete event control systems; multiformalism; validation; simulation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, we present a methodology for modeling real–time systems using high level specification DECM (discrete event calculus model) and DEVS formalisms. In this methodology, the control system is specified by the way of a DECM user language description. This formal specification is automatically transformed into an atomic DEVS (discrete event system specification) model, and DEVS simulation of the coupled models (control system and plant) is used to validate the initial DECM specifications. The paper discusses the building of DECM specifications, the transformation of DECM specifications into a DEVS model and the simulation of the coupled DEVS model.
引用
收藏
页码：345 / 375
页数：30
相关论文
共 50 条
  • [1] Using simulation for the validation of high level specifications of control systems
    Jumpamule, W
    Paillet, JL
    Giambiasi, N
    [J]. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 2003, 38 (3-4) : 345 - 375
  • [2] Simulation and validation of high-level abstract state machine specifications
    Del Castillo, G
    Glässer, U
    [J]. ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL II, 1999, : 463 - 465
  • [3] Distributed control systems simulation using high level Petri nets
    Tricas, F
    Martinez, J
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 1998, 46 (01) : 47 - 55
  • [4] Towards high-level fuzzy control specifications for building automation systems
    Vidal, Juan C.
    Carreira, Paulo
    Amaral, Vasco
    Aguiam, Joao
    Sousa, Joao
    [J]. SOFTWARE AND SYSTEMS MODELING, 2020, 19 (03): : 625 - 646
  • [5] Towards high-level fuzzy control specifications for building automation systems
    Juan C. Vidal
    Paulo Carreira
    Vasco Amaral
    Joao Aguiam
    João Sousa
    [J]. Software and Systems Modeling, 2020, 19 : 625 - 646
  • [6] Towards validation of specifications by simulation
    Letia, A
    Craciun, F
    Köpe, Z
    [J]. INFRASTRUCTURE FOR AGENTS, MULTI-AGENT SYSTEMS, AND SCALABLE MULTI-AGENT SYSTEMS, 2001, 1887 : 293 - 295
  • [7] Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems
    Bernardeschi, Cinzia
    Del Vigna, Gabriele
    Di Natale, Marco
    Dini, Gianluca
    Varano, Dario
    [J]. MODELLING AND SIMULATION FOR AUTONOMOUS SYSTEMS, MESAS 2016, 2016, 9991 : 101 - 117
  • [8] Monitoring of flexible production systems using high-level Petri net specifications
    Feldmann, K
    Colombo, AW
    [J]. CONTROL ENGINEERING PRACTICE, 1999, 7 (12) : 1449 - 1466
  • [9] HIGH-LEVEL-REPLACEMENT SYSTEMS FOR EQUATIONAL ALGEBRAIC SPECIFICATIONS
    EHRIG, H
    PARISIPRESICCE, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 3 - 20
  • [10] The High Road to Formal Validation: Model Checking High-Level Versus Low-Level Specifications
    Leuschel, Michael
    [J]. ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 4 - 23
12345