Discrete-event systems have gained a lot of interest due to their wide range of applications, and discrete-event simulation is a useful method for the performance evaluation of such systems. In this domain, model-based evaluation methods play an important role and there are many formalisms and realistic experiments using these methods. In this paper, we introduce SimGine, a multi-formalism simulation engine for stochastic discrete-event systems based on SDES, which is a unified abstract description for stochastic discrete-event systems. The engine is also capable of rare-event simulation of models using the importance sampling technique, which makes it the first multi-formalism simulation tool with rare-event simulation capability. The XML-based input language of SimGine allows for definition of the required methods. The body of each method is expressed by codes in a high-level programming language and this provides a powerful and flexible approach for defining events with complex behavior. For the simulation of an existing model, a tool for translating models into the SimGine input language should be prepared. SimGine can be used as a stand-alone simulation tool or as a simulation engine in other tools.
ZimmermannAKnokeMHuckA. Towards version 4.0 of TimeNET. In: Proceedings of the 13th GI/ITG conference on measuring, modelling and evaluation of computer and communication systems (MMB’06), 2006, pp. 1–4.
3.
SandersWHObalWDQureshiMA. The UltraSAN modeling environment. Perform Eval1995; 24(1–2): 89–115.
4.
VittoriniVIaconoMMazzoccaN. The OsMoSys approach to multi-formalism modeling of systems. Softw Syst Model2004; 3(1): 68–81.
5.
HirelCSahnerRZangX. Reliability and performability modeling using SHARPE 2000. In: Proceedings of the 11th international conference on computer performance evaluation: Modelling techniques and tools, 2000, pp. 345–349.
6.
CiardoGMinerAS. SMART: Simulation and Markovian analyzer for reliability and timing. In: Proceedings of the 1996 IEEE international computer performance and dependability symposium, 1996, p. 60.
7.
DeavoursDD. Formal specification of the Möbius modeling framework. PhD Thesis, University of Illinois at Urbana-Champaign, IL, 2001.
8.
WilliamsonAL. Discrete event simulation in the Möbius modeling framework. Master’s Thesis, University of Arizona, AZ, 1998.
9.
BolchGHeroldH. MOSEL – MOdeling Specification and Evaluation Language. In: Proceedings of the2001 Aachen international multiconference on measurement, modelling and evaluation of computer and communication systems, Aachen, Germany, 1995.
10.
WiichnerPDe MeerHBarnerJ. MOSEL-2 – A compact but versatile model description language and its evaluation environment. In: Proceedings of the MMBnet workshop, 2005, pp. 51–59.
11.
ZeiglerBPPraehoferHKimTG. Theory of modeling and simulation: Integrating discrete event and continuous complex dynamic systems. San Diego, CA: Academic Press, 2000.
12.
SarjoughianHSElamvazhuthiV. CoSMoS: A visual environment for component-based modeling, experimental design, and simulation. In: Proceedings of the 2nd international conference on simulation tools and techniques, 2009, p. 59.
13.
KimSSarjoughianHSElamvazhuthiV. DEVS-Suite: A component-based simulation tool for rapid experimentation and evaluation. In: Spring simulation multi-conference, San Diego, CA, 2009.
14.
CastroRKofmanEWainerG. A formal framework for stochastic discrete event system specification modeling and simulation. Simul2010; 86(10): 587–611.
15.
MolloyMK. Performance analysis using stochastic Petri nets. IEEE T Comput1982; C-31(9): 913–917.
16.
MarsanMABalboGConteG. Performance models of multiprocessor systems. Cambridge, MA: The MIT Press, 1986.
17.
MovagharAMeyerJF. Performability modeling with stochastic activity networks. In: Proceedings of the real-time systems symposium, Austin, TX, 1985, pp. 215–224.
18.
MeyerJFMovagharASandersWH. Stochastic activity networks: Structure, behavior, and application. In: Proceedings of the international workshop on timed petri nets, 1985, pp. 106–115.
SandersWHMeyerJF. A unified approach for specifying measures of performance, dependability, and performability. Depend Comput Fault-Tolerant Syst1991; 4: 215–237.
21.
KhaliliAJalaly BidgolyAAbdollahi AzgomiM. PDETool: A multi-formalism modeling tool for discrete-event systems based on SDES description. In: Proceedings of the 30th international conference on application and theory of petri nets and other models of concurrency (ICATPN’09), Paris, France, 22–26 June 2009, pp. 343–352.
22.
KhaliliAAbdollahi AzgomiM. RayLang: A modeling language for performance evaluation of stochastic discrete-event systems. In: Proceedings of the 2009 international middle eastern simulation multiconference (MESM’09), 2009, pp. 119–130.
23.
JunejaSShahabuddinP. Rare event simulation techniques: An introduction and recent advances. In: HendersonSGNelsonBL (eds) Simulation (Handbooks in Operations Research and Management Science, 13). Amsterdam: Elsevier, 2006, pp. 291–350.
24.
ShahabuddinP. Importance sampling for the simulation of highly reliable Markovian systems. Manage Sci1994; 40(3): 333–352.
25.
GlynnPWIglehartDL. Importance sampling for stochastic simulations. Manage Sci1989; 35(11): 1367–1392.
26.
HeidelbergerPShahabuddinP. Splitting for rare event simulation: Analysis of simple cases. In: Proceedings of the 28th conference on winter simulation, 1996, pp. 302–308.
27.
L’EcuyerPDemersVTuffinB. Splitting for rare-event simulation. In: Proceedings of the 2006 winter simulation conference (WSC’06), 2006, pp. 137–148.
28.
KahnHHarrisTE. Estimation of particle transmission by random sampling. Natl Bureau Stand Appl Math Ser1951; 12: 27–30.
29.
Villén-AltamiranoMVillén-AltamiranoJde MadridUP. RESTART: A method for accelerating rare-event simulations. In: Proceedings of the 13th international teletraffic congress, Copenhagen, Denmark, 19–26 June 1991, pp. 71–76.
30.
Villén-AltamiranoMVillén-AltamiranoJ. RESTART: A straightforward method for fast simulation of rare events. In: Proceedings of the 1994 winter simulation conference, 1994, pp. 282–289.
31.
Villén-AltamiranoMVillén-AltamiranoJ. On the efficiency of RESTART for multidimensional state systems. ACM Trans Model Comput Simul (TOMACS)2006; 16(3): 251–279.
32.
ObalWDII. Importance sampling simulation of SPN-based reward models. Master’s Thesis, University of Arizona, AZ, 1993.
33.
NicolaVFNakayamaMKHeidelbergerP. Fast simulation of highly dependable systems with general failure and repair processes. IEEE T Comput1993; 42(12): 1440–1452.
