Automatic development of software codes

A software code and software generation technology, applied in the direction of program control devices, etc., can solve problems such as failure to obtain approval, people's reluctance to use, and lack of practitioners, so as to achieve the effect of saving development costs and reducing lifetime costs

Inactive Publication Date: 2012-07-04
SUZHOU MINGXING TECH
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

FM uses a very difficult branch of mathematics, which may have contributed to the reluctance to use it, thereby failing to gain wider acceptance
In particular, providing proof is a laborious, time-consuming and extremely skillful process
Furthermore, FM is u

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
  • Automatic development of software codes
  • Automatic development of software codes
  • Automatic development of software codes

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0032] can be as figure 1 The software within the AAA shown in is seen as three separate parts. They include: a real-time operating system layer (1) shown by a dotted line, an application layer software (2) shown by a dotted line, and AAA control software (3). The operating system layer (1) includes an operating system (la). The application layer software (2) includes a large number of functional applications ((4). The operating system layer (1) and the application layer software (2) are linked together through the AAA control software (3), and the AAA control software ((3) includes the The application management code (5) associated with the application layer software (2) and the general system management software (6) associated with the operating system layer (1). These three parts are all composed of the backplane support layer (7) and the processor ( 8) Support.

[0033] In order to certify AAA software, each of the three sections must be certified. The key to AAA is pla...

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

Development of validated software codes is a troublesome but important process, in particular for the condition that takes security key application programs into consideration. The invention provides a method for generating validated software codes according to demand, which comprises the following steps: (1) using software to generate the demanded state model; (2) using the state model to develop the software code description of the state model and the mathematic description of the state model; and (3) comparing the software codes with the mathematic description so as to validate that the software code description is correct expression of the mathematic description.

Description

technical field [0001] The present invention relates to methods and implementations thereof in software-based code development, which may be used, for example, in the control of systems such as avionics. Background technique [0002] Over the years, as the reliance on software has grown to provide more complex control operations, software-based implementations of control functions in hardware have become increasingly complex. This has resulted in the development of very large amounts of software code for For complex control operations. [0003] One such example is the development of software code for implementation within the avionics systems of modern fighter jets such as the Euro fighter. The performance characteristics of such aircraft are that they operate in aerodynamically unstable conditions. This requires the help of a large amount of extremely complex computer software. The development and certification of such software can be a very time-consuming process. In th...

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): G06F9/44
Inventor 薛东海
Owner SUZHOU MINGXING TECH
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