DOC

Actual Program for Foundations 02

By Russell Ray,2014-06-28 15:09
8 views 0
Actual Program for Foundations 02 ...

    Actual Program for Foundations 02 has actual chairs & recorders, papers, and presentations.

    Session A1: Verification Technology Potential with Different M&S Development &

    Implementation Paradigms

Session A1 leaders:

    Co-Chairs: Robert O. Lewis (Boeing) and Reed Little (SEI).

    Session Recorder: John Carr, III (Naval Surface Warfare Center)

    A1 Materials in Foundations ’02 proceedings:

    Paper

    Verification Technology Potential with Different Modeling and Simulation Development

    and Implementation Paradigms (40 pp) [A1.pdf]

    Garth R. MacKenzie (University of Maryland)

    G. Gordon Schulmeyer (PYXIS Systems)

    Levent Yilmaz (Trident Systems)

    Slides (may contain back-up materials and notes)

    Verification Technology Potential with Different Modeling and Simulation Development

    and Implementation Paradigms (43 slides) [A1B.pdf & A1B.ppt same in both formats]

    Garth R. MacKenzie (University of Maryland)

    G. Gordon Schulmeyer (PYXIS Systems)

    Levent Yilmaz (Trident Systems)

A1 Session Discussion

*********************************

    Session A2: Selected V&V (especially validation) Methods and Techniques

Session A2 Leaders:

    Co-chairs:

    Jim Cavendish (General Motors)

    Kevin Greenaugh (DOE National Nuclear Security Administration)

    Recorder: Michael McKay (Los Alamos Nartional Laboratory)

    A2 Materials in Foundations ’02 Proceedings:

    Papers

    Statistical Foundations for the Validation of Computer Models (28 pp) [A2_combo]

    Robert G. Easterling (Statistical Consultant)

    James Berger (Duke University & National Institute of Statistical Sciences)

Measuring Predictive Capability of Computational Models: Foam Degradation Case

    Study (20 pp) [A2_easterling]

    Robert G. Easterling (Statistical Consultant)

A Framework for Validation of Computer Models (59 pp) [A2_berger]

    M. J. Bayarri (National Institute of Statistical Sciences)

    James Berger (Duke University & National Institute of Statistical Sciences)

    D. Higdon (National Institute of Statistical Sciences)

    M. C. Kennedy (National Institute of Statistical Sciences)

    A. Kottas (National Institute of Statistical Sciences)

    R. Paulo (National Institute of Statistical Sciences)

    J. Sacks (National Institute of Statistical Sciences)

    J. A. Cafeo (General Motors)

    J. Cavendish (General Motors)

    C. H. Lin (General Motors)

    J. Tu (General Motors)

     Slides (may contain back-up materials and notes)

Statistical Foundations for the Validation of Computer Models (54 slides)

    [A2B_easterling1 both pdf & ppt formats]

    Robert G. Easterling (Statistical Consultant)

    James Berger (Duke University & National Institute of Statistical Sciences)

Extra Points (14 slides) [A2B_easterling2 both pdf & ppt formats]

    Robert G. Easterling (Statistical Consultant)

A Framework for Validation of Computer Models (36 slides) [A2B_berger both pdf &

    ppt formats]

    M. J. Bayarri (National Institute of Statistical Sciences)

    James Berger (Duke University & National Institute of Statistical Sciences)

    D. Higdon (National Institute of Statistical Sciences)

    M. C. Kennedy (National Institute of Statistical Sciences)

    A. Kottas (National Institute of Statistical Sciences)

    R. Paulo (National Institute of Statistical Sciences)

    J. Sacks (National Institute of Statistical Sciences)

    J. A. Cafeo (General Motors)

    J. Cavendish (General Motors)

    C. H. Lin (General Motors)

    J. Tu (General Motors)

    A2 Session Discussion

    ******************************

    Session A4: Subject Matter Expert (SME)/Peer Use in M&S V&V

    Session A4 leaders:

    Co-Chairs: Bill Dunn (IITRI) and Bill Waite (Aegis Technology Group)

Session Recorder: Bob Senko (DMSO)

    A4 Materials in Foundations ’02 Proceedings:

Paper

Subject Matter Expert (SME)/Peer Use in M&S V&V (34 pp)

    Dale Pace (JHU/APL)

    Jack Sheehan (DMSO & DOTE C3I & Strategic Systems Directorate)

