Forgot your password?
Svetoslav Nikolow, Bulgaria (in cooperation with WELISA)
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 | drpeterkemper@gmail.com |
| Add event to calendar |
vCal
iCal
|
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
First Prize at the Second International Biomodellling Competition Dagstuhl 2011