A FRAMEWORK FOR VALIDATING REUSABLE BEHAVIORAL MODELS IN ENGINEERING DESIGN

[1]  Robert G. Sargent,et al.  An overview of verification and validation of simulation models , 1987, WSC '87.

[2]  Paul Herskovitz.  A Theoretical Framework For Simulation Validation: Popper’S Falsifications , 1991 .

[3]  Ernst Christen,et al.  Vhdl-ams---a hardware description language for analog and mixed-signal applications , 1999 .

[4]  Hilding Elmqvist,et al.  Physical system modeling with Modelica , 1998 .

[5]  Timothy G. Trucano,et al.  Verification and Validation in Computational Fluid Dynamics , 2002 .

[6]  Mark J. Clayton,et al.  Virtual components consisting of form, function and behavior , 1999 .

[7]  David Miller,et al.  Critical Rationalism: A Restatement and Defence , 1998 .

[8]  H. Simon,et al.  The sciences of the artificial (3rd ed.) , 1996 .

[9]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[10]  Louis G. Birta,et al.  A knowledge-based approach for the validation of simulation models: the foundation , 1996, TOMC.

[11]  James D. Arthur,et al.  The methodology roles in the realization of a model development environment , 1988, WSC '88.

[12]  Gunnar Abrahamson,et al.  Terminology for model credibility , 1980 .

[13]  David Hume.  A Treatise of Human Nature: Being an Attempt to introduce the experimental Method of Reasoning into Moral Subjects , 1972 .

[14]  Varol Akman,et al.  Steps Toward Formalizing Context , 1996, AI Mag..

[15]  Robert G. Sargent,et al.  An expository on verification and validation of simulation models , 1985, WSC '85.

[16]  Osman Balci.  Principles and techniques of simulation validation, verification, and testing , 1995, WSC '95.

[17]  Osman Balci,et al.  Principles of simulation model validation, verification, and testing , 1997 .

[18]  Karl R. Popper.  The Logic of Scientific Discovery. , 1977 .

[19]  Yakov Ben-Haim,et al.  Information-gap decision theory , 2001 .

[20]  R. Burchfield.  Oxford English dictionary , 1982 .

[21]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[22]  Scott Ferson,et al.  Probability Bounds Analysis Solves the Problem of Incomplete Specification in Probabilistic Risk and Safety Assessments , 2001 .

[23]  Yaman Barlas,et al.  Philosophical roots of model validation: Two paradigms , 1990 .

[24]  Michael C. Fu,et al.  Guest editorial , 2003, TOMC.

[25]  Lee W. Schruben,et al.  Establishing the credibility of simulations , 1980 .

[26]  Steven J. Fenves,et al.  A Model for the Flow of Design Information in Product Development , 2000, Engineering with Computers.

[27]  Stewart Robinson,et al.  Simulation model verification and validation: increasing the users' confidence , 1997, WSC '97.

[28]  Osman Balci,et al.  Credibility Assessment of Simulation Results: The State of the Art , 1986 .

[29]  P. Sanders,et al.  DoD Modeling and Simulation (M&S) Verification, Validation, and Accreditation (VV&A), , 1996 .

[30]  T. Simpson,et al.  Computationally Inexpensive Metamodel Assessment Strategies , 2002 .

[31]  Erik K. Antonsson,et al.  Imprecision in Engineering Design , 1995 .

[32]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[33]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[34]  Varol Akman,et al.  The Use of Situation Theory in Context Modeling , 1997, Comput. Intell..

[35]  Russell S. Peak,et al.  A KNOWLEDGE REPOSITORY FOR BEHAVIORAL MODELS IN ENGINEERING DESIGN , 2004 .

[36]  Osman Balci,et al.  Verification, validation, and accreditation , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[37]  Rajkumar Roy,et al.  Advances in Soft Computing: Engineering Design and Manufacturing , 1998 .

[38]  Sundar Krishnamurty,et al.  Bayesian Evaluation of Engineering Models , 2002, DAC 2002.

[39]  John A. Tufarolo,et al.  A case study of verification, validation, and accreditation for advanced distributed simulation , 1997, TOMC.

[40]  S. Ferson,et al.  Different methods are needed to propagate ignorance and variability , 1996 .

[41]  Osman Balci,et al.  A methodology for certification of modeling and simulation applications , 2001, TOMC.

[42]  Douglas B. Lenat,et al.  Language, representation and contexts , 1992 .

[43]  Don Caughlin.  Verification, validation, and accreditation (VV&A) of models and simulations through reduced order metamodels , 1995, WSC '95.

[44]  George A. Hazelrigg,et al.  On the role and use of mathematical models in engineering design , 1999 .

[45]  Ram D. Sriram,et al.  The Role of Knowledge in Next-generation Product Development Systems , 2001, J. Comput. Inf. Sci. Eng..

[46]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[47]  Kathleen V. Diegert,et al.  Error and uncertainty in modeling and simulation , 2002, Reliab. Eng. Syst. Saf..

[48]  Osman Balci.  Validation, verification, and testing techniques throughout the life cycle of a simulation study , 1994, WSC '94.

[49]  Peter L. Knepell,et al.  Simulation Validation: A Confidence Assessment Methodology , 1993 .

[50]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[51]  George B. Kleindorfer,et al.  Validation in Simulation: Various Positions in the Philosophy of Science , 1998 .

[52]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[53]  Gareth W. Parry,et al.  The characterization of uncertainty in probabilistic risk assessments of complex systems , 1996 .

[54]  P. Tipler,et al.  Modern Physics , 1976 .

[55]  Karl Raimund Sir Popper,et al.  Realism and the aim of science , 1983 .

[56]  François M. Hemez,et al.  A framework for assessing confidence in computational predictions , 2001 .

[57]  Richard E. Nanoe.  Model development revisited , 1984, WSC '84.

[58]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[59]  T. Kuhn,et al.  The Structure of Scientific Revolutions , 1963 .

[60]  Ram D. Sriram,et al.  The NIST Design Repository Project , 1999 .

[61]  Sallie M. Henry,et al.  A Procedural Approach to Evaluating Software Development Methodologies: The Foundation , 1986 .

[62]  E. L. Harder,et al.  The Institute of Electrical and Electronics Engineers, Inc. , 2019, 2019 IEEE International Conference on Software Architecture Companion (ICSA-C).

[63]  T. Paine.  Common Sense , 1995 .

[64]  Olaf R. P. Bininda-Emonds,et al.  Garbage in, Garbage out , 2004 .

[65]  Wolfgang Beitz,et al.  Engineering Design: A Systematic Approach , 1984 .

[66]  Thomas H. Naylor,et al.  Verification of Computer Simulation Models , 1967 .

[67]  Ram Geneshan,et al.  The philosophy of science and validation in simulation , 1993, WSC '93.

[68]  Timothy G. Trucano,et al.  Verification and validation. , 2005 .

[69]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..

[70]  Ram D. Sriram,et al.  Design Repositories: Engineering Design's New Knowledge Base , 2000, IEEE Intell. Syst..

[71]  Ramanathan V. Guha,et al.  Varieties of Contexts , 2003, CONTEXT.