Check patentability & draft patents in minutes with Patsnap Eureka AI!

A Method of Simulation Verification of Sysml Model

A simulation verification and model technology, applied in the direction of visual/graphic programming, creation/generation of source code, etc., can solve the problems of increasing the difficulty and low efficiency of system verification work

Active Publication Date: 2021-05-07
上海工业控制安全创新科技有限公司
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This undoubtedly increases the difficulty of system verification, and the efficiency is low

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Method of Simulation Verification of Sysml Model
  • A Method of Simulation Verification of Sysml Model
  • A Method of Simulation Verification of Sysml Model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0055] In order to describe in detail the steps of converting from the SysML module definition diagram and activity diagram to the Modelica model and performing simulation, this embodiment selects the opening of the main parachute in the parachute system of the return capsule as an example for description.

[0056] Embodiments of the present invention are described below in conjunction with the accompanying drawings:

[0057] Step 1: Define the conversion rules of SysML module definition diagram and activity diagram elements to Modelica model elements, as shown in Table 1.

[0058] Step 2: Take figure 1 The XMI document of the module definition diagram is input, and the document is parsed Label, Label, Label, Tags to obtain module and module value attribute element information; the information obtained by parsing is shown in Table 4.

[0059] Table 4 module and module value attribute element information

[0060]

[0061] Step 3: Take figure 2 The XM...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a method for simulating and verifying a SysML model, and the specific steps involved include: (1) defining a SysML module definition diagram and a conversion rule from an activity diagram element to a Modelica model element; (2) using the module definition diagram The XMI document is analyzed as an input, and the value attribute information of the module and the module in the module definition diagram is obtained; (3) the XMI document of the activity diagram is analyzed as an input, and the information of the activity partition, activity parameters, nodes and edges of the activity diagram is obtained; ( 4) Convert the obtained SysML activity diagram and module definition diagram information into a Modelica model according to the conversion rules; (5) Import the converted Modelica model into the simulation tool, and determine the conditional expressions on the nodes and the covered branches according to the activity diagram The monitoring value above determines the simulation parameters, and then the simulation verification is carried out. The present invention can verify the specific business requirements of the system in the early development stage by performing simulation verification on the SysML model, so as to find errors early and correct them.

Description

technical field [0001] The invention belongs to the field of software model verification, and specifically relates to a method for converting a SysML module definition diagram and an activity diagram into a Modelica model and using OpenModelica for simulation, and verifying the business logic of the system by simulating the early SysML model. Background technique [0002] As the complexity of modern software systems continues to increase, the system modeling process becomes more complex and elusive. In addition, how to analyze and verify the abstract model of the system in the early stage of system development has also become a difficult research point. [0003] One of the advantages of model-based development technology is that various methods can be used to verify the correctness and reliability of software. Common methods can be divided into simulation verification and formal verification, and formal verification methods can be further divided into theorem proving and mo...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/34
CPCG06F8/34
Inventor 钟雯陈小红
Owner 上海工业控制安全创新科技有限公司
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com