Unlock instant, AI-driven research and patent intelligence for your innovation.

AADL function behavior extension method and tool based on specifications and description languages

A description language and extension method technology, applied in the field of software system modeling, to achieve the effect of easy reuse and improved scalability

Active Publication Date: 2019-09-20
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF4 Cites 9 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The high formality of this approach makes it possible for SDL tools to generate and test complete embedded applications

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
  • AADL function behavior extension method and tool based on specifications and description languages
  • AADL function behavior extension method and tool based on specifications and description languages
  • AADL function behavior extension method and tool based on specifications and description languages

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0051] The inventive method is further described below in conjunction with the accompanying drawings.

[0052] The invention relates to a modeling method for expanding the functional behavior of the AADL model by using the specification and description language model. In the process of model-driven software development, in the outline design stage, the AADL modeling language is used for system structure modeling. For users A functional module of the selected AADL system model automatically extracts the modeling environment of the functional module in AADL, obtains the data that needs to be used in the modeling environment of the functional module, and the process of interaction between the functional module and the external environment, and passes the The process is saved in the intermediate data structure of the specification and description language model, and the modeling environment of the specification and description language model is generated at the same time, and a use...

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 an AADL function behavior extension method and tool based on specifications and description languages, and the method comprises the steps: 1, carrying out the modeling of a software system structure based on an AADL, and obtaining an AADL model; 2, using an ASN.1 data generation algorithm and a normative and description language model framework generation algorithm; extracting a functional module modeling environment in the AADL model, obtaining data required by the standard and description language model and a standard and description language model framework, and generating a standard and description language model modeling environment based on the data required by the standard and description language model and the standard and description language model framework.

Description

technical field [0001] The invention belongs to the technical field of software system modeling, and specifically relates to an AADL function behavior expansion method and tool based on specification and description language. Background technique [0002] Traditional safety-critical software design and development methods mainly use natural language document-driven (Paper-Driven) and manual methods to realize the conversion between stages, and the development time and cost are relatively high. First of all, due to the separation between the stages, it will inevitably lead to a lot of duplication of labor; second, engineering experience shows that a large number of errors (about 50%) are introduced in the early stage, while the traditional development process does not correct the system until the later stage. Verification and analysis of functional and non-functional properties, and mainly based on documents, is also prone to errors, which increases the cost of verification. ...

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/35
CPCG06F8/35
Inventor 杨志斌宗喆张博林谢健周勇
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS