Return to search

Monitoring And Checking Of Discrete Event Simulations

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.

Identiferoai:union.ndltd.org:METU/oai:etd.lib.metu.edu.tr:http://etd.lib.metu.edu.tr/upload/1053305/index.pdf
Date01 January 2003
CreatorsUlu, Buket
ContributorsOsuztuzun, Halit
PublisherMETU
Source SetsMiddle East Technical Univ.
LanguageEnglish
Detected LanguageEnglish
TypeM.S. Thesis
Formattext/pdf
RightsTo liberate the content for public access

Page generated in 0.0018 seconds