IT1395258B1 - Procedimento per la generazione di un insieme di conflitti per la diagnosi di sistemi basata su modello, e procedimento di diagnosi corrispondente - Google Patents

Procedimento per la generazione di un insieme di conflitti per la diagnosi di sistemi basata su modello, e procedimento di diagnosi corrispondente

Info

Publication number
IT1395258B1
IT1395258B1 ITTO2009A000562A ITTO20090562A IT1395258B1 IT 1395258 B1 IT1395258 B1 IT 1395258B1 IT TO2009A000562 A ITTO2009A000562 A IT TO2009A000562A IT TO20090562 A ITTO20090562 A IT TO20090562A IT 1395258 B1 IT1395258 B1 IT 1395258B1
Authority
IT
Italy
Prior art keywords
procedure
diagnosis
conflicts
generation
systems
Prior art date
Application number
ITTO2009A000562A
Other languages
English (en)
Inventor
Amir Fijany
Anthony Barrett
Farrokh Vatan
Original Assignee
Fond Istituto Italiano Di Tecnologia
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 Fond Istituto Italiano Di Tecnologia filed Critical Fond Istituto Italiano Di Tecnologia
Priority to ITTO2009A000562A priority Critical patent/IT1395258B1/it
Priority to US12/841,691 priority patent/US8311783B2/en
Publication of ITTO20090562A1 publication Critical patent/ITTO20090562A1/it
Application granted granted Critical
Publication of IT1395258B1 publication Critical patent/IT1395258B1/it

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

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Testing, Inspecting, Measuring Of Stereoscopic Televisions And Televisions (AREA)
  • Telephonic Communication Services (AREA)
  • Indicating And Signalling Devices For Elevators (AREA)
ITTO2009A000562A 2009-07-23 2009-07-23 Procedimento per la generazione di un insieme di conflitti per la diagnosi di sistemi basata su modello, e procedimento di diagnosi corrispondente IT1395258B1 (it)

Priority Applications (2)

Application Number Priority Date Filing Date Title
ITTO2009A000562A IT1395258B1 (it) 2009-07-23 2009-07-23 Procedimento per la generazione di un insieme di conflitti per la diagnosi di sistemi basata su modello, e procedimento di diagnosi corrispondente
US12/841,691 US8311783B2 (en) 2009-07-23 2010-07-22 Method for the generation of a set of conflicts for model-based system diagnostics, and corresponding diagnostic method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
ITTO2009A000562A IT1395258B1 (it) 2009-07-23 2009-07-23 Procedimento per la generazione di un insieme di conflitti per la diagnosi di sistemi basata su modello, e procedimento di diagnosi corrispondente

Publications (2)

Publication Number Publication Date
ITTO20090562A1 ITTO20090562A1 (it) 2011-01-24
IT1395258B1 true IT1395258B1 (it) 2012-09-05

Family

ID=41648343

Family Applications (1)

Application Number Title Priority Date Filing Date
ITTO2009A000562A IT1395258B1 (it) 2009-07-23 2009-07-23 Procedimento per la generazione di un insieme di conflitti per la diagnosi di sistemi basata su modello, e procedimento di diagnosi corrispondente

Country Status (2)

Country Link
US (1) US8311783B2 (it)
IT (1) IT1395258B1 (it)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IT1398573B1 (it) * 2010-03-05 2013-03-01 Fond Istituto Italiano Di Tecnologia Procedimento per la derivazione di un insieme minimo di relazioni di ridondanza analitica per la diagnosi di sistemi
US9043647B2 (en) * 2013-01-02 2015-05-26 Tata Consultancy Services Limited Fault detection and localization in data centers
CN107422715B (zh) * 2016-05-24 2021-08-27 华为技术有限公司 一种存储信息的系统和装置
CN109116219B (zh) * 2018-09-17 2021-04-06 合肥工业大学 一种电路系统的分布式故障诊断方法
CN109598330B (zh) * 2018-12-06 2023-04-21 湖北鄂电德力电气有限公司 一种考虑配电网拓扑特点的最小碰集方法

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20080177994A1 (en) * 2003-01-12 2008-07-24 Yaron Mayer System and method for improving the efficiency, comfort, and/or reliability in Operating Systems, such as for example Windows
WO2008005102A2 (en) * 2006-05-13 2008-01-10 Sap Ag Consistent set of interfaces derived from a business object model
RU2419827C2 (ru) * 2006-08-08 2011-05-27 Сименс Энерджи Энд Отомейшн, Инк. Устройства, системы и способы, касающиеся сбоя plc-системы
US8516399B2 (en) * 2009-02-18 2013-08-20 Mentor Graphics Corporation Collaborative environment for physical verification of microdevice designs
US20110185323A1 (en) * 2009-08-21 2011-07-28 William Matthew Hogan Stacked Integracted Circuit Verification

Also Published As

Publication number Publication date
US8311783B2 (en) 2012-11-13
ITTO20090562A1 (it) 2011-01-24
US20110022891A1 (en) 2011-01-27

Similar Documents

Publication Publication Date Title
EP2266026A4 (en) MULTITRAITEMENT DETERMINISTIC EFFECTIVE
PT2473392T (pt) Sistemas ferroviários usando monitorização acústica
BR112013015553A2 (pt) sistema de conversão de biomassa, ,e, método
DK2227325T3 (da) Katalytisk reaktor
BRPI1011134A2 (pt) turbomáquina.
ITMI20110357A1 (it) Sistema microfluidico per scopi di analisi e di diagnosi, nonchè corrispondente procedimento per produrre un sistema microfluidico
DK2462491T3 (da) Overvågningssystem
IL204560A0 (en) Turbine cleaning system
DK2547252T3 (da) Elektrokardiografisk overvågningssystem
EP2418349A4 (en) METHOD FOR MONITORING THE OPERATION OF OILFIELD DEPOSITS
BRPI1011512A2 (pt) método para produzir um catalisador de fischer-tropsch, e, catalisador.
GB2460406B (en) Method and system for determining the geometry of a plurality of nodes
DE112010004943A5 (de) Einrücksystem für eine Kupplung
BR112012015092A2 (pt) método e sistema para diagnóstico de um compressor
IT1395258B1 (it) Procedimento per la generazione di un insieme di conflitti per la diagnosi di sistemi basata su modello, e procedimento di diagnosi corrispondente
BRPI1008910A2 (pt) identificação de objeto utilizando modelo de geração
IT1396813B1 (it) Apparecchiatura per umidificare un ambiente.
FR2929298B3 (fr) Structure de canalisation de vapeur.
BR112012002713A2 (pt) sistema de catalisador, e, metodo para fabricar uma poliolefina
EP2434947A4 (en) APPARATUS, SYSTEMS AND METHODS USING PLYTHYSMOGRAPHIC DATA
IT1394096B1 (it) Metodo per la rivelazione di allergeni.
FI20105620A0 (fi) Menetelmä katalyytin talteenottamiseksi
EP2557693A4 (en) DATA CONVERSION METHOD BASED ON NEGATIVE -MAP
HK1150286A1 (en) A network information transmit-receive system and the method thereof
IT1398573B1 (it) Procedimento per la derivazione di un insieme minimo di relazioni di ridondanza analitica per la diagnosi di sistemi