Slides (may contain back-up materials and notes)

Subject Matter Expert (SME)/Peer Use in M&S V&V (44 slides) [A4B both pdf & ppt

    formats]

    Dale Pace (JHU/APL)

    Jack Sheehan (DMSO & DOTE C3I & Strategic Systems Directorate)

    A4 Discussion Synopsis

    *********************************

    Combined A5-T5 Session

    Use of Formal Methods in V&V/ Formal Systems and Their V&V Utility

    Session A5-T5 leaders:

    Co-Chairs:

    Dan Craigen (ORA, Canada)

    Dirk Brade (Universität der Bundeswehr München, Germany)

    Session Recorder: Brad Martin (NSA)

    A5 Materials in Foundations ’02 Proceedings:

Papers

Cost Effective Use of Formal Methods in Verification and Validation (38 pp)

    [A5T5_kuhn]

    Richard Kuhn (NIST)

    Ramaswamy Chandramouli (NIST)

    Ricky W. Butler (NASA/Langley Research Center)

    Infusing and Selecting V&V Activities (15 pp) [A5T5_feather]

    Martin Feather (NASA Jet Propulsion Laboratory (JPL) at Cal Tech)

Slides (may contain back-up materials and notes)

Cost Effective Use of Formal Methods in Verification and Validation (18 slides)

    [A5T5B_kuhn in both pdf & ppt formats]

    Richard Kuhn (NIST)

    Ricky W. Butler (NASA/Langley Research Center)

    Security Functional Testing Using Model-based Test Automation Approach (22 slides)

    [A5T5B_ Chandramouli in both pdf & ppt formats]

    Ramaswamy Chandramouli (NIST)

    Infusing and Selecting V&V Activities (29 slides) [A5T5B_feather in both pdf & ppt

    formats]

    Martin Feather (NASA Jet Propulsion Laboratory (JPL) at Cal Tech)

A5T5 Discussion Synopsis

******************************

    Session A6: Implications of M&S Foundations

Session A6 leaders:

    Co-Chairs:

    Michael Moulding (Cranfield University, UK)

    Dave Thomen (Army Modeling and Simulation Management Office)

    A6 Materials in Foundations ’02 proceedings:

    Paper

    Implications of M&S Foundations for the V&V of Large Scale Complex Simulation

    Models (50 pp)

    Bernard P. Zeigler (University of Arizona)

    Hessam S. Sarjoughian (Arizona State)

    Slides (may contain back-up materials and notes)

    Implications of M&S Foundations for the V&V of Large Scale Complex Simulation

    Models (78 slides) [A6B in both pdf and ppt formats]

    Bernard P. Zeigler (University of Arizona)

    Hessam S. Sarjoughian (Arizona State)

A6 Discussion Synopsis

*********************************

    Session B1 V&V (esp. validation) for M&S in Computational Science and Engineering Applications

Session B1 leaders:

    Co-Chairs: Unmeel Mehta (NASA/Ames) and Hans Mair (IDA)

    Session Recorder: Len Schwer (Schwer Engineering & Consulting)

    B1 Materials in Foundations ’02 proceedings:

    Paper

    Verification, Validation, and Predictive Capability in Computational Engineering and

    Physics (74 pp)

    William L. Oberkampf (Sandia National Laboratories)

    Timothy G. Trucano (Sandia National Laboratories)

    Charles Hirsch (Vrije Universiteit Brussel -- Brussels, Belgium)

    Slides (may contain back-up materials and notes)

    Verification, Validation, and Predictive Capability in Computational Engineering and

    Physics (36 slides) [B1B only in pdf format]

    William L. Oberkampf (Sandia National Laboratories)

    Timothy G. Trucano (Sandia National Laboratories)

    Charles Hirsch (Vrije Universiteit Brussel -- Brussels, Belgium)

Supplemental Presentations

There were two supplemental, alternative view, presentations that are documented by the

    viewfoils used in presentations by Hugh Coleman and Unmeel Mehta. The slides of these

    presentations follow the discussion below.

B1 Discussion Synopsis

***********************************

    Session B2: V&V for M&S with Hardware or Systems in the Loop

