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

Automatic Transformation Method of Informal Requirements Specification Template to Formal Design Model

A technology for formalized requirements and design models, applied in the field of automatic conversion from informal requirements specification templates to formalized design models, can solve problems such as inapplicable system descriptions

Active Publication Date: 2021-04-02
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF3 Cites 0 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 Transformation Method of Informal Requirements Specification Template to Formal Design Model
  • Automatic Transformation Method of Informal Requirements Specification Template to Formal Design Model
  • Automatic Transformation Method of Informal Requirements Specification Template to Formal Design Model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0180] The present invention will be further described below in conjunction with the accompanying drawings. The following examples are only used to illustrate the technical solution of the present invention more clearly, but not to limit the protection scope of the present invention.

[0181] The AADL language can well express the characteristics of the embedded system, such as tight coupling of software and hardware, and a 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 fulfill 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.

[0182] 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 invention relates to a formalized conversion method of an 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 safety 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. At pr...

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 Patents(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