Abstract:In the face of the rapid growth in the scale and complexity of multidisciplinary systems, being able to develop reliable systems under ever-faster changing and more individual market requirements is becoming more and more challenging. The Model-Based Systems Engineering (MBSE) approach has already been researched heavily, and started to be introduced for the management of complexity, maintaining consistency, and reducing development costs and the time-to-market. However, a major drawback of the current MBSE methodologies is the lack of capability to integrate with domain-specific simulation models to investigate design concepts in the early phases of the development process. In order to address this issue, we propose a holistic system modeling approach that allows system engineers to link descriptive system models with domain-specific simulation models. In this paper, the Systems Modeling Language (SysML) is used as the standard architecture modeling language. A system modeling approach in SysML based on the system’s functional architecture for system design and validation is defined. The approach was developed to integrate domain-specific models into the system model using a SysML modeler with the capability of running and reusing simulation tasks via the coupling of external tools, which helps to bridge the existing gap between models on the system level and detail level. The feasibility of the proposed approach will be evaluated based on the case study of a wind turbine (WT) system. The study shows that our approach has the potential to enable the consistent, parameter-based interlinkage of domain-specific models based on always-up-to-date data, and to assist engineers in making design decisions to meet the system requirements accurately and rapidly in different engineering fields.

Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML

The Terminal Behaviors Modeling Method for Complex Microsystems

A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics

Verification Framework for UML-Based Design of Embedded Systems.

Model verification for system design of complex mechatronic products

A Sysml-Based Modeling Language For Mechatronic System Architecture

Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment

System-level model integration of design and simulation for mechatronic systems based on SysML

A system modeling process based on SysML to support data consistency across system requirement, function, and solution model layers

Synchronous Integration Method of System and Simulation Models for Mechatronic Systems Based on SysML

An approach for design and formal verification of safety-critical software

Integration Of System-Level Design And Analysis Models Of Mechatronic System Behavior Based On Sysml And Simscape

SysML-based Uniform Behavior Modeling and Automated Mapping of Design and Simulation Model for Complex Mechatronics

The Research and Development on Modeling,Implementation,and Verification for Embedded Software

Design and Implementation of SysML Activity Diagram Simulation Function Based on Fuml Specification

Modeling, Optimization, and Verification for Complex Systems

Ontology Based Behavior Verification For Complex Systems

Towards Holistic System Models Including Domain-Specific Simulation Models Based on SysML

Modeling Mechatronic System Architecture By Sysml Extension

Simulating hybrid SysML models: a model transformation approach under the DEVS framework

An Integrated Intelligent Modeling and Simulation Language for Model-based Systems Engineering