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

Automatic conversion method from non-formal requirement specification template to formal design model

A technology of formal requirements and automatic conversion, applied in software design, software engineering design, calculation, etc., can solve problems such as inapplicable system description

Active Publication Date: 2018-06-22
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF3 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, neither of these two categories is suitable for system descriptions with tightly coupled hardware and software features.

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
  • Automatic conversion method from non-formal requirement specification template to formal design model
  • Automatic conversion method from non-formal requirement specification template to formal design model
  • Automatic conversion method from non-formal requirement specification template to formal design model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0181] The present invention will be further described below in conjunction with the accompanying drawings. The following examples are only used to more clearly illustrate the technical scheme of the present invention, and cannot limit the protection scope of the present invention with this.

[0182] The AADL language can well express the characteristics of embedded systems such as tight coupling of software and hardware and clear hierarchical structure. Therefore, in this case, AADL is selected as the design modeling language of the embedded system, and a set of templates based on limited natural language is designed and proposed to meet the requirements. Specification, and converted to AADL design model, in order to reduce the problems in the manual modeling process and ensure the safety of the design model.

[0183] AADL design model: embedded real-time system architecture analysis and design language AADL was proposed by SAE in 2004 on the basis of MetaH, UML, HOOD, ...

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 present invention discloses an automatic conversion method from a non-formal requirement specification template to a formal design model. The system or the component is described in a hierarchicalorganization form and a restricted language through a requirement specification template based on a limited natural language; and the requirement specification is used to form an informal design description document, and the entire design specification is converted to the AADL formal design model. According to the method disclosed by the present invention, the limitation of the requirement description can be implemented, the errors caused by the human factors generated by the natural language ambiguity can be reduced, a non-formal design description can be formed, and the AADL initial designmodel can be automatically generated.

Description

technical field [0001] The present invention relates to a formalized conversion method of informal design description, in particular to an automatic conversion method from an informal requirement specification template to a formalized design model. Background technique [0002] With the widespread application of embedded software in safety-critical fields such as avionics, automobile industry, communication, and nuclear industry, such embedded systems must ensure the reliability, safety and other related properties of the system. Such systems are called safety-critical System (Safety Critical System). Guaranteeing the security and reliability of such systems has become a very important topic in the current software engineering research field. [0003] Security refers to the ability of software to run without causing system harm. Software is dangerous when it can cause harm or control the occurrence of harm. Safety analysis is a widely accepted approach to ensuring safety....

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/20G06F8/30
CPCG06F8/20G06F8/315
Inventor 杨志斌刘承威冯思喆王飞许金淼周勇谢健王永孟
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
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