Integrating Model Checking With SysML in Complex System Safety Analysis
Modern complex systems are characterized by numerous complex interactions and high levels of integration of functions, which present new challenges from the viewpoints of system safety analysis and design. Model checking can be employed to perform safety
Hongli Wang +3 more
doaj +1 more source
Study on the overall design method of ship power system engineering based on MBSE
In order to improve the overall positive design ability of ship power engineering, the digital design method of ship power systems engineering is studied. The model-based systems engineering (MBSE) method theory was integrated with the system engineering
Yuanlong YANG +3 more
doaj +1 more source
Implementation of a Goal-Based Systems Engineering Process Using the Systems Modeling Language (SysML) [PDF]
Building upon the purpose, theoretical approach, and use of a Goal-Function Tree (GFT) being presented by Dr. Stephen B. Johnson, described in a related Infotech 2013 ISHM abstract titled "Goal-Function Tree Modeling for Systems Engineering and Fault Management", this paper will describe the core framework used to implement the GFTbased systems ...
Jonathan T. Breckenridge +2 more
openaire +1 more source
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
Text-to-Model Transformation: Natural Language-Based Model Generation Framework
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
A Unified Requirements‐Architecture System Model—Development and Empirical Evaluation
ABSTRACT Moving systems engineering's center of gravity from text documents to digital models, model‐based system engineering (MBSE) facilitates collaboration, reduces errors, and improves system understanding, but systems engineers often face challenges when they start working with MBSE, as they need to consider and model textual requirements as a ...
Liat Katzir +2 more
wiley +1 more source
Model-Driven Development of Intelligent Mobile Robot Using Systems Modeling Language (SysML) [PDF]
In Japan alone the number of disabled and elderly people are growing rapidly and they usually require personal transportation vehicles such as cars and wheelchairs. However, people currently have limited capabilities or difficulties to operate these vehicles in such complex environments like shopping malls or tourist-attraction centers. In recent years,
Rahman, Mohd Azizi Abdul +4 more
openaire +2 more sources
Model‐Based Systems Engineering in Space Applications: A Comprehensive Literature Review
ABSTRACT The growing complexity of space engineering is driving the demand to embrace the adoption of Model‐Based Systems Engineering (MBSE). Although the MBSE is well‐practiced in the space industry, the level of effort and need required to obtain the benefits of MBSE vastly differ across enterprises; this disparity presents a significant challenge to
Rehobot Bekele Buruso +4 more
wiley +1 more source
Review of Cyber-Physical Systems Modeling With UML, SysML, and MARTE
In an era marked by the swift progress of technology, Cyber-Physical Systems (CPS) conquer one of the top places, standing out through the ability to integrate physical components and processes with software capabilities to improve efficiency and ...
Veronica Opranescu, Anca Daniela Ionita
doaj +1 more source
MBSEsec: Model-Based Systems Engineering Method for Creating Secure Systems
This paper presents how Model-Based System Engineering (MBSE) could be leveraged in order to mitigate security risks at an early stage of system development. Primarily, MBSE was used to manage complex engineering projects in terms of system requirements,
Donatas Mažeika, Rimantas Butleris
doaj +1 more source

