Increasing validity of simulation models through metamorphic testing

M Olsen, M Raunak - IEEE Transactions on Reliability, 2018 - ieeexplore.ieee.org
Simulation validation, demonstrating that a simulation accurately represents the system it
studies, poses a particularly potent form of the oracle problem. A simulation must be …

Validity Frame–enabled model-based engineering processes

B Van Acker, P De Meulenaere, H Vangheluwe… - …, 2024 - journals.sagepub.com
Model-based systems engineering (MBSE) focuses on using models to support the design,
optimization, simulation, and ultimately deployment of complex cyber-physical systems …

Aplicación de los modelos de simulación en entornos productivos bajo la metodología de teorías de las restricciones (Application of Simulation Models Based on the …

JA Uribe-Gómez, S Quintero-Ramírez - Revista CEA, 2017 - papers.ssrn.com
La Teoría de restricciones permite identificar dificultades en los procesos productivos a
través de lo que se ha denominado cuellos de botella, y bajo una perspectiva rigurosa y …

Quantifying validation of discrete event simulation models

M Raunak, M Olsen - Proceedings of the Winter Simulation …, 2014 - ieeexplore.ieee.org
Simulation model validation and its rigorous assessment is known to be a difficult task.
Quantification of validation is necessary to answer the question “how much validation is …

[PDF][PDF] A method for quantified confidence of DEVS validation.

MM Olsen, MS Raunak - SpringSim (TMS-DEVS), 2015 - sce.carleton.ca
ABSTRACT The Discrete Event System Specification (DEVS) framework provides a formal
approach for defining a conceptual model that represents a source system. To use the …

Exploitation of a Validation Hierarchy for Modeling and Simulation

S Shaw, JM Luckring, W Oberkampf… - AIAA SCITECH 2023 …, 2023 - arc.aiaa.org
View Video Presentation: https://doi. org/10.2514/6.2023-2605. vid There is an evolving
need to increase reliance on physics-based simulation to develop, design, and optimize a …

[PDF][PDF] Simulation validation using metamorphic testing (WIP).

MS Raunak, MM Olsen - SummerSim, 2015 - academia.edu
Model validation is an inherently difficult task, as we often lack an oracle that defines correct
behavior. Without an oracle it is difficult to apply results validation to determine if the model …

[PDF][PDF] Enabling quantified validation for model credibility

MM Olsen, M Raunak, M Setteducati - Proceedings of the 50th …, 2018 - researchgate.net
Determining whether a simulation is trustworthy is a hard problem. Although many
techniques for verifying and validating simulation models exist, there is generally no …

A Novel Approach to Communal Rainwater Harvesting for Single-Family Housing: A Study of Tank Size, Reliability, and Costs

M Semaan - 2020 - vtechworks.lib.vt.edu
An emerging field in rainwater harvesting (RWH) is the application of communal rainwater
harvesting system. This system's main advantage compared to individual RWH is the …

Limits of empirical validation: a review of arguments with respect to social simulation

MA Hofmann - 2015 Winter Simulation Conference (WSC), 2015 - ieeexplore.ieee.org
Output comparison between simulation model and real world reference system is commonly
regarded to be the acid test of model credibility. As sound as the comparison-based …