Multi-task compiling method based on graphical guarded command calculation

A compiling method and graphical technology, applied in code compiling, computing, program code conversion, etc., can solve problems such as insufficient expression ability of AADL

Active Publication Date: 2018-07-24
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF11 Cites 7 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 expression 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
  • Multi-task compiling method based on graphical guarded command calculation
  • Multi-task compiling method based on graphical guarded command calculation
  • Multi-task compiling method based on graphical guarded command calculation

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0196] 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 in the present invention uses a modular structure, and once the requirements change, only the corresponding modules need to be modified.

[0197] 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 invention provides a multi-task compiling method based on graphical guarded command calculation and relates to a method for automatically compiling and generating executable multi-task Ada / C codesthrough graphical guarded command calculation GCC_graph. For a GCC_graph program input by a designer, a compiler automatically compiles the program to generate a corresponding executable multi-task Ada / C code. All functions of the compiler are achieved through programming by use of a functional programming language CAML, and since CAML is a secure language, a CAML program is verified by a self-compiler before execution. Besides, the designed compiler adopts a modular structure, and once a program changes, we only need to modify the code of a corresponding module.

Description

technical field [0001] The present invention relates to a kind of multi-task compiling method based on graphical guard-style command calculus, in particular to a graphical guard-style 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-critical systems (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 timing correctness of time constraints, while the synchronization method, base...

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/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