Personal tools
You are here: Home events Peter Kemper, Williamsburg, USA
Log in

Forgot your password?
Document Actions

Peter Kemper, Williamsburg, USA

What Invited talk
When 2010-04-09
from 09:00 to 11:00
Where R: 203, Dep. of. Biology, Lecture Hall Building, A.-Einstein-Str.3
Contact Name Peter Kemper
Contact Email
Add event to calendar vCal
last modified 2010-11-16 18:25

Analysis of Simulation Traces for the Verification of Discrete Event Simulation Models

Simulation modeling is widely applied in practice due to its few restrictions. It is supported by many tools to make modeling systems convenient and productive. The crux in simulation is not to compute numbers but to obtain reasonable accurate ones with respect to the real system that is modeled. In the broader context of verification and validation of simulation models, this talk focuses on techniques and tool support to trace errors in the code of discrete event simulation models. We present a variety of techniques including model checking, recovering model invariants and visualization techniques that are based on simulation traces. Those techniques are demonstrated with the help of Traviando, a software tool for trace analysis and visualization.

Prof. Dr. Peter Kemper
 Department of Computer Science
College of William and Mary
P.O. Box 8795
Williamsburg, VA 23187-8795

More information about this event…

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: