CPS-oriented AADL expansion modeling language and conversion method for converting CPS-oriented AADL expansion modeling language into weighted probability hybrid automaton

A technology of hybrid automata and modeling language, applied in the direction of program code conversion, creation/generation of source code, instruments, etc., can solve problems such as the inability of formal modeling of information-physical fusion systems

Inactive Publication Date: 2021-03-19
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF4 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] [Purpose of the invention]: The purpose of the present invention is to solve the inability to directly formalize the complex cyber-physical fusion system, to conduct semi-formal m

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
  • CPS-oriented AADL expansion modeling language and conversion method for converting CPS-oriented AADL expansion modeling language into weighted probability hybrid automaton
  • CPS-oriented AADL expansion modeling language and conversion method for converting CPS-oriented AADL expansion modeling language into weighted probability hybrid automaton
  • CPS-oriented AADL expansion modeling language and conversion method for converting CPS-oriented AADL expansion modeling language into weighted probability hybrid automaton

Examples

Experimental program
Comparison scheme
Effect test

Embodiment approach

[0025] The CPS-oriented AADL extended modeling language and its conversion into weighted probability hybrid automata are shown in the attached figure 1 shown. Concrete invention implementation method is as follows:

[0026] 1. On the basis of the classic hybrid automata model, a weighted probability hybrid automaton is proposed

[0027] Weighted probabilistic hybrid automata can not only describe the discrete and continuous changing properties of cyber-physical fusion systems, but also express the probability and resource consumption accordingly.

[0028] Weighted probabilistic hybrid automaton WPHA=(L, A, X, L 0 , X 0 , E, I, F, P, W), where,

[0029] (1) L is a finite set of location nodes;

[0030] (2) A is a finite set of action names;

[0031] (3) X is a finite set of real-valued variables;

[0032] (4) L 0 is a finite set of initial positions;

[0033] (5)X 0 is a label function: L 0 ×X→{assignment expressions}, it will be the initial position L 0 Each positi...

Embodiment example

[0083] This implementation case uses the aircraft control system for illustration, the aircraft control system is as attached Figure 4 And attached Figure 5 shown. The aircraft control system is a typical cyber-physical fusion system, which is composed of external sensors and actuators interacting as an information system, and immeasurable errors will occur due to improper operation of the system or humans. The take-off process of an aircraft is divided into taxiing, take-off, climbing and cruising. Aircraft take-off control system consists of sensors, controllers and actuators. Among them, sensors and actuators are physical systems, and controllers are information systems, which transmit data through ports. First, the controller receives the height h and velocity v sent by the physical system through the ports height and velocity. The controller controls the elevation angle α of the aircraft according to h and v, and sends the elevation angle α to the actuator through t...

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 CPS-oriented AADL expansion modeling language and a conversion method for converting the CPS-oriented AADL expansion modeling language into a weighted probability hybrid automaton. An AADL is used for modeling an information system, probability and weight properties are added through an AADL behavior attachment function, and Modelica is used for modeling a physical system. As the AADL expansion modeling language is a semi-formalized model, the AADL expansion modeling language is converted into a formalized automaton model through conversion rules and algorithms. Aiming at the characteristics of probability events and resource consumption of an information physical fusion system, a weighted probability hybrid automaton is adopted as a formalized model, and the formalized model has probability uncertainty and weight measurement properties. Finally, mutual simulation verification is performed on the two models to ensure the mutual simulation equivalence of the two models, namely the result consistency of subsequent verification work is ensured. According to the method, the information physical fusion system with uncertainty and resource consumption can be modeled, and the model can be used for subsequent model detection and reliability verification work.

Description

technical field [0001] The invention discloses a CPS-oriented AADL extended modeling language and a conversion method thereof into a weighted probability hybrid automaton, which is mainly used for semi-formal modeling of CPS using AADL and its extended modeling language through model conversion The rules are converted into a formalized automaton model. The invention is a modeling conversion method for converting a semi-formal model to a formal model. Background technique [0002] Cyber-Physical Convergence System (CPS) is a combined system that realizes the close integration of physical resources and information resources. In the CPS system, there are not only discrete state transitions, but also variables for the current state in each state. continuous change. However, there is no direct semi-formal modeling of CPS through a specific language that simultaneously describes the properties of continuous and discrete changes. [0003] AADL is an SAE international standard la...

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): G06F8/30G06F8/41G06F11/28
CPCG06F8/315G06F8/42G06F8/436G06F11/28
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