Formalized demand model generation method for domain natural language demands

A formal requirement and natural language technology, applied in the field of formal requirement model generation oriented to domain natural language requirement, can solve the problem that the model is not capable of requirement analysis and verification.

Active Publication Date: 2020-11-24
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF5 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the model constructed by the existing requirement model construction technology cannot meet the requirements of DO-178B / C for requirement analysis and verification

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
  • Formalized demand model generation method for domain natural language demands
  • Formalized demand model generation method for domain natural language demands
  • Formalized demand model generation method for domain natural language demands

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0039] The present invention is described in further detail now in conjunction with accompanying drawing.

[0040] It should be noted that terms such as "upper", "lower", "left", "right", "front", and "rear" quoted in the invention are only for clarity of description, not for Limiting the practicable scope of the present invention, and the change or adjustment of the relative relationship shall also be regarded as the practicable scope of the present invention without substantive changes in the technical content.

[0041] The specific embodiment is the actual requirement of EICAS, and some typical requirements are taken for illustration:

[0042] (1) When (the parameter ipFlightDeckUnitsConfigurationIsMetric is valid and equal to TRUE), the aircraft integrated electronic display system should set the parameter ipFlightDeckUnitsConfigurationIsMetric to METRIC, otherwise set it to IMPERIAL.

[0043] (2) When ipFADECEngineManualThrottleCmd is equal to TRUE, the color of the grap...

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 formalized demand model generation method for domain natural language demands, and the method comprises the steps: carrying out the definition of various types of data, including object nouns and domain concepts, involved in the actual demands of an avionics domain target system in an N-tuple mode, and obtaining a domain concept library; establishing a domain template library according to specification data including DO-178B / C aviation certification standards, aviation industry domain demand description specifications, EICAS system demand characteristics and element characteristics of the VRM model; performing demand specification on the EICAS natural language demand in combination with the domain concept library and the domain template library to obtain a normalized demand model; establishing a VRM model automatic construction algorithm according to the normalized demand model features and the VRM model features; and taking the normalized demand model as input to obtain a VRM formalized model. According to the method, system engineering personnel can automatically construct the VRM formalized model after defining requirements by adopting the domain concept library and the domain template library, so that time and labor are saved.

Description

technical field [0001] The invention relates to the technical field of formalized model construction of safety-critical software, in particular to a method for generating a formalized requirement model oriented to domain natural language requirements. Background technique [0002] Safety-critical software refers to a class of software used in safety-critical systems such as aviation, aerospace, transportation, and energy. Such software systems require high security, high reliability, and high robustness. How to correctly and effectively construct the model of this kind of software system is the prerequisite for the analysis and verification of the system. From the perspective of the software life cycle, compared with the errors introduced in the design or implementation phase of software products, errors in the requirements stage are more likely to have a significant impact on the security of such systems. Therefore, modeling safety-critical software at the requirements lev...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F8/10G06F8/41
CPCG06F8/10G06F8/436
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