Session B2 leaders:

    Co-Chairs: Dave Bort (JHU/APL) & Bill Ormsby (Naval Surface Warfare Center)

    B2 Materials in Foundations ’02 proceedings:

    Paper

    Validation of Hardware in the Loop (HWIL) & Distributed Simulation Systems (83 pp)

    Bill Waite (Aegis Technology Group)

    Alexander Jolly (RDEC, Army Aviation and Missile Command)

    Steven J. Swenson (Naval Undersea Warfare Center)

    Lt Col Seth Shepherd (US Air Force Electronic Warfare Evaluation Simulator

    Test Facility)

    Robert Gravitz (Aegis Technology Group)

Slides (may contain back-up materials and notes)

V&V for M&S with hardware or systems in the loop(including all manifestations of

    distributed simulations) (133 slides) [B2B in both pdf and ppt formats]

    Bill Waite (Aegis Technology Group)

    Alexander Jolly (RDEC, Army Aviation and Missile Command)

    Steven J. Swenson (Naval Undersea Warfare Center)

    Lt Col Seth Shepherd (US Air Force Electronic Warfare Evaluation Simulator

    Test Facility)

    Robert Gravitz (Aegis Technology Group)

    B2 Discussion Synopsis

    *********************************

    Session B3

    V&V (especially validation) for M&S with Human Behavior Representation

    or People in the Loop

    Session B3 leaders:

    Co-Chairs: John Tyler (MITRE) and Sue Numrick (DMSO)

    Session Recorder: Randy Saunders (JHU/APL)

    B3 Materials in Foundations ’02 proceedings:

Papers

Introduction to Session B3: V&V for M&S with Human Behavior Representation or

    People in the Loop (1 page) [B3_intro]

    Scott Harmon (Zetetix)

    Archie E. Dillard (FAA Flight Standards Service)

Validation of Human Behavior Representations (34 pp) [B3_harmon]

    S.Y. Harmon (Zetetix)

    C.W.D. Hoffman (U.S. Army White Sands Missile Range)

    A.J. Gonzalez (University of Central Florida)

    R. Knauf (Technische Universität Ilmenau, Ilmenau, Germany)

    V.B. Barr (Hofstra University)

