Abstract:Increasing complexity of mechatronic products leads to more challenging designs. As the most important stage, system design determines the overall product architecture. Defects in this stage are difficult to rectify in future stages, thus requiring greater model accuracy. With the development of model‐based systems engineering (MBSE), model verification can detect design defects, reduce development costs, improve development efficiency, and ensure system reliability. Currently, conventional verifications are performed only after design processes, which makes it difficult to make systematic modifications. To solve this problem, a model verification method implemented in the design stage is proposed in this study. Using this method, designers are able to detect defects earlier, thereby reducing modification costs. The proposed method is as follows: first, a language named Relation‐based Modeling for Static Properties (RMSP) is proposed to formalize the static properties of requirements; second, the representation of “Conceptual Graphs” is extended to meet the needs of model verification of mechatronic products; finally, requirements in RMSP and system design in Systems Modeling Language (SysML) are transformed into the Extension of Conceptual Graphs. In this manner, the incorrectness and inconsistencies between requirements and system design can be found through projection in the system design stage. The omitted or improperly designed requirement items would be found and redesigned to fulfill the product requirements.

Research of Process Model Supporting for Software Requirements Verification

A Systematic Map on Verifying and Validating Software Process Simulation Models.

Model verification for system design of complex mechatronic products

Flexible Verification Tool for Software Process Model

Requirement Consistency and Integrity Verification Method based on Natural Language Processing

RVSim: A Simulation Approach to Predict the Impact of Requirements Volatility on Software Project Plans

Verifying the Consistency between Business Process Model and Data Model

Verification of Lean-Kanban Processes with Probabilistic Model Checking

Safety Requirements Modeling Based on Rucm

Environment Model based Requirements Consistency Verification: An Example

Model-based Runtime Verification Framework

Software process validation based on model checking

Requirements Repository Software Project Plan Requirements Change Event Routines Requirements Change Event Generator Generate Requirements Change Events Utilize Utilize Change Change

Simulation Verification for Go-Bayes Analysis Method Based on RCM Theory

From Offline Towards Real-Time Verification for Robot Systems

Modeling and verification of running process control for underground mine locomotive

Model-based Simulation and Verification on Typical Function Scenes of High-Speed Maglev Vehicle Operation Control System

Verification of IDEF3 Process Models

Modeling and Logical Correctness Verification of Web Service Processes

A simulation approach for impact analysis of requirement volatility considering dependency change

A Model Merging Based Approach for Modeling the CMM Implementation Process