Unlock instant, AI-driven research and patent intelligence for your innovation.
The generation and analysis method of vrm formal requirement model
What is Al technical title?
Al technical title is built by PatSnap Al team. It summarizes the technical point description of the patent document.
A technology of formalized requirements and analysis methods, which is applied in the field of generation and analysis of VRM formalized requirements models, and can solve problems such as large and complex industrial systems and requirements model syntax, syntax, and semantic errors
Active Publication Date: 2021-06-29
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF9 Cites 0 Cited by
Summary
Abstract
Description
Claims
Application Information
AI Technical Summary
This helps you quickly interpret patents by identifying the three key elements:
Problems solved by technology
Method used
Benefits of technology
Problems solved by technology
Some R&D personnel try to use VRM to create a demand model, but due to the huge and complex real industrial system, it is still difficult to apply it to the actual system to solve the demand description problem of the industrial system. At the same time, there are Numerous grammatical, syntactic, and semantic errors, as well as ambiguity and incompleteness, are difficult to detect and correct
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
Click on the blue label to locate the original text in one second.
Reading with bidirectional positioning of images and text.
Smart Image
Examples
Experimental program
Comparison scheme
Effect test
specific Embodiment 1
[0091] combine figure 1 , the present invention refers to a method for generating and analyzing a VRM formalized demand model, said method comprising:
[0092] S1: Construct the demand model as a finite state automaton system, and generate the corresponding VRM specification set, which is used to describe the input and output variables, condition functions, event functions and other constructions that constitute the specification so as to make the aforementioned finite state An automaton system has automaton characteristics.
[0093] S2: Introduce intermediate variables, layer the finite state automaton system, and define the topological sorting structure and dependency relationship between variables.
[0094] S3: Applying the finite state automaton system to a safety-critical system for requirement description and analysis.
[0095] Step 1: Design of VRM formal specification definition.
[0096] VRM is an abstract methodology for specifying requirements, which cannot prov...
specific Embodiment 2
[0116] The present invention will now be further described. Here we will specifically introduce the design of the VRM requirements specification and how to apply the consistency integrity algorithm to the requirements model. Because the dependencies of all state variables (including supervisory variables, control variables, pattern classes, and intermediate variables) are expressed in the form of tables. In order to describe the system behavior, the present invention adopts two types of tables: condition table and event table, which describe the function of system behavior in the form of table. The invention is carried out in four steps:
[0117] Step 1: Design the VRM requirement dictionary in combination with the actual system.
[0118] Based on the VRM requirement dictionary, the present invention defines the six-tuple of the VRM requirement specification: {SV, C, E, F, TS, VR}; where SV is the collection of all state variables, which is a quadruple defined as: SV ={MV,C...
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 generation and analysis method of a VRM formalized demand model, comprising: constructing the demand model as a finite state automaton system, and generating a corresponding VRM specification set; introducing intermediate variables, and analyzing the finite state automaton system layer, and defines the topological sorting structure and dependency relationship between variables; the finite state automata system is applied to the safety-critical system for requirement description and analysis. The invention solves the demand description problem of the industrial system by constructing the demand model as a finite state automaton system, so that it can be better applied to the actual system; The grammatical, semantic and syntactic errors in the finite state automaton system, as well as the disjointness and coverage of the requirements, make the system requirements precise and unambiguous.
Description
technical field [0001] The invention relates to the technical field of requirement analysis of safety-critical systems, in particular to a method for generating and analyzing a VRM formalized requirement model. This method can eliminate syntax, syntax, semantic errors, ambiguity and incompleteness of requirements by extending VRM into a formal semantic model and analyzing it with a consistent integrity algorithm. Background technique [0002] VRM is a method used to specify requirements, and its framework structure is as follows: figure 2 shown. [0003] VRM involves the following four categories of variables: [0004] (1) Supervisory variable (MON): The variable obtained by the system monitoring the external environment. [0005] (2) Controlled variable (CON): The environmental quantity controlled by the system. Such as: the display of the display - numerical value, text, graphics, threshold value of the actuator. [0006] (3) Input variable (INPUT): from the estimatio...
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
Application Date:The date an application was filed.
Publication Date:The date a patent or application was officially published.
First Publication Date:The earliest publication date of a patent with the same application number.
Issue Date:Publication date of the patent grant document.
PCT Entry Date:The Entry date of PCT National Phase.
Estimated Expiry Date:The statutory expiry date of a patent right according to the Patent Law, and it is the longest term of protection that the patent right can achieve without the termination of the patent right due to other reasons(Term extension factor has been taken into account ).
Invalid Date:Actual expiry date is based on effective date or publication date of legal transaction data of invalid patent.
Login to View More 
Login to View More