Graphical AADL (Architecture Analysis and Design Language) function behavior modeling method

A modeling method and graphical technology, applied in visual/graphical programming, creating/generating source code, instruments, etc., to achieve the effect of enhancing expressive ability

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

AI Technical Summary

Problems solved by technology

But so far, there is no tool that can graph...

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
  • Graphical AADL (Architecture Analysis and Design Language) function behavior modeling method
  • Graphical AADL (Architecture Analysis and Design Language) function behavior modeling method
  • Graphical AADL (Architecture Analysis and Design Language) function behavior modeling method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0057] 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.

[0058] The invention relates to an AADL graphic functional behavior modeling method and corresponding tool realization. The tool is realized based on the AADL open source tool environment OSATE by using the Eclipse plug-in development technology. Users can use this tool to realize the graphical modeling of AADL functional behavior, and can also use this tool to graphically display the existing AADL behavior attachment code. In addition, the present invention extends the syntax and semantics of the existing AADL behavior attachments to enrich the hierarchical expression of AADL functional behaviors.

[0059] General overview: It mainly includes two parts, one is the graphical expression of...

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 graphical AADL (Architecture Analysis and Design Language) function behavior modeling method. The method is characterized by including the following steps: 1) carrying out graph element definition on each component of AADL behavior annexes; 2) using Eclipse plug-in development technology and plug-in extension point extension technology to realize graph element registration; 3) carrying out graphical modification on the AADL behavior annexes, and then carrying out checking; and 4) carrying out hierarchical extension on the AADL behavior annexes. The method achieves theadvantages that the method realizes hierarchical expression of the AADL function behaviors through AADL metamodel extension; complete graphical conversion of the AADL behavior annexes is realized through GEF (Graphical Editing Framework) technology, and the same is integrated into an AADL open-source tool OSATE (Open Source AADL Tool Environment); hierarchical expression of the AADL function behaviors enhances expression ability of an AADL; and graphical conversion of the behavior annexes enriches modeling manners of the AADL behavior annexes, and satisfies actual needs that engineers are accustomed to using graphical modeling in actual modeling processes.

Description

technical field [0001] The invention relates to an AADL graphical functional behavior modeling method, which belongs to the technical field of graphical modeling. Background technique [0002] With the widespread application of embedded software in safety-critical fields such as aerospace, communications, nuclear industry, and automotive electronics, this type of embedded system must ensure system reliability, security, and other related properties. This type of embedded system is called Safety Critical System. How to ensure the safety and reliability of this kind of system has become a very important topic in the current software engineering research field. [0003] A safety-critical system is a complex system that is deeply integrated with application software, runtime environment, and hardware platform. For this reason, in 2004, SAE (Society of Automotive Engineers) proposed the embedded system architecture analysis and design language AADL (Architecture Analysis and De...

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/30G06F8/34
CPCG06F8/315G06F8/34
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