Validation of Advance Flight Simulators for Human-Factors Operational Evaluation and

    Training (87 pp) [B3_dillard]

    Archie E. Dillard (FAA Flight Standards Service

Slides (may contain back-up materials and notes)

Validation of Human Behavior Representations (51 slides) [B3B_harmon in both pdf and

    ppt formats]

    S.Y. Harmon (Zetetix)

    C.W.D. Hoffman (U.S. Army White Sands Missile Range)

    A.J. Gonzalez (University of Central Florida)

    R. Knauf (Technische Universität Ilmenau, Ilmenau, Germany)

    V.B. Barr (Hofstra University)

Validation of Advance Flight Simulators for Human-Factors Operational Evaluation and

    Training Programs (33 slides) [B3B_dillard in both pdf and ppt formats]

    Archie E. Dillard (FAA Flight Standards Service

    B3 Discussion Synopsis

    **********************************

Session B4: Estimating V&V Resource Requirements and Schedule Impact

    Session B4 leaders:

    Co-Chairs:

    Roger Logan (Lawrence Livermore National Laboratories)

    David Fritz (JHU/APL).

    Session Recorder: Richard Bernstein (JHU/APL)

    B4 Materials in Foundations ’02 proceedings:

Paper

Estimating V&V Resource Requirements and Schedule Impact (106 pp)

    Michelle Kilikauskas (Joint Accreditation Support Activity, JASA)

    Dirk Brade (Universität der Bundeswehr München, Germany)

    Bob Gravitz (Aegis Technology Group)

    Dave Hall (SURVICE Engineering Company)

    Martha Hoppus (Joint Accreditation Support Activity, JASA)

    Ron Ketcham (Naval Air Warfare Center/Weapons Division)

    Robert O. Lewis (Boeing)

    Michael Metz (IMC)

Slides (may contain back-up materials and notes)

Estimating V&V Resource Requirements and Schedule Impact (149 slides) [in both pdf

    and ppt formats]

    Michelle Kilikauskas (Joint Accreditation Support Activity, JASA)

    Dirk Brade (Universität der Bundeswehr München, Germany)

    Bob Gravitz (Aegis Technology Group)

    Dave Hall (SURVICE Engineering Company)

    Martha Hoppus (Joint Accreditation Support Activity, JASA)

    Ron Ketcham (Naval Air Warfare Center/Weapons Division)

    Robert O. Lewis (Boeing)

    Michael Metz (IMC)

B4 Discussion Synopsis

**********************************************8

    Session B5: V&V (especially validation) for M&S which employ Adaptive Processing

Session B5 leaders:

    Co-Chairs:

    Randall Shumaker (U. of Central Florida Institute for Simulation and Training)

    Bernard P. Zeigler (University of Arizona)

    Session Recorder: David Gross (Boeing)

B5 Materials in Foundations ’02 proceedings:

    Paper

    Verification and Validation and Artificial Intelligence (71 pp)

    Tim Menzies (University of West Virginia)

    Slides (may contain back-up materials and notes)

    V & V & AI: Verification and Validation and Artificial Intelligence (94 slides) [in both

    pdf and ppt formats]

    Tim Menzies (University of West Virginia)

B5 Discussion Synopsis

*******************************************

    Session B6

    V&V (especially validation) for M&S which employ Significant Aggregation

Session B6 leaders:

    Co-Chairs: Andreas Tolk (VMASC/ODU) and Robin Miller (UK MoD)

    Session Recorder: Bob Senko (DMSO)

    B6 Materials in Foundations ’02 proceedings:

    Paper

    Implications of Metamodeling, Multi-Resolution Modeling (MRM), and Exploratory

    Analysis for Validation (46 pp)

    Paul Davis (RAND)

    Jim Bieglow (RAND)

    Slides (may contain back-up materials and notes)

    Implications of Metamodeling, Multi-Resolution Modeling (MRM), and Exploratory

    Analysis for Validation (72 slides) [in both pdf and ppt formats]

    Jim Bieglow (RAND)

    Paul Davis (RAND)

B6 Discussion Synopsis

***********************************

    V&V Education in Academia Session T1:

Session T1 leaders:

    Co-Chairs: Virginia Dobey (DMSO) & David Luginbuhl (Western Carolina U.)

    T1 Materials in Foundations ’02 proceedings:

    Paper

    The Role of Educational Institutions in Verification and Validation Preparation (12 pp)

    J. Desel (Katholische Universität Eichstätt-Ingolstadt

    Lehrstuhl für Angewandte Informatik, Eichstätt, Germany)

    P. Gray (University of Northern Iowa)

    R. Panoff (Shodor Education Foundation, Inc.)

    D. E Stevenson (Clemson University)

    Slides (may contain back-up materials and notes)

    Teaching System Modeling, Simulation and Validation (26 slides) [T1B_desel in both pdf

    and ppt formats]

    J. Desel (Katholische Universität Eichstätt-Ingolstadt

    Lehrstuhl für Angewandte Informatik, Eichstätt, Germany)

    The Role of Academic Institutions in Validation and Verification Education (41 slides)

    [T1B_gray in both pdf and ppt formats]

    P. Gray (University of Northern Iowa)

T1 Discussion Synopsis

*************************************

    Session T2: Managing V&V

Session T2 leaders:

    Co-Chairs:

    Jamileh Soudah (Dept of Energy ASCI V&V lead)

    Marty Pilch (Sandia National Laboratories)

    T2 Materials in Foundations ’02 proceedings:

    Presentations (may contain back-up materials and notes)

    Managing a Verification and Validation Program The Government Perspective (26

    slides) [T2B_barnes in both pdf and ppt formats]

    Boots Barnes (JWARS Office)

    Managing a Verification and Validation Program The Contractor’s Perspective (24

    slides) [T2B_barnes in both pdf and ppt formats]

    Mike Metz (IMC)

    TOMAHAWK Simulation Management (24 slides) [T2B_barnes in both pdf and ppt

    formats]

    Kem White (JHU/APL)

    Managing the STORM V&V Program (35 slides) [T2B_barnes in both pdf and ppt

    formats]

     Dave MacKay (IMC)

    Panel Discussion of V&V Management:

    Boots Barnes (JWARS Office)

    Dave MacKay (IMC)

    Mike Metz (IMC)

    Kem White (JHU/APL)

    Wendy Winner (Army Research Laboratory)

T2 Discusssion Synopsis

********************************

    Session T3: V&V Research

Session T3 leaders:

    Co-Chairs:

    Bob Thomas (Sandia National Laboratories)

    Hessam Sarjoughian (Arizona State University)

    T3 Materials in Foundations ’02 proceedings:

Report this document

For any questions or suggestions please email
cust-service@docsford.com