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 条

[31] DEVS modeling and simulation methodollogy: Multifacetted systems
Zeigler, BP
PROCEEDINGS OF THE 1998 CONFERENCE ON MISSION EARTH: MODELING AND SIMULATION OF THE EARTH SYSTEM, 1998, : 52 - 52
[32] Discrete event simulation: Modeling, programming and analysis.
Modi, JA
INTERFACES, 2003, 33 (06) : 113 - 115
[33] TOWARDS A COMPONENT BASED CONCEPTUAL MODELING LANGUAGE FOR DISCRETE EVENT SIMULATION
Cetinkaya, Deniz
Verbraeck, Alexander
Seck, Mamadou
EUROPEAN SIMULATION AND MODELLING CONFERENCE 2010, 2010, : 67 - 74
[34] Discrete-event simulation: Modeling, programming, and analysis
Jaramillo, JD
JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2002, 5 (03):
[35] SUPERVISOR SPECIFICATION AND SYNTHESIS FOR DISCRETE EVENT SYSTEMS
LIN, F
WONHAM, WM
INTERNATIONAL JOURNAL OF CONTROL, 1988, 48 (01) : 321 - 332
[36] MODELING COMPLEX MANUFACTURING SYSTEMS USING DISCRETE EVENT SIMULATION
SCHROER, BJ
TSENG, FT
COMPUTERS & INDUSTRIAL ENGINEERING, 1988, 14 (04) : 455 - 464
[37] Discrete-Event Modeling and Simulation for. Embedded Systems
Niyonkuru, Daniella
Wainer, Gabriel A.
COMPUTING IN SCIENCE & ENGINEERING, 2015, 17 (05) : 52 - 63
[38] A specification language for traffic modeling and simulation
Davidson, A
Wainer, G
WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 8, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS, 1999, : 274 - 281
[39] Transforming classic Discrete Event System Specification models to Specification and Description Language
Fonseca i Casas, Pau
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2015, 91 (03): : 249 - 264
[40] Development of Discrete Event System Specification (DEVS) Building Performance Models for Building Energy Design
Gunay, Huseyin Burak
O'Brien, Liam
Goldstein, Rhys
Breslav, Simon
Khan, Azam
SYMPOSIUM ON SIMULATION FOR ARCHITECTURE AND URBAN DESIGN (SIMAUD 2013) - 2013 SPRING SIMULATION MULTI-CONFERENCE (SPRINGSIM' 13), 2013, 45 (08): : 162 - 169

← 1 2 3 4 5 →