Unlock instant, AI-driven research and patent intelligence for your innovation.
Method for generating and analyzing VRM formalized demand 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, applied in the field of generation and analysis of VRM formalized requirements models, which can solve problems such as large and complex industrial systems, syntax, syntax, and semantic errors of requirements models
Active Publication Date: 2020-05-19
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF10 Cites 2 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.
[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 method for generating and analyzing a VRM formalized demand model. The method comprises the steps: enabling the demand model to be constructed into a finite stateautomatonsystem, and generating a corresponding VRM standard set; introducing an intermediate variable, layering the finite stateautomatonsystem, and defining a topological sorting structure and a dependencyrelationship among the variables; the finite stateautomatonsystem is applied to a safety critical system for demand description and analysis. According to the method, the demand model is constructedinto a finite state automaton system, so that the finite state automaton system can be better applied to an actual system, and the demand description problem of an industrial system is solved; meanwhile, the invention provides a correlation consistency and integrity analysis method which is used for checking grammar, semanteme and syntactic errors existing in the finite state automaton system anddisjoint and coverage of requirements, so that the system requirements are accurate and ambiguity is avoided.
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