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 条
  • [21] Product-service systems scenarios simulation based on G-DEVS/HLA: Generalized discrete event specification/high level architecture
    Alix, Thecle
    Zacharewicz, Gregory
    COMPUTERS IN INDUSTRY, 2012, 63 (04) : 370 - 378
  • [22] DEVS-M: A discrete event simulation framework for MANETs
    Celik, Fatih
    JOURNAL OF COMPUTATIONAL SCIENCE, 2016, 13 : 26 - 36
  • [23] Logic gate modeling and simulation using generalized discrete event specifications : G-DEVS
    Naamane, A
    Giambiasi, N
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS, AND INFORMATICS, VOL XVI, PROCEEDINGS, 2004, : 203 - 207
  • [24] GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems
    Giambiasi, N
    Escude, B
    Ghosh, S
    TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL, 2000, 17 (03): : 120 - 134
  • [25] GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems
    Giambiasi, N
    Escude, B
    Ghosh, S
    5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 464 - 469
  • [26] Modeling and simulation of software architecture in discrete event system specification for quality evaluation
    Bogado, Veronica
    Gonnet, Silvio
    Leone, Horacio
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2014, 90 (03): : 290 - 319
  • [27] PL-DEVS: A modeling approach for embedding intelligent planning capability to discrete event simulation models
    Cho, TH
    SYSTEM SIMULATION AND SCIENTIFIC COMPUTING (SHANGHAI), VOLS I AND II, 2002, : 1066 - 1074
  • [28] Parallel Discrete Event Simulation for DEVS Cellular Models Using a GPU
    Seok, Moon Gi
    Kim, Tag Gon
    HIGH PERFORMANCE COMPUTING SYMPOSIUM 2012 (HPC 2012), 2012, 44 (06): : 42 - 48
  • [29] FORMAL METHODS FOR ANALYSIS OF DISCRETE SYSTEMS USING A SPECIFICATION LANGUAGE
    Kryvyi, S. L.
    Chugayenko, A. V.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2009, 45 (04) : 528 - 543
  • [30] DEVS FORMAL MODELING AND SIMULATION IN MANUFACTURING SYSTEMS
    Martina, Cristina Ruiz
    Wainer, Gabriel
    2024 ANNUAL MODELING AND SIMULATION CONFERENCE, ANNSIM 2024, 2024,
12345