Teran-Somohano, Alejandro
Dayibas, Orcun
Yılmaz, Levent
Smith, Alice
Goal-directed reproducible experimentation with simulation models is still a significant challenge. The underutilization of design of experiments, limited transparency in the collection and analysis of results, and ad-hoc adaptation of experiments as learning takes place continue to hamper reproducibility and hence cause a credibility gap. In this study, we propose a strategy that leverages the synergies between model-driven engineering, intelligent agent technology, and variability modeling to support the management of the lifecycle of a simulation experiment. Experiment design and workflow models are introduced for configurable experiment synthesis and execution. Feature-based variability modeling is used to design a family of experiments, which can be leveraged by ontology-driven software agents to configure, execute, and reproduce experiments. Online experiment adaptation is proposed as a strategy to facilitate dynamic experiment model updating as objectives shift from validation to variable screening, understanding, and optimization.


Metamodeling atomic models in discrete event system specification (devs) formalism using multivariate adaptive regression splines (mars)
Bozağaç, Cumhur Doruk; Oğuztüzün, Mehmet Halit S.; Batmaz, İnci; Department of Computer Engineering (2014)
Computer simulations are widely used for design optimization purposes. The problem becomes challenging when design variables are high dimensional and when the simulation is computationally expensive. In this work we propose a methodology for metamodeling of dynamic simulation models via Multivariate Adaptive Regres sion Splines (MARS). To handle incomplete output processes, where the simulation model does not produce an output in some steps due to missing inputs, we have devised a two-level metamodeling sch...
Design and construction of a six degree of freedom platform
Gürbüz, Sarper; Balkan, Raif Tuna; Department of Mechanical Engineering (2006)
In this thesis a six degree of freedom (DOF) parallel manipulator is designed, developed and simulated virtually. The platform, which is specified and focused on in this thesis, is the specific solution for the generating the required data to simulate a land, airborne or sea vehicle’s motion trajectory in the laboratory environment. After explaining the need for such platforms for the military industry, the existing devices will be presented and discussed. Then the design period will be explained while poin...
Multiband Microwave Metamaterials Based on Optimized Arrangements of Split-Ring Resonators
Ibili, H.; Keles, S.; Ergül, Özgür Salih (2019-01-01)
We present design and accurate simulations of multiband metamaterials that consist of three-dimensional arrangements of split-ring resonators (SRRs). In order to obtain multiband characteristics with resonances at multiple frequencies, SRRs with different sizes are arranged in well-designed grids. As opposed to unit cells with nested SRRs that are commonly used in the literature, using different-sized SRRs in array forms provide better flexibility in choosing resonance frequencies. On the other hand, strong...
A Methodology for cross-resolution modeling in DEVS using event-B refinement
Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, Mahmut Nedim; Department of Computer Engineering (2014)
This thesis proposes a software engineering solution for implementing simulations via composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology relies on Event-B as the formal specification language and D...
SDIVA: Structural Delay Insensitivity Verification Analysis Method for Bit-Level Pipelined Systolic Arrays with Early Output Evaluation
Ismailoglu, A. Neshn; Askar, Murat (2008-09-05)
A structural delay-insensitivity verification analysis method, SDIVA, is proposed for asynchronous systolic arrays in dual-rail threshold logic style. The SDIVA method employs symbolic delays for all output evaluation paths and works at the behavioral specification level. For bit-level pipelined systolic arrvys, which have data-dependent early output evaluation in one-dimension, SDIVA method reduces the verification analysis task to examination of three adjacent systoles so that by analyzing all possible ea...
Citation Formats
A. Teran-Somohano, O. Dayibas, L. Yılmaz, and A. Smith, “TOWARD A MODEL-DRIVEN ENGINEERING FRAMEWORK FOR REPRODUCIBLE SIMULATION EXPERIMENT LIFECYCLE MANAGEMENT,” 2014, p. 2726, Accessed: 00, 2020. [Online]. Available: