13th European Simulation Multiconference Warsaw, Poland, June 1-4, 1999 Track S3. Simulation Validation Methodologies

CHAIRS

Track Chair
Prof. Steven Stevenson, University of Clemson, USA
Email: steve@cs.clemson.edu

Program Chair
Dr. Jörg Desel, University of Karlsruhe, Germany
Email: desel@aifb.uni-karlsruhe.de

The term validation is applied to those processes which seek to determine whether or not a simulation is correct with respect to the "real" system. More prosaically, validation is concerned with the question "Are we building the right system?". Verification, on the other hand, seeks to answer the question "Are we building the system right?"

This track is interested in simulation validation methodologies: methodologies to support the process of constructing a simulation model and then aiding the validation of this model to the "real" system. These system models can be discrete, continuous or hybrid. Application areas range from information systems to engineering and scientific systems. Relevant parameters include performance, properties given by formal or informal requirements, exception handling etc. In this conference track, contributions from all areas of simulation and validation are solicited. Topics include, but are not limited to those given below.

TOPICS:

• Success stories, i.e. application of validation methodologies in practice.
• Horror stories (why did a validation fail).
• Foundations of validation methodologies.
• Formal methods incorporating statistics, logic or uncertainty.
• Philosophical papers relating to confirmation in science.
• Algorithms and tools.
• User interfaces and visualisation techniques.
• Validation of requirements by simulation of systems.
• Validation techniques such as Petri nets, neural networks, fuzzy systems.
• Design and implementation methodologies to assist of the validation effort.

FURTHER INFORMATION: http://www.cs.clemson.edu/~steve/cfp.html

International Program Committee: 

• Rainer Barton, University of Bremen, Germany, e-mail: barton@informatik.uni-bremen.de
• Jörg Desel, Co-Chair, University of Karlsruhe, Germany, e-mail: desel@aifb.uni-karlsruhe.de
• András Jávor, Technical University of Budapest, Hungary, e-mail: javor@goliat.eik.bme.hu
• David Murray-Smith, University of Glasgow, U. K., e-mail: D.Murraysmith@elec.gla.ac.uk
• Tuncer Ören, Marmara Research Center, Turkey and University of Ottawa, Canada, e-mail: oren@site.uottawa.ca
• Ernest Page, Mitre Corporation, USA
• Ray J. Paul, Brunel University, U. K., e-mail: ray.paul@brunel.ac.uk
• Michael Sonnenschein, University of Oldenburg, Germany, e-mail: Michael.Sonnenschein@informatik.uni-oldenburg.de
• D. E. (Steve) Stevenson, Co-Chair, Clemson University, USA, steve@cs.clemson.edu

ESM'99 conference information: Helena Szczerbicka, SCS Europe Office, Alexander Verbraeck. SCS Europe, 1998