Performance models of multiprocessor systems
Performance models of multiprocessor systems
Importance sampling for stochastic simulations
Management Science
Fast Simulation of Highly Dependable Systems with General Failure and Repair Processes
IEEE Transactions on Computers
Importance sampling for the simulation of highly reliable Markovian systems
Management Science
Restart: a straightforward method for fast simulation of rare events
WSC '94 Proceedings of the 26th conference on Winter simulation
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
Splitting for rare event simulation: analysis of simple cases
WSC '96 Proceedings of the 28th conference on Winter simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Reliability and Performability Modeling Using SHARPE 2000
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
SMART: Simulation and Markovian Analyzer for Reliability and Timing
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
On the efficiency of RESTART for multidimensional state systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Splitting for rare-event simulation
Proceedings of the 38th conference on Winter simulation
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications
CoSMoS: a visual environment for component-based modeling, experimental design, and simulation
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
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.