EP 2188725 A2 20100526 - METHOD FOR DEBUGGING OPERATIONAL SOFTWARE OF A SYSTEM ONBOARD AN AIRCRAFT AND DEVICE FOR IMPLEMENTING THE SAME
Title (en)
METHOD FOR DEBUGGING OPERATIONAL SOFTWARE OF A SYSTEM ONBOARD AN AIRCRAFT AND DEVICE FOR IMPLEMENTING THE SAME
Title (de)
VERFAHREN ZUM DEBUGGING DER BETRIEBSSOFTWARE EINES SYSTEMS AN BORD EINES FLUGZEUGS SOWIE VORRICHTUNG ZUR ANWENDUNG DIESES VERFAHRENS
Title (fr)
PROCÉDÉ DE DÉBOGAGE D'UN LOGICIEL DE FONCTIONNEMENT D'UN SYSTÈME EMBARQUÉ À BORD D'UN AÉRONEF ET DISPOSITIF DE MISE EN OEUVRE
Publication
Application
Priority
- FR 2008051649 W 20080912
- FR 0757608 A 20070914
Abstract (en)
[origin: WO2009047435A2] 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).
IPC 8 full level
G06F 11/36 (2006.01)
CPC (source: EP US)
G06F 11/3636 (2013.01 - EP US)
Citation (search report)
See references of WO 2009047435A2
Designated contracting state (EPC)
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MT NL NO PL PT RO SE SI SK TR
Designated extension state (EPC)
AL BA MK RS
DOCDB simple family (publication)
FR 2921172 A1 20090320; FR 2921172 B1 20150904; BR PI0816977 A2 20150324; CA 2697726 A1 20090416; CN 101802794 A 20100811; EP 2188725 A2 20100526; JP 2010539578 A 20101216; JP 5580200 B2 20140827; RU 2010114707 A 20111020; RU 2454706 C2 20120627; US 2011016358 A1 20110120; US 8650547 B2 20140211; WO 2009047435 A2 20090416; WO 2009047435 A3 20100318
DOCDB simple family (application)
FR 0757608 A 20070914; BR PI0816977 A 20080912; CA 2697726 A 20080912; CN 200880106874 A 20080912; EP 08837964 A 20080912; FR 2008051649 W 20080912; JP 2010524558 A 20080912; RU 2010114707 A 20080912; US 67814208 A 20080912