ATE508411T1 - Fehlerdiagnose - Google Patents
FehlerdiagnoseInfo
- Publication number
- ATE508411T1 ATE508411T1 AT07108631T AT07108631T ATE508411T1 AT E508411 T1 ATE508411 T1 AT E508411T1 AT 07108631 T AT07108631 T AT 07108631T AT 07108631 T AT07108631 T AT 07108631T AT E508411 T1 ATE508411 T1 AT E508411T1
- Authority
- AT
- Austria
- Prior art keywords
- diagnostic
- expression
- disjunction
- expressions
- new
- 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/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2257—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
- Testing Or Measuring Of Semiconductors Or The Like (AREA)
- Sorption Type Refrigeration Machines (AREA)
- Heat Treatment Of Steel (AREA)
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
SE0601377 | 2006-06-22 |
Publications (1)
Publication Number | Publication Date |
---|---|
ATE508411T1 true ATE508411T1 (de) | 2011-05-15 |
Family
ID=38610812
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
AT07108631T ATE508411T1 (de) | 2006-06-22 | 2007-05-22 | Fehlerdiagnose |
Country Status (4)
Country | Link |
---|---|
US (1) | US7529643B2 (de) |
EP (1) | EP1870808B1 (de) |
AT (1) | ATE508411T1 (de) |
DE (1) | DE602007014295D1 (de) |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8370016B2 (en) * | 2005-09-23 | 2013-02-05 | Spx Corporation | OBD II readiness monitor tool apparatus and method |
US8027763B2 (en) * | 2005-09-23 | 2011-09-27 | Spx Corporation | OBD II readiness monitor tool apparatus and method |
DE602007000346D1 (de) * | 2006-08-22 | 2009-01-22 | Scania Cv Ab | Fehlerdiagnose |
US8191045B2 (en) * | 2007-09-04 | 2012-05-29 | Nec Laboratories America, Inc. | Mining library specifications using inductive learning |
US8285438B2 (en) * | 2009-11-16 | 2012-10-09 | Honeywell International Inc. | Methods systems and apparatus for analyzing complex systems via prognostic reasoning |
Family Cites Families (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5631831A (en) * | 1993-02-26 | 1997-05-20 | Spx Corporation | Diagnosis method for vehicle systems |
US5544308A (en) | 1994-08-02 | 1996-08-06 | Giordano Automation Corp. | Method for automating the development and execution of diagnostic reasoning software in products and processes |
EP0794495A3 (de) | 1996-03-08 | 1998-07-22 | Hewlett-Packard Company | Automatisierte Analyse eines modellbasierten Diagnosesystems |
US6622264B1 (en) * | 1999-10-28 | 2003-09-16 | General Electric Company | Process and system for analyzing fault log data from a machine so as to identify faults predictive of machine failures |
US6691249B1 (en) * | 2000-03-22 | 2004-02-10 | Agilent Technologies, Inc. | Probabilistic diagnosis, in particular for embedded and remote applications |
AU2002235516A1 (en) | 2001-01-08 | 2002-07-16 | Vextec Corporation | Method and apparatus for predicting failure in a system |
US6529808B1 (en) | 2002-04-22 | 2003-03-04 | Delphi Technologies, Inc. | Method and system for analyzing an on-board vehicle computer system |
JP2004151021A (ja) | 2002-10-31 | 2004-05-27 | Denso Corp | 車両用故障診断装置 |
US6847872B2 (en) | 2002-11-07 | 2005-01-25 | International Business Machines Corporation | Supplemental diagnostic and services resource planning for mobile systems |
US7085680B2 (en) * | 2004-01-16 | 2006-08-01 | Innova Electronics Corporation | Vehicle diagnostic tool |
US7012512B2 (en) | 2004-04-14 | 2006-03-14 | St Denis Michael | OBDII readiness status notification device |
-
2007
- 2007-05-22 DE DE602007014295T patent/DE602007014295D1/de active Active
- 2007-05-22 AT AT07108631T patent/ATE508411T1/de not_active IP Right Cessation
- 2007-05-22 EP EP07108631A patent/EP1870808B1/de active Active
- 2007-06-19 US US11/765,075 patent/US7529643B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
EP1870808B1 (de) | 2011-05-04 |
EP1870808A3 (de) | 2010-03-10 |
EP1870808A2 (de) | 2007-12-26 |
US7529643B2 (en) | 2009-05-05 |
DE602007014295D1 (de) | 2011-06-16 |
US20080189076A1 (en) | 2008-08-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
ATE508411T1 (de) | Fehlerdiagnose | |
Grottke et al. | A classification of software faults | |
Xie et al. | Provably optimal and human-competitive results in sbse for spectrum based fault localisation | |
DE60004628D1 (de) | Bestimmung eines Systemmodells für Fehlererkennung und Lokalisierung, insbesondere in Rechnersystemen | |
MY126223A (en) | Diagnostic method and system for turbine engines | |
ATE350832T1 (de) | Fehlererkennung und -diagnose | |
WO2005101222A3 (en) | Compactor independent fault diagnosis | |
WO2007028676A3 (de) | Verfahren und vorrichtung zum automatisierten bewerten der qualität eines software-quellcodes | |
BRPI0515937A (pt) | aparelho de processamento para acoplamento com um laço de controle de processo, conjunto de circuito de interface para uso no diagnóstico de um processo industrial, e, método de anunciar informações de diagnóstico relacionadas com um aparelho de processamento ou um processo acoplado com um laço de controle de processo | |
ATE454961T1 (de) | Fasern umfassendes gelenkglied und gelenkstruktur und solch ein gelenkglied umfassende(r) roboter oder haptische schnittstelle | |
Ostberg et al. | On automatically collectable metrics for software maintainability evaluation | |
KR101821281B1 (ko) | 회로 시뮬레이션 방법 | |
US7191374B2 (en) | Method of and program product for performing gate-level diagnosis of failing vectors | |
Pomeranz | Iterative test generation for gate-exhaustive faults to cover the sites of undetectable target faults | |
ATE417308T1 (de) | Fehlerdiagnose | |
Tsai et al. | Test coverage analysis for designs with timing exceptions | |
Ingelsson et al. | Resistive bridging faults DFT with adaptive power management awareness | |
Drechsler et al. | PASSAT 2.0: A multi-functional SAT-based testing framework | |
ATE503225T1 (de) | Fehlerdiagnose | |
Heuer et al. | Formal definition of syntax and semantics for documenting variability in activity diagrams | |
Tsai | Test coverage debugging for designs with timing exception paths | |
JP2004163194A (ja) | Icテスタ及び試験モジュール | |
US8181135B2 (en) | Hold transition fault model and test generation method | |
Arifulina et al. | Coverage criteria for testing DMM specifications | |
Du Bousquet | A new approach for software testability |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
RER | Ceased as to paragraph 5 lit. 3 law introducing patent treaties |