Method for debugging operational software of a system onboard an aircraft and device for implementing the same

A technology for airborne systems and running software, which is applied in the field of systems with high security requirements, and can solve problems such as the reduction and disappearance of reverse execution efficiency

Inactive Publication Date: 2010-08-11
AIRBUS OPERATIONS (SAS)
View PDF1 Cites 7 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

When complex logic software is involved, as is usually the case with on-board software, the efficiency of reverse execution is significantly reduced, or even completely eliminated

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
  • Method for debugging operational software of a system onboard an aircraft and device for implementing the same
  • Method for debugging operational software of a system onboard an aircraft and device for implementing the same
  • Method for debugging operational software of a system onboard an aircraft and device for implementing the same

Examples

Experimental program
Comparison scheme
Effect test

Embodiment approach

[0094] In step 41, the reverse execution of the function that allows the detected defective instruction string to be traced back to the program is started. In one embodiment of the present invention, the reverse execution is completed between two consecutive marks (interval). In the most common case this corresponds to the start and end of the defect function. It is of course possible to jump from one interval to another without any special restrictions. In another specific embodiment, the reverse execution is carried out over a narrow range around the error, in other words only over a part of the function.

[0095] In step 42 , the developer performs error debugging, in other words he detects errors in defective function sections and corrects them. When the debugging step 42 ends, the method repeats step 31 in order to check whether the program was executed correctly.

[0096] When the control unit no longer detects interrupts on processor exceptions, the control unit then...

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 relates to a method for debugging the program of operational software of an onboard system, characterised in that it comprises the following steps: a) flagging (31) the program by positioning flags along an execution path for dividing said execution path into adjacent functional intervals; b) normal execution (32) of the program; c) acquiring (33) an execution condition of the program by flag condition vectors; d) when an error is detected, searching (36) a faulty functional interval based on the flag condition vectors, reverse execution (41) of the program in said faulty functional interval, and determination and correction of the error (42).

Description

technical field [0001] The present invention is in the field of safety of the operation of systems when their operation depends on the execution of sequences of logical instructions in a computer. [0002] In particular, the invention aims at a method for debugging the operating software of a system that is supposed to execute a sequence of logical instructions, especially a system with high safety requirements, such as an electronic system specially mounted on an aircraft. [0003] The method enables developers to search for and correct errors in the logical sequence of instructions for operating software on an airborne system. The invention has particular advantages, not exclusively, in the field of aeronautics and especially in the field of test execution of software dedicated to the operation of airborne systems. Background technique [0004] For safety reasons, systems intended to be installed on aircraft need to be checked for good operation. During the checks, the sy...

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): G06F11/36
CPCG06F11/3636
Inventor F·兰蒂姆比沃罗罗纳F·富尼耶P·勒墨尔V·布雷容
Owner AIRBUS OPERATIONS (SAS)
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