Early validation and verification of system behaviour in model-based systems engineering: a systematic literature review

J Cederbladh, A Cicchetti, J Suryadevara - ACM Transactions on …, 2024 - dl.acm.org
In the Systems Engineering (SE) domain there has been a paradigm shift from document-
based to model-based system development artefacts; in fact, new methodologies are …

Model-based system engineering of the Internet of Things: A bibliometric literature analysis

E Ahmad - IEEE Access, 2023 - ieeexplore.ieee.org
Model-based System Engineering (MBSE) of the Internet of Things (IoT) literature is broad,
and analysis of this literature enables the identification of themes and potential future study …

xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems

JL Risco‐Martín, S Mittal, K Henares… - Software: Practice …, 2023 - Wiley Online Library
Abstract Employing Modeling and Simulation (M&S) extensively to analyze and develop
complex systems is the norm today. The use of robust M&S formalisms and rigorous …

Category-theoretic formulation of the model-based systems architecting cognitive-computational cycle

Y Mordecai, JP Fairbanks, EF Crawley - Applied Sciences, 2021 - mdpi.com
Simple Summary This paper introduces a holistic framework, underpinned by Category
Theory, for the process of conceptual modeling of complex engineered systems, generically …

An aircraft assembly process formalism and verification method based on semantic modeling and MBSE

X Zheng, X Hu, J Lu, R Arista, J Lentes… - Advanced Engineering …, 2024 - Elsevier
The aircraft assembly system is highly complex involving different stakeholders from multiple
domains. The design of such a system requires comprehensive consideration of various …

Industrial design and development software system architecture based on model-based systems engineering and cloud computing

YU Chao, LI Qing, LIU Kui, C Yuwen… - Annual Reviews in …, 2021 - Elsevier
Oriented to the new generation of cyber-physical manufacturing, this paper introduces two
breakthroughs of industrial design and development software system: model-based systems …

Digital twin modeling, co-simulation and cyber use-case inclusion methodology for IoT systems

S Mittal, A Tolk, A Pyles, N Van Balen… - 2019 Winter …, 2019 - ieeexplore.ieee.org
Cyber Physical Systems (CPS) and Internet of Things (IoT) communities are often asked to
test devices regarding their effects on underlying infrastructure. Usually, only one or two …

Conjoining Wymore's systems theoretic framework and the DEVS modeling formalism: Toward scientific foundations for MBSE

P Wach, BP Zeigler, A Salado - Applied Sciences, 2021 - mdpi.com
Featured Application This research contributes toward the theoretical foundations of model-
based systems engineering (MBSE) through combining the mathematical, system theoretic …

X-SEM: A modeling and simulation-based system engineering methodology

P Gu, Z Chen, L Zhang, Y Zhang, K Xie, C Zhao… - Journal of Manufacturing …, 2024 - Elsevier
Abstract Model-based systems engineering (MBSE) is an effective approach that facilitates
complex systems' collaborative research and development. The prevalent MBSE …

Detecting emergence in engineered systems: A literature review and synthesis approach

RA Haugen, NO Skeie, G Muller… - Systems …, 2023 - Wiley Online Library
Modern product development often generates systems of high complexity that are prone to
emergent behavior. The industry has a need to establish better practices to detect inherent …