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.
| Identifer | oai:union.ndltd.org:METU/oai:etd.lib.metu.edu.tr:http://etd.lib.metu.edu.tr/upload/1053305/index.pdf |
| Date | 01 January 2003 |
| Creators | Ulu, Buket |
| Contributors | Osuztuzun, Halit |
| Publisher | METU |
| Source Sets | Middle East Technical Univ. |
| Language | English |
| Detected Language | English |
| Type | M.S. Thesis |
| Format | text/pdf |
| Rights | To liberate the content for public access |
Page generated in 0.0018 seconds