Method for carrying out modeling information physical fusion system based on AADL-Modelica

A technology of information physics fusion and information system, applied in the field of formal modeling, can solve the problems of checking the consistency and continuous dynamics of the system, and unable to model.

Pending Publication Date: 2020-03-06
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF2 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Existing technologies are not yet capable of simultaneously modeling the information system and the physic

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
  • Method for carrying out modeling information physical fusion system based on AADL-Modelica
  • Method for carrying out modeling information physical fusion system based on AADL-Modelica
  • Method for carrying out modeling information physical fusion system based on AADL-Modelica

Examples

Experimental program
Comparison scheme
Effect test

Embodiment approach

[0018] The invention combines the characteristics of the cyber-physical fusion system and proposes a modeling method based on the AADL-Modelica for the cyber-physical fusion system. In order to solve the problem that AADL cannot model the system's probabilistic behavior choice, a lightweight language extension is made to AADL, and the probabilistic behavior attachment of AADL is proposed, so that it can not only model the system's probabilistic choice behavior, but also It can describe the communication between components in more detail; AADL and Modelica are two completely different modeling languages. In order to combine the models established by the two modeling languages, according to the conversion mechanism of AADL and Modelica, The attribute set of AADL is expanded, which makes it possible to convert Modelica to AADL; finally, combined with the Z language, a large amount of data generated due to information interaction in the cyber-physical fusion system is formally desc...

Embodiment example

[0069] This implementation case uses the water tank system for illustration. The water tank system is as attached figure 2 shown. The water tank inlet and outlet system is a typical cyber-physical fusion system. The system consists of two parts, the controller and the water tank. Among them, the controller is equivalent to the information system, while the water tank and the water inlet and outlet pipes are equivalent to the physical system, and the two are closely connected through the port. The controller continuously receives the water level information sent by the physical system through the data receiving port wl. After the controller receives the water level value h, it will make corresponding judgments. When h is lower than the threshold value of 100, the control system will pass the event data Port cc sends the control signal on to the water tank to open the gate and discharge water. After the water tank system receives the control signal on, it immediately opens th...

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 carrying out modeling on an information physical fusion system by using AADL-Modelica. An information system and a physical system of the information physical fusion system are respectively modeled by using the AADL and the Modelica. Aiming at the problem that AADL cannot describe inter-state probability migration and inter-component detailed communication, a probability behavior attachment is provided. As a supplement of the AADL, the Modelica language uses a differential algebraic equation to model the continuous dynamics of the physical system. The method comprises the following steps: according to a mapping rule of AADL and Modelica; and correspondingly expanding the attribute set of the AADL, converting the model established by Modelica into an AADL model, fusing an information system and a physical system in the information physical fusion system, and analyzing the delay time in the information physical fusion system by using Osate. On the basis of Modelica and AADL modeling, Z specifications are adopted to carry out formalized constraint on a large amount of data generated in the system interaction process.

Description

technical field [0001] The invention discloses a method for modeling a cyber-physical fusion system based on AADL-Modelica, which is mainly used for semi-formal modeling of the cyber-physical fusion system. The invention belongs to the field of formal modeling, and is a modeling method based on semi-formal language. Background technique [0002] The cyber-physical fusion system is a complex system, in which there are not only discrete dynamic computing units, but also continuous dynamic physical units. The continuous change of variables in the physical system can trigger events in the discrete computing unit, and the discrete events in the computing unit can also change the changing mode of the variables in the current physical system. Difficulty in designing and developing. Existing technologies are not able to simultaneously model the information system and the physical system in a cyber-physical fusion system to check the consistency and continuous dynamics of the syste...

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
IPC IPC(8): G06F30/20
Inventor 卜星晨曹子宁胡名光
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap