Monitoring and checking of discrete event simulations

Download
index.pdf
2003
Ulu, Buket
Show full item record
152
views
0
downloads
Discrete event simulation is a widely used technique for decision support. The results of the simulation must be reliable for critical decision making problems. Therefore, much research has concentrated on the verification and validation of simulations. In this thesis, we apply a well-known dynamic verification technique, assertion checking method, as a validation technique. Our aim is to validate the particular runs of the simulation model, rather than the model itself. As a case study, the operations of a manufacturing cell have been simulated. The cell, which is METUCIM Laboratory at the Mechanical Engineering Department of METU, has a robot and a conveyor to carry the materials, and two machines to manufacture the items, and a quality control to measure the correctness of the manufactured items. This simulation is monitored and checked by using the Monitoring and Checking (MaC) tool, a prototype developed at the University of Pennsylvania. The separation of low-level implementation details (pertaining to the code) from the high-level requirement specifications (pertaining to the simuland) helps keep monitoring and checking the simulations at an abstract level.
Computer simulation, Mathematical models
http://etd.lib.metu.edu.tr/upload/1053305/index.pdf
https://hdl.handle.net/11511/13681
Graduate School of Natural and Applied Sciences, Thesis

Suggestions

Stochastic modeling of biochemical systems with filtering and smoothing
Haksever, Merve; Uğur, Ömür; Department of Scientific Computing (2019)
Deterministic modeling approach is the traditional way of analyzing the dynamical behavior of a reaction network. However, this approach ignores the discrete and stochastic nature of biochemical processes. In this study, modeling approaches, stochastic simulation algorithms and their relationships to each other are investigated. Then, stochastic and deterministic modeling approaches are applied to biological systems, Lotka-Volterra prey-predator model, Michaelis-Menten enzyme kinetics and JACK-STAT signalin...
Schedulability analysis of real-time multi-frame co-simulations on multi-core platforms
Ahsan, Muhammad Uzair; Oğuztüzün, Mehmet Halit S.; Department of Computer Engineering (2020)
For real-time simulations, the fidelity of simulation does not depend only on the functional accuracy of simulation but also on its timeliness. It is helpful for developers if we can analyze and verify that a simulation will always meet its timing requirements while keeping an acceptable level of accuracy. Abstracting the simulated processes simply as software tasks allows us to transform the problem of verifying timeliness into a schedulability analysis problem where tasks are checked if they are schedulab...
Implementing KQML agent communication language for multiagent simulation architectures on HLA
Göktürk, Erek; Polat, Faruk; Department of Computer Engineering (2003)
Multiagent simulation is gaining popularity due to its intuitiveness and ability in coping with domain complexity. HLA, being a distributed simulation architecture standard, is a good candidate for implementing a multiagent simulation infrastructure on, provided that agent communication can be implemented. HLA, being a standard designed towards a wide coverage of simulation system architectures and styles, is not an easy system to master. In this thesis, an abstraction layer called the Federate Abstraction ...
Scheduling approaches for parameter sweep applications in a heterogeneous distributed environment
Karaduman, Gülşah; Şener, Cevat; Alpdemir, Mahmut Nedim; Department of Computer Engineering (2010)
In this thesis, the focus is on the development of scheduling algorithms for Sim-PETEK which is a framework for parallel and distributed execution of simulations. Since it is especially designed for running parameter sweep applications in a heterogeneous distributed computational environment, multi-round and adaptive scheduling approaches are followed. Five different scheduling algorithms are designed and evaluated for scheduling purposes of Sim-PETEK. Development of these algorithms are arranged in a way t...
Schedulability analysis of real-time multiframe cosimulations on multicore platforms
Ahsan, Muhammad Uzair; Oğuztüzün, Mehmet Halit S. (The Scientific and Technological Research Council of Turkey, 2019-01-01)
For real-time simulations, the fidelity of simulation depends not only on the functional accuracy of simulation but also on its timeliness. It is helpful for simulation designers if they can analyze and verify that a simulation will always meet its timing requirements without unnecessarily sacrificing functional accuracy. Abstracting the simulated processes simply as software tasks allows us to transform the problem of verifying timeliness into a schedulability analysis problem where tasks are checked as to...
Citation Formats
B. Ulu, “Monitoring and checking of discrete event simulations,” M.S. - Master of Science, Middle East Technical University, 2003.
METU IIS - Integrated Information Service open@metu.edu.tr