FR3003663B1 - Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels - Google Patents

Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels

Info

Publication number
FR3003663B1
FR3003663B1 FR1352541A FR1352541A FR3003663B1 FR 3003663 B1 FR3003663 B1 FR 3003663B1 FR 1352541 A FR1352541 A FR 1352541A FR 1352541 A FR1352541 A FR 1352541A FR 3003663 B1 FR3003663 B1 FR 3003663B1
Authority
FR
France
Prior art keywords
software
materials
components
automatic determination
damage causes
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
FR1352541A
Other languages
English (en)
Other versions
FR3003663A1 (fr
Inventor
Gregor Gossler
Metayer Daniel Le
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Institut National de Recherche en Informatique et en Automatique INRIA
Original Assignee
Institut National de Recherche en Informatique et en Automatique INRIA
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Institut National de Recherche en Informatique et en Automatique INRIA filed Critical Institut National de Recherche en Informatique et en Automatique INRIA
Priority to FR1352541A priority Critical patent/FR3003663B1/fr
Publication of FR3003663A1 publication Critical patent/FR3003663A1/fr
Application granted granted Critical
Publication of FR3003663B1 publication Critical patent/FR3003663B1/fr
Active legal-status Critical Current
Anticipated expiration legal-status Critical

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/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/079—Root cause analysis, i.e. error or fault diagnosis

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Health & Medical Sciences (AREA)
  • Biomedical Technology (AREA)
  • Debugging And Monitoring (AREA)
FR1352541A 2013-03-21 2013-03-21 Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels Active FR3003663B1 (fr)

Priority Applications (1)

Application Number Priority Date Filing Date Title
FR1352541A FR3003663B1 (fr) 2013-03-21 2013-03-21 Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR1352541A FR3003663B1 (fr) 2013-03-21 2013-03-21 Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels

Publications (2)

Publication Number Publication Date
FR3003663A1 FR3003663A1 (fr) 2014-09-26
FR3003663B1 true FR3003663B1 (fr) 2015-04-03

Family

ID=49054648

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1352541A Active FR3003663B1 (fr) 2013-03-21 2013-03-21 Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels

Country Status (1)

Country Link
FR (1) FR3003663B1 (fr)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
RU2743505C2 (ru) * 2016-09-20 2021-02-19 Талес Способ анализа нарушений функций встроенной системы, соответствующий компьютерный программный продукт и устройство анализа
RU2745332C2 (ru) * 2016-10-20 2021-03-24 Зе Боинг Компани Устройство и способ объединения множественных записей в системе электронных карт контрольной проверки, считываемый процессором носитель

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
RU2743505C2 (ru) * 2016-09-20 2021-02-19 Талес Способ анализа нарушений функций встроенной системы, соответствующий компьютерный программный продукт и устройство анализа
RU2745332C2 (ru) * 2016-10-20 2021-03-24 Зе Боинг Компани Устройство и способ объединения множественных записей в системе электронных карт контрольной проверки, считываемый процессором носитель

Also Published As

Publication number Publication date
FR3003663A1 (fr) 2014-09-26

Similar Documents

Publication Publication Date Title
FR3037429B1 (fr) Systeme et procede d'inspection automatique de surface
FR3009117B1 (fr) Procede et systeme d'atterrissage automatique autonome
FR3024127B1 (fr) Procede et systeme d'atterrissage automatique autonome
FR3044432B1 (fr) Systeme d'actionnement pour aeronef.
FR3011817B1 (fr) Systeme de flottabilite pour aeronef, et aeronef
FR3029595B1 (fr) Systeme antigel pour une canalisation
FR3018147B1 (fr) Debruitage video optimise pour systeme multicapteur heterogene
FR3043304B1 (fr) Systeme de traitement automatique d'au moins une zone de terrain delimitee
FR2998541B1 (fr) Procede d'agencement d'un systeme de flottabilite sur un aeronef, systeme de flottabilite pour aeronef, et aeronef
FR2995710B1 (fr) Procede et systeme de depose automatique de bagages
GB201709325D0 (en) Hydraulic drive system for construction machinery
FR3033091B1 (fr) Systeme de raccordement pour connecteur
FR3026174B1 (fr) Systeme teleopere de traitement selectif de cibles
FR3003663B1 (fr) Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels
FR3024567B1 (fr) Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels
FR3026908B1 (fr) Procede et systeme de brouillage de pilotage de mobile aerien
FR3030580B1 (fr) Systeme de confinement pour un ensemble anodique
FR3018767B1 (fr) Ensemble de support pour un systeme de volet d'aile d'un avion.
FR3002979B1 (fr) Systeme de lubrification pour turbopropulseur
FR2989795B1 (fr) Systeme de pilotage automatique parametrale destine a un aeronef
FR2994686B1 (fr) Procede de flottabilite d'un aeronef, systeme de flottabilite pour aeronef, et aeronef
FR3038275B1 (fr) Systeme automatique de degivre et deneige de pare-brise
FR3027078B1 (fr) Actionneur pour systeme de transmission
FR3011227B1 (fr) Systeme hydraulique d'avion
FR3022528B1 (fr) Systeme de suivi a la manutention d'un moteur d'aeronef

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 4

PLFP Fee payment

Year of fee payment: 5

PLFP Fee payment

Year of fee payment: 6

PLFP Fee payment

Year of fee payment: 8

PLFP Fee payment

Year of fee payment: 9

PLFP Fee payment

Year of fee payment: 10

PLFP Fee payment

Year of fee payment: 11