The Discrete Event System Specification formalism (DEVS), which supports hierarchical and modular model composition, has been widely used to understand, analyze and develop a variety of systems. DEVS has been implemented in various languages and platforms over the years. The DEVStone benchmark was conceived to generate a set of models with varied structure and behavior, and to automate the evaluation of the performance of DEVS-based simulators. However, DEVStone is still in a preliminar phase and more model analysis is required. In this paper, we revisit DEVStone introducing new equations to compute the number of events triggered. We also introduce a new benchmark, called HOmem, designed as an alternative version of HOmod, with similar CPU and memory requirements, but with an easier implementation and analytically more manageable. Finally, we compare both the performance and memory footprint of five different DEVS simulators in two different hardware platforms.
翻译:离散事件系统规范形式化方法(DEVS)通过支持层次化与模块化模型组合,已被广泛应用于各类系统的理解、分析与开发。多年来,DEVS已在多种编程语言和平台上得到实现。DEVStone基准测试最初旨在生成一组具有多样结构及行为特征的模型,并实现基于DEVS的仿真器性能自动化评估。然而,DEVStone仍处于初步阶段,需要更深入的模型分析。本文重新审视DEVStone,引入新的方程来计算触发事件数量。同时提出一种新基准测试HOmem,作为HOmod的替代版本,其CPU与内存需求相近,但实现更简便且解析性更强。最后,我们在两种不同硬件平台上比较了五种DEVS仿真器的性能与内存占用情况。