Multi-level Modeling as a Society of Interacting Models

We propose to consider a multi-level representation from a multi-modeling point of view. We define a framework to better specify the concepts used in multi-level modeling and their relationships. This framework is implemented through the AA4MM meta-model, which benefits from a middleware layer. This meta-model uses the multi-agent paradigm to consider a multi-model as a society of interacting models. We extend this meta-model to consider multi-level modeling and present a proof of concept of a collective motion example where we show the ability of this approach to rapidly change from one pattern of interaction to another one by reusing some of the meta-model's components

Purpose and benefits of hybrid simulation: Contributing to the convergence of its definition

© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Development of an MRM Federation System Using COTS Simulations

The goal of this research is to build an experimental environment for the Simulation Interoperability Laboratory (SIL) of the University of Central Florida (UCF). The Simulation Interoperability Laboratory (SIL) is researching about multi-resolution modeling(MRM), with a focus on military field uses. This thesis proposes steps to develop an MRM federation system and build two different MRM systems using COTS simulations (SIMBox, VR-Forces, and MASA Sword). This report is written to provide the basis for a time-based MRM federation study in the Simulation Interoperability Laboratory. The report describes many definitions and notions related to Multi-Resolution Modeling(MRM) and discusses examples to make better understanding for further research. MRM is relatively new research, and there are high demands for integrating simulators running in military field purposes. Most military-related research is based on simulators currently being used in the military; this poses a problem for research because the data is classified, resulting in many limitations for outside researchers to see the military\u27s process for building an MRM system or the results of the research. Therefore, development of the MRM federation using COTS simulations can provide many examples of MRM issues for future research

Hybrid Multiresolution Simulation & Model Checking: Network-On-Chip Systems

abstract: Designers employ a variety of modeling theories and methodologies to create functional models of discrete network systems. These dynamical models are evaluated using verification and validation techniques throughout incremental design stages. Models created for these systems should directly represent their growing complexity with respect to composition and heterogeneity. Similar to software engineering practices, incremental model design is required for complex system design. As a result, models at early increments are significantly simpler relative to real systems. While experimenting (verification or validation) on models at early increments are computationally less demanding, the results of these experiments are less trustworthy and less rewarding. At any increment of design, a set of tools and technique are required for controlling the complexity of models and experimentation. A complex system such as Network-on-Chip (NoC) may benefit from incremental design stages. Current design methods for NoC rely on multiple models developed using various modeling frameworks. It is useful to develop frameworks that can formalize the relationships among these models. Fine-grain models are derived using their coarse-grain counterparts. Moreover, validation and verification capability at various design stages enabled through disciplined model conversion is very beneficial. In this research, Multiresolution Modeling (MRM) is used for system level design of NoC. MRM aids in creating a family of models at different levels of scale and complexity with well-formed relationships. In addition, a variant of the Discrete Event System Specification (DEVS) formalism is proposed which supports model checking. Hierarchical models of Network-on-Chip components may be created at different resolutions while each model can be validated using discrete-event simulation and verified via state exploration. System property expressions are defined in the DEVS language and developed as Transducers which can be applied seamlessly for model checking and simulation purposes. Multiresolution Modeling with verification and validation capabilities of this framework complement one another. MRM manages the scale and complexity of models which in turn can reduces V&V time and effort and conversely the V&V helps ensure correctness of models at multiple resolutions. This framework is realized through extending the DEVS-Suite simulator and its applicability demonstrated for exemplar NoC models.Dissertation/ThesisDoctoral Dissertation Computer Science 201