FR3024567B1 - 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
FR3024567B1
FR3024567B1 FR1457464A FR1457464A FR3024567B1 FR 3024567 B1 FR3024567 B1 FR 3024567B1 FR 1457464 A FR1457464 A FR 1457464A FR 1457464 A FR1457464 A FR 1457464A FR 3024567 B1 FR3024567 B1 FR 3024567B1
Authority
FR
France
Prior art keywords
software components
automatic determination
malfunction causes
malfunction
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
FR1457464A
Other languages
English (en)
Other versions
FR3024567A1 (fr
Inventor
Gregor Gossler
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 FR1457464A priority Critical patent/FR3024567B1/fr
Priority to US15/500,791 priority patent/US10437656B2/en
Priority to EP15753735.8A priority patent/EP3175363A1/fr
Priority to PCT/FR2015/052124 priority patent/WO2016016587A1/fr
Publication of FR3024567A1 publication Critical patent/FR3024567A1/fr
Application granted granted Critical
Publication of FR3024567B1 publication Critical patent/FR3024567B1/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/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/0706—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 the processing taking place on a specific hardware platform or in a specific software environment
    • G06F11/0736—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 the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function
    • 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/0706—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 the processing taking place on a specific hardware platform or in a specific software environment
    • 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
    • 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
FR1457464A 2014-07-31 2014-07-31 Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels Active FR3024567B1 (fr)

Priority Applications (4)

Application Number Priority Date Filing Date Title
FR1457464A FR3024567B1 (fr) 2014-07-31 2014-07-31 Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels
US15/500,791 US10437656B2 (en) 2014-07-31 2015-07-31 Method for automatically determining causes of the malfunction of a system made up of a plurality of hardware or software components
EP15753735.8A EP3175363A1 (fr) 2014-07-31 2015-07-31 Procédé de détermination automatique de causes de dysfonctionnement d'un système composé d'une pluralité de composants matériels ou logiciels
PCT/FR2015/052124 WO2016016587A1 (fr) 2014-07-31 2015-07-31 Procédé de détermination automatique de causes de dysfonctionnement d'un système composé d'une pluralité de composants matériels ou logiciels

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR1457464A FR3024567B1 (fr) 2014-07-31 2014-07-31 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
FR3024567A1 FR3024567A1 (fr) 2016-02-05
FR3024567B1 true FR3024567B1 (fr) 2016-09-02

Family

ID=52450248

Family Applications (1)

Application Number Title Priority Date Filing Date
FR1457464A Active FR3024567B1 (fr) 2014-07-31 2014-07-31 Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels

Country Status (4)

Country Link
US (1) US10437656B2 (fr)
EP (1) EP3175363A1 (fr)
FR (1) FR3024567B1 (fr)
WO (1) WO2016016587A1 (fr)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10474523B1 (en) * 2017-10-27 2019-11-12 EMC IP Holding Company LLC Automated agent for the causal mapping of complex environments
US11032152B2 (en) 2018-04-25 2021-06-08 Dell Products L.P. Machine-learning based self-populating dashboard for resource utilization monitoring in hyper-converged information technology environments

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5528516A (en) * 1994-05-25 1996-06-18 System Management Arts, Inc. Apparatus and method for event correlation and problem reporting
US6807583B2 (en) * 1997-09-24 2004-10-19 Carleton University Method of determining causal connections between events recorded during process execution
US20030121027A1 (en) * 2000-06-23 2003-06-26 Hines Kenneth J. Behavioral abstractions for debugging coordination-centric software designs
US8001527B1 (en) * 2004-12-21 2011-08-16 Zenprise, Inc. Automated root cause analysis of problems associated with software application deployments
US8069374B2 (en) * 2009-02-27 2011-11-29 Microsoft Corporation Fingerprinting event logs for system management troubleshooting
US8612377B2 (en) * 2009-12-17 2013-12-17 Oracle International Corporation Techniques for generating diagnostic results

Also Published As

Publication number Publication date
EP3175363A1 (fr) 2017-06-07
FR3024567A1 (fr) 2016-02-05
US10437656B2 (en) 2019-10-08
WO2016016587A1 (fr) 2016-02-04
US20170308424A1 (en) 2017-10-26

Similar Documents

Publication Publication Date Title
FR3037429B1 (fr) Systeme et procede d'inspection automatique de surface
FR3020303B1 (fr) Procede et installation de prehension automatique d'un objet.
FR3024127B1 (fr) Procede et systeme d'atterrissage automatique autonome
FR3044432B1 (fr) Systeme d'actionnement pour aeronef.
SG10201601479RA (en) System Architecture For Control Systems Via Knowledge Layout Search
FR3018838B1 (fr) Systeme de fixation de lattes pour former un sol ou plancher rehausse.
HK1256696A1 (zh) 用於執行試驗的流體系統
FR3020036B1 (fr) Systeme d'actionneur pour gouverne d'aeronef.
MA41969A (fr) Cartouche biodégradable pour fusils de chasse
FR3044809B1 (fr) Procede et systeme d'aide a l'atterrissage d'un aeronef.
FR3043061B1 (fr) Aeronef muni d'un systeme de flottabilite, et procede de flottabilite
FR3028076B1 (fr) Architecture logicielle pour systeme expert
FR3020172B1 (fr) Procede de guidage d'un aeronef
FR3020477B1 (fr) Procede et systeme d'ajustement d'une trajectoire de descente d'un aeronef.
FR3024567B1 (fr) Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels
GB201616799D0 (en) Hydraulic systems for construction machinery
FR3039038B1 (fr) Systeme autonome de distribution pour nourrir des animaux
FR3038585B1 (fr) Systeme de pilotage automatique d'aeronef et procede associe
FR3003663B1 (fr) Procede de determination automatique de causes de dysfonctionnement d'un systeme compose d'une pluralite de composants materiels ou logiciels
FR3019364B1 (fr) Procede et systeme d'aide au pilotage d'un aeronef.
BR102016029647A8 (pt) Sistema de acionamento para um veículo
FR3038275B1 (fr) Systeme automatique de degivre et deneige de pare-brise
FR3027078B1 (fr) Actionneur pour systeme de transmission
FR3018767B1 (fr) Ensemble de support pour un systeme de volet d'aile d'un avion.
GB202007152D0 (en) Drive system for construction machinery

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 2

PLSC Publication of the preliminary search report

Effective date: 20160205

PLFP Fee payment

Year of fee payment: 3

PLFP Fee payment

Year of fee payment: 4

PLFP Fee payment

Year of fee payment: 5

PLFP Fee payment

Year of fee payment: 7

PLFP Fee payment

Year of fee payment: 8

PLFP Fee payment

Year of fee payment: 9

PLFP Fee payment

Year of fee payment: 10