BRPI0816977A2 - Processo de depuração de um software de funcionamento de um sistema embarcado a bordo de uma aeronave e dispositivo utilizado. - Google Patents
Processo de depuração de um software de funcionamento de um sistema embarcado a bordo de uma aeronave e dispositivo utilizado.Info
- Publication number
- BRPI0816977A2 BRPI0816977A2 BRPI0816977A BRPI0816977A2 BR PI0816977 A2 BRPI0816977 A2 BR PI0816977A2 BR PI0816977 A BRPI0816977 A BR PI0816977A BR PI0816977 A2 BRPI0816977 A2 BR PI0816977A2
- Authority
- BR
- Brazil
- Prior art keywords
- aircraft
- board
- device used
- embedded system
- operating software
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR0757608A FR2921172B1 (fr) | 2007-09-14 | 2007-09-14 | Procede de debogage d'un logiciel de fonctionnement d'un systeme embarque a bord d'un aeronef et dispositif de mise en oeuvre |
PCT/FR2008/051649 WO2009047435A2 (fr) | 2007-09-14 | 2008-09-12 | 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 |
Publications (1)
Publication Number | Publication Date |
---|---|
BRPI0816977A2 true BRPI0816977A2 (pt) | 2015-03-24 |
Family
ID=39247645
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
BRPI0816977 BRPI0816977A2 (pt) | 2007-09-14 | 2008-09-12 | Processo de depuração de um software de funcionamento de um sistema embarcado a bordo de uma aeronave e dispositivo utilizado. |
Country Status (8)
Country | Link |
---|---|
US (1) | US8650547B2 (pt) |
EP (1) | EP2188725A2 (pt) |
JP (1) | JP5580200B2 (pt) |
BR (1) | BRPI0816977A2 (pt) |
CA (1) | CA2697726A1 (pt) |
FR (1) | FR2921172B1 (pt) |
RU (1) | RU2454706C2 (pt) |
WO (1) | WO2009047435A2 (pt) |
Families Citing this family (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9020796B2 (en) * | 2010-11-22 | 2015-04-28 | Certon Software Inc. | Model based verification using intelligent connectors |
FR2978264B1 (fr) * | 2011-07-18 | 2014-06-27 | Airbus Operations Sas | Un procede de rechargement automatique de logiciel et un dispositif de rechargement automatique de logiciel |
US8793661B1 (en) | 2012-04-27 | 2014-07-29 | Google Inc. | Programmer specified conditions for raising exceptions and handling errors detected within programming code |
CN103577315B (zh) | 2012-07-30 | 2017-02-22 | 国际商业机器公司 | 反向调试器和反向调试方法 |
US9183122B2 (en) * | 2012-09-14 | 2015-11-10 | International Business Machines Corporation | Automated program testing to facilitate recreation of test failure |
CN106155899B (zh) * | 2015-04-17 | 2019-02-26 | 比亚迪股份有限公司 | 多媒体程序缺陷的定位方法和系统 |
RU2632546C1 (ru) * | 2016-06-23 | 2017-10-05 | Публичное акционерное общество "Авиационная холдинговая компания "Сухой" | Стенд комплексирования информационно-управляющих систем многофункциональных летательных аппаратов |
US10482000B2 (en) | 2017-04-24 | 2019-11-19 | Microsoft Technology Licensing, Llc | Machine learned decision guidance for alerts originating from monitoring systems |
FR3072475B1 (fr) * | 2017-10-17 | 2019-11-01 | Thales | Procede de traitement d'une erreur lors de l'execution d'une procedure avionique predeterminee, programme d'ordinateur et systeme de detection et d'alerte associe |
CN108549602B (zh) * | 2018-03-30 | 2022-03-08 | 深圳市江波龙电子股份有限公司 | 一种软件调试方法 |
Family Cites Families (22)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06222952A (ja) * | 1993-01-27 | 1994-08-12 | Toshiba Corp | デバッグ支援装置 |
JP3585601B2 (ja) | 1995-09-25 | 2004-11-04 | 松下電器産業株式会社 | 制御ソフトウェアの自動テスト装置及び方法 |
US5870607A (en) * | 1996-09-11 | 1999-02-09 | Brown University Research Foundation | Method and apparatus for selective replay of computer programs |
JPH11184728A (ja) | 1997-12-25 | 1999-07-09 | Toshiba Corp | デバッグ処理方法ならびに装置及び同方法がプログラムされ記録される記録媒体 |
US6202204B1 (en) * | 1998-03-11 | 2001-03-13 | Intel Corporation | Comprehensive redundant load elimination for architectures supporting control and data speculation |
JP3068578B2 (ja) | 1998-12-10 | 2000-07-24 | 日本電気アイシーマイコンシステム株式会社 | インサーキットエミュレータおよび飽和演算処理方法 |
US6832367B1 (en) * | 2000-03-06 | 2004-12-14 | International Business Machines Corporation | Method and system for recording and replaying the execution of distributed java programs |
JP2002207611A (ja) | 2001-01-11 | 2002-07-26 | Mitsubishi Heavy Ind Ltd | ソフトウェアワーキングベンチ |
US7069544B1 (en) * | 2001-04-30 | 2006-06-27 | Mips Technologies, Inc. | Dynamic selection of a compression algorithm for trace data |
US8473922B2 (en) * | 2001-09-19 | 2013-06-25 | Hewlett-Packard Development Company, L.P. | Runtime monitoring in component-based systems |
JP2004094800A (ja) | 2002-09-03 | 2004-03-25 | Toshiba Corp | プログラムシミュレーション装置およびプログラムシミュレーション方法 |
CA2408457A1 (en) * | 2002-10-17 | 2004-04-17 | Ibm Canada Limited-Ibm Canada Limitee | Collection and detection of differences of values of expressions/variables when debugging a computer process |
JP2005353020A (ja) * | 2004-06-08 | 2005-12-22 | Yellow Soft:Kk | コンピュータプログラムのシミュレーション方式 |
US7543278B2 (en) * | 2004-10-15 | 2009-06-02 | Microsoft Corporation | System and method for making a user interface element visible |
JP2006139440A (ja) | 2004-11-11 | 2006-06-01 | Toshiba Corp | エミュレータ装置およびその制御方法 |
US7627857B2 (en) * | 2004-11-15 | 2009-12-01 | International Business Machines Corporation | System and method for visualizing exception generation |
US7849450B1 (en) * | 2005-01-28 | 2010-12-07 | Intel Corporation | Devices, methods and computer program products for reverse execution of a simulation |
WO2006099446A2 (en) * | 2005-03-11 | 2006-09-21 | Argade Pramod V | Environment for controlling the execution of computer programs |
US7836430B2 (en) * | 2006-07-21 | 2010-11-16 | Apple Inc. | Reversing execution of instructions in a debugger |
US8176475B2 (en) * | 2006-10-31 | 2012-05-08 | Oracle America, Inc. | Method and apparatus for identifying instructions associated with execution events in a data space profiler |
US8104022B2 (en) * | 2006-11-06 | 2012-01-24 | International Business Machines Corporation | Automated method for historical analysis of a memory state |
US20080209406A1 (en) * | 2007-02-27 | 2008-08-28 | Novell, Inc. | History-based call stack construction |
-
2007
- 2007-09-14 FR FR0757608A patent/FR2921172B1/fr not_active Expired - Fee Related
-
2008
- 2008-09-12 JP JP2010524558A patent/JP5580200B2/ja not_active Expired - Fee Related
- 2008-09-12 CA CA2697726A patent/CA2697726A1/fr not_active Abandoned
- 2008-09-12 RU RU2010114707/08A patent/RU2454706C2/ru not_active IP Right Cessation
- 2008-09-12 WO PCT/FR2008/051649 patent/WO2009047435A2/fr active Application Filing
- 2008-09-12 EP EP08837964A patent/EP2188725A2/fr not_active Withdrawn
- 2008-09-12 BR BRPI0816977 patent/BRPI0816977A2/pt not_active IP Right Cessation
- 2008-09-12 US US12/678,142 patent/US8650547B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
CN101802794A (zh) | 2010-08-11 |
WO2009047435A3 (fr) | 2010-03-18 |
WO2009047435A2 (fr) | 2009-04-16 |
JP5580200B2 (ja) | 2014-08-27 |
US20110016358A1 (en) | 2011-01-20 |
US8650547B2 (en) | 2014-02-11 |
FR2921172B1 (fr) | 2015-09-04 |
CA2697726A1 (fr) | 2009-04-16 |
RU2010114707A (ru) | 2011-10-20 |
RU2454706C2 (ru) | 2012-06-27 |
FR2921172A1 (fr) | 2009-03-20 |
EP2188725A2 (fr) | 2010-05-26 |
JP2010539578A (ja) | 2010-12-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
BRPI0816977A2 (pt) | Processo de depuração de um software de funcionamento de um sistema embarcado a bordo de uma aeronave e dispositivo utilizado. | |
BRPI0817102A2 (pt) | Processo de geração automática de roteiro para testar a validade de um software de funcionamento de um sistema embarcado a bordo de uma aeronave, e dispositivo de aplicação | |
BRPI0811086A2 (pt) | Método e sistema para fabricação de um cartão de interface eletrônica e um cartão fabricado usando os mesmos | |
BRPI0819876A2 (pt) | Sistema de enumeração e método para exibição de led. | |
DE602007008781D1 (de) | Elektronische Vorrichtung und diese verwendendes Steuerungsverfahren für eine externe Vorrichtung | |
BRPI0816550A2 (pt) | Sistema de acesso a um equipamento pessoal de informatica a bordo de um aeronave, processo de acesso a um equipamento pessoal de informatica a bordo de uma aeronave e aeronave | |
BRPI0822409A2 (pt) | Método e sistema para estabeler um contorno interno de uma área de trabalho. | |
BRPI0814340A2 (pt) | Método para tratar uma formação subterrânea, programa de computador, e, sistema para tratar uma formação subterrânea | |
DE112008004269A5 (de) | Verfahren und Systeme zum Bereitstellen von Sensorinformation an Vorrichtungen und Peripheriegeräte | |
BRPI0815318A2 (pt) | "método e sistema para avaliação de uma condição de um componente". | |
BRPI0815590A2 (pt) | Método, meio legível por computador, computador servidor, sistema e dispositivo eletrônico. | |
BRPI0720646A2 (pt) | Sensor de geolocalização portátil, método para localizar um emissor de interesse (eoi) utilizando pelo menos um sensor de geolocalização portátil e sistema para localização de um emissor de interesse (eoi) | |
BRPI0812109A2 (pt) | Método para usar um dispositivo eletrônico portátil, dispositivo eletrônico portátil, e sistema eletrônico | |
BRPI1006296A2 (pt) | dispositivo de iluminação para embutir um ou mais simbolos de dados, de um sinal de dados em uma saida de luminancia do dispositivo de iluminação, receptor optico sistema de iluminação metodo para embutir um ou mais simbolos de dados de um sinal de dados em uma saida de luminancia de um dispositivo de iluminação e programa de computador | |
BRPI1004219A2 (pt) | aparelho e método de procesamento de imagem, e , programa para fazer com que um computador realize processamento | |
BRPI0811055A2 (pt) | Dispositivo de exibição, método de processamento de um isnal de imagem para um dispositivo de exibição, e, programa relacionado com o dispositivo de exibição | |
BRPI0913289A2 (pt) | método para refrigerar um dispositivo eletrônico em uma aeronave, dispositivo de refrigeração de aeronave, e, sistema de refrigeração de componente eletrônico de aeronave redundante. | |
BRPI0822164A2 (pt) | Método para prover um comando de gerenciamento de sistema, dispositivo eletrônico e sistema de computador | |
BRPI0813346A2 (pt) | " dispositivo de exibição, método de acionamento de um dispositivo de exibição, e, programa de computador ". | |
BRPI1009726A2 (pt) | método para detectar um sujeito que passa por um sensor de um sistema, programa de computador e sistema para detectar um sujeito posicionado em uma superfície e passando por um sensor | |
BRPI0814499A2 (pt) | Processo e dispositivo de comando de um sistema de paralisação/rearranque de motor e sistema de paralisação/rearranque de motor | |
FR2939407B1 (fr) | Dispositif de raccourcissement d'un atterisseur d'aeronef | |
BRPI0819660A2 (pt) | Método e sistema educacional que inclui pelo menos uma interface de usuário | |
BRPI0920989A2 (pt) | sistema de criação de plano de combinação e dotação de navio, método e programa para o mesmo | |
BRPI0816978A2 (pt) | Processo de tratamento do volume de informações manipulado durante uma fase de depuração de um software de funcionamento de um sistema embarcado a bordo de uma aeronave, e dispositivo de utilização. |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
B08F | Application dismissed because of non-payment of annual fees [chapter 8.6 patent gazette] |
Free format text: REFERENTE AS 6A E 7A ANUIDADES. |
|
B08K | Patent lapsed as no evidence of payment of the annual fee has been furnished to inpi [chapter 8.11 patent gazette] |
Free format text: EM VIRTUDE DO ARQUIVAMENTO PUBLICADO NA RPI 2343 DE 01-12-2015 E CONSIDERANDO AUSENCIA DE MANIFESTACAO DENTRO DOS PRAZOS LEGAIS, INFORMO QUE CABE SER MANTIDO O ARQUIVAMENTO DO PEDIDO DE PATENTE, CONFORME O DISPOSTO NO ARTIGO 12, DA RESOLUCAO 113/2013. |