Information physical fusion system modeling method based on SysML/MARTE

Abstract

The invention discloses an information physical fusion system modeling method based on SysML / MARTE. A SysML subset and a MARTE subset are extracted and used for modeling continuous behaviors, random behaviors and nonfunctional properties of a system, and the purpose is to construct a model of the information physical fusion system in a multi-view modeling mode. The modeling method includes the following concrete implement steps that system requirements are analyzed; according to the system requirements, needed modeling elements are selected from the extracted SysML subset and the extracted MARTE subset; an expanded requirement diagram is used for defining property constraint needing to be met to achieve requirement modeling; the extracted SysML modeling elements are used for modeling an architecture of the system to achieve architecture modeling; the extracted MARTE modeling elements are used for modeling the continuous behaviors, the random behaviors and the nonfunctional properties of the system. The SysML / MARTE modeling element expanded subset is constructed, the information physical fusion system is modeled on the well-defined semantic basis, and an effective modeling mode is provided for designing and developing the information physical fusion system.

Description

technical field [0001] The invention relates to a modeling method, in particular to a modeling method of a SysML / MARTE-based cyber-physical fusion system. Background technique [0002] Cyber ​​Physical Systems (CPS) is a complex system developed on the basis of traditional embedded systems, including interactive continuous physical systems and discrete computing systems. CPS systems usually involve two parts, hardware and software, and have a series of characteristics such as real-time, randomness, and close interaction with the physical environment. Therefore, modeling CPS systems and developing CPS systems in a model-driven manner is of great significance for promoting the rapid development of my country's information industry. [0003] The Unified Modeling Language (UML) is proposed by the Object Management Group (OMG) to represent the Platform Independent Model (PIM) in the Model Driven Architecture (MDA). Modeling languages, which have been widely accepted by industry...

AI Technical Summary

Problems solved by technology

[0004] Modeling methods based on existing system modeling languages ​​cannot effectively model the system architecture, model heterogeneity, real-time behavior, open environment, and system random behavior of cyber-physical fusion systems.

Although SysML can model the behavior of the system, for the characteristics of random, real-time, and non-functional attributes of cyber-physical fusion systems, SysML alone cannot effectively express them.

Images