Discrete-Event Modeling and Simulation for. Embedded Systems

被引：7
|
作者：
Niyonkuru, Daniella [1 ]
Wainer, Gabriel A. [1 ]
机构：
[1] Carleton Univ, Dept Syst & Comp Engn, Ottawa, ON K1S 5B6, Canada
来源：
COMPUTING IN SCIENCE & ENGINEERING | 2015年 / 17卷 / 05期
关键词：
PARALLEL;
D O I：
10.1109/MCSE.2015.89
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Embedded systems are becoming pervasive in diverse domains, but their complexity and heterogeneity calls for new, efficient development methods to ensure their reliability and safety. The authors present a discrete-event modeling and simulation methodology based on solid mathematical theory to deal with these issues. The presented methodology also allows model-checking for verifying design properties. © 2015 IEEE.
引用
收藏
页码：52 / 63
页数：12
相关论文
共 50 条
  • [1] MODELING PARADIGMS FOR DISCRETE-EVENT SIMULATION
    SCHRUBEN, L
    YUCESAN, E
    [J]. OPERATIONS RESEARCH LETTERS, 1993, 13 (05) : 265 - 275
  • [2] Conceptual Modeling for Discrete-Event Simulation
    Willemain, Thomas R.
    [J]. INTERFACES, 2011, 41 (06) : 601 - 603
  • [3] Modeling discrete-event systems with constraints
    Seybold, Lothar
    Witczak, Piotr
    Majdzik, Pawel
    [J]. 2013 18TH INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2013, : 789 - 793
  • [4] Embedded supervisory control of discrete-event systems
    Yang, Y
    Gohari, R
    [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2005, : 410 - 415
  • [5] Discrete-event simulation for manufacturing systems
    Mort, N
    [J]. AUTOMATION IN THE STEEL INDUSTRY: CURRENT PRACTICE AND FUTURE DEVELOPMENTS, 1998, : 19 - 19
  • [6] Discrete-event simulation: Modeling, programming, and analysis
    Jaramillo, JD
    [J]. JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2002, 5 (03):
  • [7] Graphical modeling and simulation of discrete-event systems with CD++Builder
    Bonaventura, Matias
    Wainer, Gabriel A.
    Castro, Rodrigo
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2013, 89 (01): : 4 - 27
  • [8] DeMO: An Ontology for Discrete-event Modeling and Simulation
    Silver, Gregory A.
    Miller, John A.
    Hybinette, Maria
    Baramidze, Gregory
    York, William S.
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2011, 87 (09): : 747 - 773
  • [9] Discrete-event simulation input process modeling
    Leemis, LM
    [J]. 1996 WINTER SIMULATION CONFERENCE PROCEEDINGS, 1996, : 39 - 46
  • [10] Modeling continuous flow with discrete-event simulation
    Kuo, SS
    Chen, EJ
    Selikson, PL
    Lee, YM
    [J]. WSC'01: PROCEEDINGS OF THE 2001 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2001, : 1099 - 1103
12345