Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Formal semantic analysis and inspection method for demand table model

A technology of semantic analysis and inspection method, applied in the direction of demand analysis, semantic analysis, structured data retrieval, etc., can solve problems such as the inability to meet the compliance verification requirements of airborne software, and achieve the effect of improving completeness and quality.

Pending Publication Date: 2022-07-12
CHINESE AERONAUTICAL RADIO ELECTRONICS RES INST
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, these tools are designed for mathematical modeling and automatic analysis of the system design, which cannot meet the compliance verification requirements of airborne software requirements.

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
  • Formal semantic analysis and inspection method for demand table model
  • Formal semantic analysis and inspection method for demand table model
  • Formal semantic analysis and inspection method for demand table model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0072] In order to make the objectives, technical solutions and advantages of the present invention clearer, the present invention will be further described in detail below with reference to the accompanying drawings and embodiments. It should be understood that the specific embodiments described herein are only used to explain the present invention, but not to limit the present invention.

[0073] Unless otherwise specifically and clearly described in the context, the elements and components in the present invention may exist in a single form or a plurality of forms, which is not limited by the present invention. Although the steps in the present invention are arranged with numbers, they are not used to limit the sequence of the steps. Unless the sequence of the steps is explicitly stated or the execution of a certain step requires other steps as the basis, the relative sequence of the steps can be adjusted.

[0074] The invention aims to map the itemized requirements of the ...

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 formal semantic analysis and inspection method for a demand table model, which comprises the following steps: mapping the demand of airborne safety key software into a mathematical model based on propositional logic and relation theory, carrying out strict mathematical definition on the semantics, and then designing a series of automatic algorithms to verify the multilayer semantic constraint of the demand.

Description

technical field [0001] The invention relates to the technical field of requirement modeling and verification of airborne safety-critical software, and relates to a kind of mapping the requirement of airborne safety-critical software into a mathematical model based on propositional logic and relational theory, carrying out strict mathematical definition of its semantics, and then A method for designing a series of automated algorithms to validate the multi-layered semantic constraints of requirements. Background technique [0002] Modern airborne software implements most of the functions of modern aircraft and systems, and is becoming more and more important to aircraft systems. The safety of onboard software with safety-critical features has also become an important feature of modern aircraft safety. However, the airborne software has its particularity. It cannot be inspected and tested like the powerless parts such as cables, skins, and panels of the aircraft, nor can it b...

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
IPC IPC(8): G06F8/10G06F40/30G06F16/22G06F40/211G06F40/253
CPCG06F8/10G06F40/30G06F16/2282G06F40/211G06F40/253Y02P90/30
Inventor 康介祥王辉崔杰高忠杰尹伟
Owner CHINESE AERONAUTICAL RADIO ELECTRONICS RES INST
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com