A Multi-task Compiler Method Based on Graphical Guardian Command Calculus

A compilation method and a graphical technology, which can be used in code compilation, calculation, program code conversion, etc., and can solve problems such as insufficient AADL expression ability.

Active Publication Date: 2021-04-06
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF11 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, in the embedded field, especially in the aerospace field, AADL has a large amount of data calculation and description of data flow behavior. At present, AADL has insufficient expressive ability in this aspect.

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
  • A Multi-task Compiler Method Based on Graphical Guardian Command Calculus
  • A Multi-task Compiler Method Based on Graphical Guardian Command Calculus
  • A Multi-task Compiler Method Based on Graphical Guardian Command Calculus

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0191] The present invention will be further described below in conjunction with accompanying drawing:

[0192] The present invention relates to a method for automatically compiling and generating executable multi-task Ada / C codes through graphical guard-style command calculus GCC_graph. For the GCC_graph program input by designers, the compiler automatically compiles it to generate corresponding executable multi-task Ada / C codes. code. All the functions of the compiler are implemented by the functional programming language CAML programming. Since CAML is a safe language, the CAML program is verified by its own compiler before execution. In addition, the compiler designed by the present invention uses a modular structure, and once the requirements change, only the corresponding modules need to be modified.

[0193] The invention defines the formal syntax and formal semantics of the graphical guard command calculus GCC_graph. The GCC_graph compiler, based on modular structure...

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 is a kind of multi-task compiling method based on graphical guard-style command calculus, relates to a graphical guard-style command calculus GCC_graph automatic compiling method to generate executable multi-task Ada / C code, for the GCC_graph program input by the designer, the The compiler automatically compiles it to generate the corresponding executable multi-task Ada / C code. All the functions of the compiler are implemented by the functional programming language CAML programming. Since CAML is a safe language, the CAML program is verified by its own compiler before execution. In addition, the compiler designed by the present invention uses a modular structure, once the program changes, we only need to modify the code of the corresponding module.

Description

technical field [0001] The invention relates to a multi-task compiling method based on graphical guard command calculus, in particular to a graphical guard command calculus language GCC_graph compiling and generating executable multi-task Ada / C code method. Background technique [0002] Synchronous methods are widely used in the design and verification of real-time embedded software, especially Safety-Critial Systems, because such systems have very strict requirements on key properties such as real-time performance, reliability and safety. A safety-critical embedded system is a type of reactive system (Reactive System), because it continuously reacts to input events in the environment, and produces results and outputs in a timely manner. Reactive systems must ensure the functional correctness of their own input and output specifications and the correctness of timing constraints, while the synchronization method, based on the synchrony hypothesis, can guarantee the determinis...

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/41
CPCG06F8/425
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