TOTEM: Reconciling multi-level modelling with standard two-level modelling

SP Jácome-Guerrero, J de Lara - Computer Standards & Interfaces, 2020 - Elsevier
Abstract Model driven Engineering (MDE) advocates the active use of models throughout
the different software development phases. In MDE, models are described using meta …

Simulation Testing of Maritime Cyber‐Physical Systems: Application of Model‐View‐ViewModel

DC Lee, KM Seo, HM Park, BS Kim - Complexity, 2022 - Wiley Online Library
From the perspective of the system of systems development, system‐level functional testing
is required for designing subsystems. This study utilizes modeling and simulation …

Activity specification for time-based discrete event simulation models

A Alshareef - 2019 - keep.lib.asu.edu
Computational models for relatively complex systems are subject to many difficulties, among
which is the ability for the models to be discretely understandable and applicable to specific …

基于模型驱动工程的形式化模型转换技术

朱智, 雷森, 雷永林 - 系统仿真学报, 2021 - china-simulation.com
随着仿真系统的复杂性及其仿真模型在各个领域的广泛应用, 用户对仿真模型的开发效率和质量
提出了更高的要求. 针对当前模型驱动工程主要应用于有关仿真软件工具的工程化实现 …

Composability verification of complex systems using colored petri nets

I Mahmood, SH Askari… - 2021 Winter Simulation …, 2021 - ieeexplore.ieee.org
The discipline of component-based modeling and simulation offers promising gains
including reductions in development cost, time, and system complexity. This paradigm …

Exploring MDE techniques for engineering simulation models

Z Zhu, Y Lei, Q Li, Y Zhu - Wireless Networks, 2021 - Springer
A recent approach to tackle the ever increasing complexity of simulation system is model-
driven engineering (MDE). However, it is mostly used to produce simulation tools, and …

[PDF][PDF] Model Generation from Sensor Data

J Pázmándi - 2022 - scholar.archive.org
This thesis examines the possibility of model generation from data sets. Automatic model
generation from data sets is a subtopic of Model Intelligence. Model Intelligence aims to …

[PDF][PDF] Research Article Simulation Testing of Maritime Cyber-Physical Systems: Application of Model-View-ViewModel

DC Lee, KM Seo, HM Park, BS Kim - 2022 - academia.edu
From the perspective of the system of systems development, system-level functional testing
is required for designing subsystems. is study utilizes modeling and simulation techniques to …

[PDF][PDF] COMPOSABILITY VERIFICATION OF COMPLEX SYSTEMS USING COLORED PETRI NETS

S Kim, B Feng, K Smith, S Masoud, Z Zheng, C Szabo… - simulation.su
The discipline of component-based modeling and simulation offers promising gains
including reductions in development cost, time, and system complexity. This paradigm …

Exploring Formal Model Transformation Techniques within Model Driven Engineering

Z Zhi, L Sen, Y Lei - Journal of System …, 2021 - dc-china-simulation …
With the increasing complexity of simulation system and the wide use of simulation models,
the higher requirements of the efficiency and quality for simulation models are needed …