Utilization of system models in model-based systems engineering: Definition, classes and research directions based on a systematic literature review

F Wilking, D Horber, S Goetz, S Wartzack - Design Science, 2024 - cambridge.org
The use of system models within model-based systems engineering (MBSE) is essential for
improved communication or system documentation. Previous publications have investigated …

Pragmatic verification and validation of industrial executable SysML models

B Horváth, V Molnár, B Graics, Á Hajdu… - Systems …, 2023 - Wiley Online Library
Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been
applied in various industries to design, simulate and verify complex systems. The verification …

Sysml 4 digital twins–utilization of system models for the design and operation of digital twins

F Wilking, C Sauer, B Schleich… - Proceedings of the Design …, 2022 - cambridge.org
The implementation of Digital Twins has become a common task for many industrial
companies to ensure a sufficient digitization of their products and maintain competitiveness …

A Model-based Approach for Verification of the Large Lenslet Array Magellan Spectrograph (LLAMAS)

J Stenzel, R Masterson… - 2024 IEEE Aerospace …, 2024 - ieeexplore.ieee.org
The Large Lenslet Array Magellan Spectrograph (LLAMAS) is a fiber-fed spectrograph
developed at the MIT Kavli Institute for Astrophysics and Space Research. It is a facility-class …

Integration of SysML and virtual reality environment: A ground based telescope system example

M Lutfi, R Valerdi - Systems, 2023 - mdpi.com
In recent years, Model Based Systems Engineering (MBSE) has continued to develop as a
standard for designing, managing, and maintaining increasingly complex systems. Unlike …

Model checking as a service: towards pragmatic hidden formal methods

B Horváth, B Graics, Á Hajdu, Z Micskei… - Proceedings of the 23rd …, 2020 - dl.acm.org
Executable models can be used to support all engineering activities in Model-Based
Systems Engineering. Testing and simulation of such models can provide early feedback …

The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter …

R Karban, AG Crawford, G Trancho… - … for Astronomy VIII, 2018 - spiedigitallibrary.org
The OpenSE Cookbook is an open-sourced collection of patterns, procedures, and best
practices targeted for systems engineers who seek guidance on applying model-based and …

Seamless Digital Engineering: A Grand Challenge Driven by Needs

JS Wheaton, DR Herber - AIAA SCITECH 2024 Forum, 2024 - arc.aiaa.org
Digital Engineering currently relies on costly and often bespoke integration of disparate
software products to assemble the authoritative source of truth of the system-of-interest …

Comparative analysis of model‐based and traditional systems engineering approaches for simulating a robotic space system architecture through automatic …

P Younse, J Cameron, TH Bradley - Systems Engineering, 2022 - Wiley Online Library
Abstract Model‐based Systems Engineering (MBSE) case studies in the literature assert that
there are benefits to MBSE when applied to modeling and simulating space systems. This …

Verifying Interfaces and generating interface control documents for the alignment and phasing subsystem of the Thirty Meter Telescope from a system model in SysML

SJI Herzig, R Karban, G Brack… - … for Astronomy VIII, 2018 - spiedigitallibrary.org
This paper presents a novel method for verifying interfaces and generating interface control
documents (ICDs) from a system model in SysML TM. In systems and software engineering …