AADL model refinement method and Ada executable code automatic generation method supported by AADL model refinement method

A model and code technology, applied in the field of automatic generation of Ada executable code, can solve problems such as few early integration, incomplete early models, and inability to convert runnable code

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

AI Technical Summary

Problems solved by technology

But until now, little work has evaluated early integration of model-based performance evaluation, mainly because the initial model has too little semantics for early design-stage analysis.
Moreover, with the help of early models with incomplete semantics, it is impossible to convert runnable code whose functions maintain the required semantics

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 model refinement method and Ada executable code automatic generation method supported by AADL model refinement method
  • AADL model refinement method and Ada executable code automatic generation method supported by AADL model refinement method
  • AADL model refinement method and Ada executable code automatic generation method supported by AADL model refinement method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0171] The present invention relates to an AADL model refinement method oriented to an aerospace control system and its supported executable Ada code automatic generation method and corresponding tool implementation. The tool is implemented based on the AADL open source tool environment OSATE using Eclipse plug-in development technology. Through the user providing a preliminary functional model and guiding the user to refine platform-related information addition or selection, and then instantiate the platform-specific model and then generate code for the instantiated model, the background will realize the AADL functional model PSM to executable, Automatic generation of platform-specific Ada code. In order for the model to be runnable on the Star platform, the added platform-specific refinements should be as lean as possible.

[0172] 1) General overview of tools

[0173] T...

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 model refinement method and an Ada executable code automatic generation method supported by the AADL model refinement method. According to the method, an existing AADLmodel is analyzed by using the AADL file analysis capability provided based on OSATE; the AADL model is subjected to functional behavior simplification and related information supplement of an execution platform through a model refinement method, so the model is complete enough; meanwhile, the automatic code generation capability provided by the Xtext technology is used, the conversion from modelssuch as system components, process and thread components, behavior attachments and modes of the AADL to Ada codes is realized by a template rule mapping function provided by an Xtend technology; andthe code can run on a specific platform, so that the Eclipse platform plug-in based on the OSATE of the AADL open source tool environment is completed.

Description

technical field [0001] The invention relates to the technical field of automatically generating Ada executable codes based on an AADL functional requirement model, in particular to a method for automatically generating Ada executable codes oriented to the refinement of the AADL model and its support for aerospace control systems. Background technique [0002] Safety-critical real-time systems are widely used in key information fields such as avionics, spacecraft, weaponry, nuclear energy, and vehicle control. A safety-critical real-time system is a complex system that is deeply integrated with application software, real-time operating system or real-time middleware, and a hardware platform. )Impact. Safety-critical software is an important part of safety-critical real-time systems, and the quality of safety-critical software directly affects the quality of safety-critical real-time systems. In essence, the design and development process of safety-critical software is basic...

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/30G06F8/41
CPCG06F8/31G06F8/447
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