Results 41 to 50 of about 328 (167)

Recommendations for the Model-Based Systems Engineering Modeling Process Based on the SysML Model and Domain Knowledge

open access: yesApplied Sciences
Model-based systems engineering (MBSE) is a modeling approach used in industry to support the formalization, analysis, design, checking and verification of systems. In MBSE modeling, domain knowledge is the basis of the modeling.
Jia Zhang, Shuqun Yang
doaj   +1 more source

Thirteen years of SysML: a systematic mapping study [PDF]

open access: yesSoftware and Systems Modeling, 2019
The OMG standard Systems Modeling Language (SysML) has been on the market for about thirteen years. This standard is an extended subset of UML providing a graphical modeling language for designing complex systems by considering software as well as hardware parts. Over the period of thirteen years, many publications have covered various aspects of SysML
Sint, Sabine   +4 more
openaire   +2 more sources

MBSE Co‐Pilot: A Research Roadmap

open access: yesSystems Engineering, Volume 29, Issue 1, Page 20-33, January 2026.
ABSTRACT As the complexity of engineered systems continues to increase, Model‐Based Systems Engineering (MBSE) methodologies, languages, and tools are increasingly insufficient to meet the demands of modern systems engineering. This paper proposes a research roadmap for the development of an AI‐driven machine, referred to as MBSE Co‐Pilot, designed to ...
Wenheng Zhang   +6 more
wiley   +1 more source

Multidisciplinary Reliability Design Optimization Modeling Based on SysML

open access: yesApplied Sciences
Model-Based Systems Engineering (MBSE) supports the system-level design of complex products effectively. Currently, system design and optimization for complex products are two distinct processes that must be executed using different software or platforms,
Qiang Zhang, Jihong Liu, Xu Chen
doaj   +1 more source

Mechatronics as Design Philosophy to Inspire Engineering Innovations

open access: yesIET Collaborative Intelligent Manufacturing, Volume 8, Issue 1, January/December 2026.
Conventional mechatronics theory should be expanded to (1) include more innovative design principles, (2) embrace artificial intelligence, human‐robot‐interactions and digital technologies and (3) develop systematic methodologies to make mechatronic systems scalable, adaptable and sustainable.
Zhuming Bi   +3 more
wiley   +1 more source

Text-to-Model Transformation: Natural Language-Based Model Generation Framework

open access: yesSystems
System modeling language (SysML) diagrams generated manually by system modelers can sometimes be prone to errors, which are time-consuming and introduce subjectivity. Natural language processing (NLP) techniques and tools to create SysML diagrams can aid
Aditya Akundi   +2 more
doaj   +1 more source

Time‐ and Behaviour‐Preserving Execution of Determinate Supervisory Control

open access: yesIET Cyber-Physical Systems: Theory &Applications, Volume 11, Issue 1, January/December 2026.
The activity framework is a model‐based framework incorporating a model of activities with determinate timing and behaviour, and a strong mathematical foundation based on max‐plus algebra that allows efficient timing analysis and optimisation of CPS. Preserving the specified behaviour and the model‐predicted timing in an implementation is challenging ...
Alireza Mohamadkhani   +3 more
wiley   +1 more source

Traceability Support for Engineering Reviews of Horizontal Model Evolution

open access: yesSystems Engineering, Volume 28, Issue 6, Page 720-736, November 2025.
ABSTRACT At its very core, model‐based systems engineering uses models to enable a multidisciplinary view on a system design in the early stages. These early stage models evolve horizontally: new diagrams for further perspectives and disciplines are added, using the same notation and the same abstraction level.
Johan Cederbladh   +4 more
wiley   +1 more source

SoS contract verification using statistical model checking [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2013
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems
Alessandro Mignogna   +4 more
doaj   +1 more source

Integrating Data Management Plans Into the Unified Architecture Framework Standards Views

open access: yesSystems Engineering, Volume 28, Issue 6, Page 750-761, November 2025.
ABSTRACT System Architecting translates an operational concept into a model of the system to be realized. There is a need for a Data Management Plan (DMP) to be included in the overall system engineering process with the advent of Digital Engineering. Data longevity, accessibility, and integrity can all be improved throughout the system's lifecycle by ...
Cansu Yalim, Holly A. H. Handley
wiley   +1 more source

Home - About - Disclaimer - Privacy