A cps modeling and verification method based on cps-adl model conversion to hybrid program

A technology of mixing procedures and verification methods, applied in the field of communications, can solve problems such as difficulty in convenient and effective use
CN103699743BInactive Publication Date: 2017-01-25NORTHWESTERN POLYTECHNICAL UNIV
2 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
NORTHWESTERN POLYTECHNICAL UNIV
Publication Date
2017-01-25
Estimated Expiration
Not applicable · inactive patent

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention discloses a CPS (cyber physical system) modeling and verifying method based on conversion from a CPS-ADL (architecture description language) model into a hybrid program. The method is mainly used for modeling a CPS and verifying attributes. The method is characterized in that a CPS is modeled on a CPS-ADL platform by the aid of an E-HYSDEL (expanded-hybrid system description language); a formalized definition HPM (hybrid program model) of an HP (hybrid program) model is given, and conversion rules among the CPS-ADL model elements and HP model elements are established when model conversion consistency is met; model description codes of a specific CPS are automatically converted into the hybrid program based on the conversion rules; input files of a KeYmaera are generated by the aid of the hybrid program and a dynamic differential logic description system attribute formula according to an input format of the KeYmaera of a theorem prover; the input files are opened in the KeYmaera to perform reasoning and verifying. The method and the mechanism based on conversion from the CPS-ADL model into the HP are elaborated, and the rules of conversion from the CPS-ADL model elements into the HP model elements are realized.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention belongs to the technical field of communication, and relates to a CPS modeling and verification method based on CPS-ADL model conversion to a mixed program. Background technique

[0002] Cyber ​​Physical System (CPS) realizes distributed perception of the external environment, reliable data transmission and intelligent information processing by embedding perception, communication and computing capabilities in physical devices, and realizes computing entities’ interaction with physical devices through a feedback mechanism. real-time monitoring and control. CPS has a wide range of applications, including intelligent transportation systems, telemedicine, smart grids, aerospace, etc.

[0003] Whether the real-time, security and reliability properties of CPS can meet the requirements is often the premise of its application in key fields. Model analysis and verification technology can determine whether the attributes of CPS meet the actual ap...

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