An integrated framework for automated simulation of SysML models using DEVS

被引:38
作者
Kapos, George-Dimitrios [1 ]
Dalakas, Vassilis [1 ]
Nikolaidou, Mara [1 ]
Anagnostopoulos, Dimosthenis [1 ]
机构
[1] Harokopio Univ Athens, Dept Informat & Telemat, Athens 17671, Greece
来源
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL | 2014年 / 90卷 / 06期
关键词
Simulation methodology; DEVS; SysML; automated code generation; model transformation; simulation tools; MDA; QVT; case study;
D O I
10.1177/0037549714533842
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
System models are constructed to design, study, and understand complex systems. According to the systems modeling language (SysML) that is a standard for model-based system engineering, all engineering activities should be performed using a common model. To validate complex system models defined in SysML, simulation is usually employed. There are numerous efforts to simulate SysML models using different simulation methods and tools. However, the efficient support of automated generation of executable simulation code is still an issue tangled by the research community. This paper introduces DEVSys, an integrated framework for utilizing existing SysML models and automatically producing executable discrete event simulation code, according to model driven architecture (MDA) concepts. Although this approach is not simulation-specific, discrete event system specification (DEVS) was employed, due to the similarities between SysML and DEVS, mainly in system structure description, and the mature, yet ongoing research on expressing executable DEVS models in a simulator-neutral manner. DEVSys framework elements include (a) a SysML profile for DEVS, enabling integration of simulation capabilities into SysML models, (b) a meta-model for DEVS, allowing the utilization of MDA concepts and tools, (c) a transformation of SysML models to DEVS models, using a standard model transformation language as query/view/transform (QVT), and (d) the generation of DEVS executable code for a DEVS simulation environment with an extensible markup language (XML) interface. The definition and implementation of DEVSys elements, as well as the process for its application are demonstrated and discussed, with the aid of a simple working example.
引用
收藏
页码:717 / 744
页数:28
相关论文
共 40 条
[1]  
[Anonymous], 2006, SYST ENG HDB GUID LI
[2]  
[Anonymous], 2006, MCGRAW HILL SERIES I
[3]  
[Anonymous], 2008, 2008 IEEE INT EL DEV, DOI DOI 10.1109/IEDM.2008.4796806
[4]  
Batarseh O, P 2012 WINT SIM C WS, P258
[5]  
Hosking M, 2009, SPRINGSIM 09, P1
[6]  
Huang E, 2007, PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, P775
[7]   Reachability Graph of Finite and Deterministic DEVS Networks [J].
Hwang, Moon Ho ;
Zeigler, Bernard P. .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2009, 6 (03) :468-478
[8]  
Kapos GD, 2014, ANN IEEE SYST CONF, P531, DOI 10.1109/SysCon.2014.6819307
[9]   A formal framework for capturing knowledge to transform structural models into analysis models [J].
Kerzhner, A. A. ;
Jobe, J. M. ;
Paredis, C. J. J. .
JOURNAL OF SIMULATION, 2011, 5 (03) :202-216
[10]  
L?pez-Pe?a, 2007, SPRINGSIM 07, P279