[ http://www.cs.clemson.edu/~steve/ivandv/ResearchCallv2.pdf ]
Verification and Validation Research in the Coming Decade
FOUNDATIONS '02
CALL FOR PAPERS
Verification and Validation Research in the Coming Decade
October 22-24, 2002
Kissiakoff Convention and Education Center,
Johns Hopkins University, Applied Physics Laboratory,
Laurel, MD
FOUNDATIONS '02 will be an international workshop on verification and
validation of models and simulations. The purpose of the Workshop is
to examine the state of the art in verification and validation
technology and to outline significant research directions for the
coming decade. The sessions are listed below. For more details, see
http://www.dmso.mil/index.php?page=1141
We are seeking authors to discuss research issues in V&V. Each paper
will be twenty minutes in length followed by a ten minute question and
answer period. We initially have room for six papers. These papers
should address an area of research of significant magnitude to be of
broad interest. Examples of such topics are, but not constrained to,
the following:
* Verification of models and simulations in a specific scientific or
engineering discipline.
* Validation of models and simulations in a specific scientific or
engineering discipline.
* Tools for validation and verification of M&S beyond the current state
of the art.
* Development methodology to enhance V&V.
* Mathematical and statistical issues in V&V research.
* Management Issues in V&V.
* Economic Issues in V&V.
* Accredation Issues as part of V&V.
Proposals for research topic papers should be a one page abstract
sufficiently detailed for the program committee to assess the breadth
and depth of the presentation. Abstracts in text, Word, postscript, or
pdf will be accepted.
Abstract Submission
Abstracts should be submitted to the Research Tutorial Chairman by
February 15, 2002. Notification will be by March 1, 2002.
Research Tutorial Chairman
Dr. D. E. Stevenson
442 Edwards Hall
Department of Computer Science
Clemson University
PO Box 340974
Clemson, SC 29634-0974
Vox: 864-656-5880
Fax: 864-656-0145
Email: steve@cs.clemson.edu
SESSIONS
TRACK A TOPICS (the focus is on validation when V&V is used below):
A1. Verification Technology Potential with Different M&S Development
& Implementation Paradigms.
A2. Selected V&V (especially validation) Methods and Technologies.
A3. M&S Assessment.
A4. Subject Matter Expert (SME)/Peer Use in M&S V&V.
A5. Use of Formal Methods in V&V (especially validation).
A6. Implications of Basic M&S Characteristics for V&V.
TRACK B TOPICS (the focus is on validation when V&V is used below):
B1. V&V (especially validation) for M&S in Computational Science
and Engineering Applications.
B2. V&V for M&S with hardware or systems in the loop (including
all manifestations of distributed simulations).
B3. V&V (especially validation) for M&S with Human Behavior
Representation or People in the Loop.
B4. Estimating V&V Resource Requirements and Schedule Impact.
B5. V&V (especially validation) for M&S which employ Adaptive
Processing such as AI, neural nets, genetic algorithms, fuzzy
sets, etc.
B6. V&V (especially validation) for M&S which employ significant
aggregation.
TUTORIALS
T1. V&V Education in Academia
T2. Managing V&V
T3. V&V Research
T4. V&V Issues and Implications for M&S Reuse.
T5. Formal Systems and Their V&V Utility.
T6. V&V Tools, Templates, and other Resources.
T7. V&V policies, guides, handbooks, and standards (within the
Defense community and from other authorities such as DOE/ASCI
program, professional societies, etc.
T8. V&V Education the Workplace.
__________________________________________________________________________
To be removed from this list, send a message with "unsubscribe info-hol"
as its sole content to majordomo@lal.cs.byu.edu
For more information see http://lal.cs.byu.edu/lal/hol-documentation.html