DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems

被引：17
|
作者：
Hong, KJ [1 ]
Kim, TG [1 ]
机构：
[1] Korea Adv Inst Sci & Technol, EECS Dept, Taejon 305701, South Korea
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 2006年 / 48卷 / 04期
关键词：
discrete event system; DEVS formalism; DEVS specification language; model testing; seamless design framework;
D O I：
10.1016/j.infsof.2005.04.008
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes it DEVS modeling language called DEVS Specification Language (DEVSpecL) based on which discrete event systems are modeled, simulated and analyzed within a DEVS-based framework for seamless systems design. Models specified in DEVSpecL can be translated in different forms of codes by code generators, which are executed with various tools for models verification, logical analysis, performance evaluation, and others. (c) 2005 Elsevier Ltd All rights reserved.
引用
收藏
页码：221 / 234
页数：14
相关论文
共 50 条
  • [41] Validation of discrete event high level specification by simulation
    Jumpamule, W
    Giambiasi, N
    Paillet, JL
    MODELLING AND SIMULATION 2001, 2001, : 230 - 234
  • [42] DEVS-WSN : a discrete event approach for Wireless Sensor Network simulation
    Antoine-Santoni, T.
    Santucci, J. F.
    De Gentili, E.
    Costa, B.
    2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 895 - 898
  • [43] Modeling and specification of discrete event systems using combined process algebra and Petri Nets
    Falkman, P
    Lennartson, B
    Tittus, M
    2001 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS PROCEEDINGS, VOLS I AND II, 2001, : 1011 - 1016
  • [44] Modeling and simulation of complex systems with Cell-DEVS
    Wainer, GA
    PROCEEDINGS OF THE 2004 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2004, : 49 - 60
  • [45] Mathematical description of a discrete event simulation (DEVS) using factor analytic method
    Rodriquez, J.
    Miller, J. O.
    Bauer, K. W.
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 2012, 63 (09) : 1179 - 1188
  • [46] Supporting dynamic simulations with Simulation Modeling Architecture (SiMA): a Discrete Event System Specification-based modeling and simulation framework
    Deniz, Fatih
    Alpdemir, M. Nedim
    Kara, Ahmet
    Oguztuzun, Halit
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2012, 88 (06): : 707 - 730
  • [47] Object-oriented business process modeling and simulation: A discrete event system specification framework
    Management Information Systems, College of Business and Public Administration, University of Arizona, Tucson, AZ 85721, United States
    不详
    不详
    Simulation Practice and Theory, 1998, 6 (06): : 533 - 571
  • [48] Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification
    Lee, Hae Young
    Lee, So Jin
    2016 ACM/IEEE 7TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2016,
  • [49] Multicore acceleration of Discrete Event System Specification systems
    Liu, Qi
    Wainer, Gabriel
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2012, 88 (07): : 801 - 831
  • [50] Extended self-reproducible Discrete Event System Specification (DEVS) formalism using hidden inheritance
    Park, Sangjoon
    Yoo, Seong-Moo
    INFORMATION SCIENCES, 2015, 292 : 75 - 94
12345