Verification method for translation of Ptolemy synchronous response model and plug-in
A technology of response models and verification methods, applied in special data processing applications, data processing input/output processes, instruments, etc., can solve the problems of not meeting verification requirements, not providing processing modes, and not proposing hierarchical role translation methods, etc. , to avoid the state space explosion and reduce the cost of work
Pending Publication Date: 2022-01-28
CAPITAL NORMAL UNIVERSITY
View PDF0 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0005] 1. The only roles that can be translated are FSM Actors, which are far from meeting the verification requirements; 2. For high-complexity models, hierarchical roles are often used frequently, and this method does not propose a translation method for hierarchical roles; 3. For the interaction of various roles in the model, this method does not provide a corresponding processing mode
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0050]The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the accompanying drawings in the embodiments of the present invention. Obviously, the described embodiments are only some, not all, embodiments of the present invention. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the protection scope of the present invention.
[0051] It should be noted that the terms "include" and "have" and any variations thereof in the embodiments of the present invention and drawings are intended to cover non-exclusive inclusion. For example, a process, method, system, product or device comprising a series of steps or units is not limited to the listed steps or units, but optionally also includes unlisted steps or units, or optionally further includes For other steps or units inherent in these pro...
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
Login to View More Abstract
The invention discloses a verification method for translation of a Ptolemy synchronous response model and a plug-in. According to the verification method for translation of the Ptolemy synchronous response model provided by the invention, each role is translated by adopting an automatic translation mode, and then the NuSMV model is formed, so that the hierarchical characteristic of the Ptolemy model is reserved, and state space explosion is avoided; translation is carried out by inquiring a unified mapping table, so that the translated NuSMV model can be unified by a fixed translation rule, and the possible problems except for the model in the manual translation process are avoided; according to the invention, a user even does not need to master a specific use method of a model detection tool NuSMV, so that the working cost of formalized verification can be greatly reduced; the safety and reachability analysis can be carried out in a black box manner, and the verification of the safety, reachability, deadlock and other properties of the Ptolemy synchronous response model is realized.
Description
technical field [0001] The invention relates to the technical field of computer simulation and modeling, in particular to a verification method and a plug-in for Ptolemy synchronous response model translation. Background technique [0002] Ptolemy is an open source, role-oriented integrated environment with powerful modeling and simulation capabilities. Developers often build models under Ptolemy before actual equipment development to verify the feasibility of the scheme to save development costs. [0003] Modeling is a complex and error-prone process. A wrong model will lead to a wrong implementation, and it will be costly to correct the mistakes after the system is running. Multiple domains are divided in Ptolemy, such as: synchronous response domain, discrete event domain, data flow domain, continuous time domain, etc. Different models can be built in different domains to reduce the probability of wrong realization of the model, but even so There is still a high probabi...
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
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F30/3323G06F30/31G06F3/0482
CPCG06F30/3323G06F30/31G06F3/0482
Inventor 王瑞赵亚钦关永李晓娟施智平
Owner CAPITAL NORMAL UNIVERSITY