IN2013CH05539A - - Google Patents
Download PDFInfo
- Publication number
- IN2013CH05539A IN2013CH05539A IN5539CH2013A IN2013CH05539A IN 2013CH05539 A IN2013CH05539 A IN 2013CH05539A IN 5539CH2013 A IN5539CH2013 A IN 5539CH2013A IN 2013CH05539 A IN2013CH05539 A IN 2013CH05539A
- Authority
- IN
- India
- Prior art keywords
- fsm
- state
- violation
- generated
- invariant
- 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/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/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
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- Health & Medical Sciences (AREA)
- Biomedical Technology (AREA)
- Debugging And Monitoring (AREA)
- Artificial Intelligence (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Computational Linguistics (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN5539CH2013 IN2013CH05539A (es) | 2013-12-02 | 2013-12-02 | |
US14/493,101 US9372746B2 (en) | 2013-12-02 | 2014-09-22 | Methods for identifying silent failures in an application and devices thereof |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IN5539CH2013 IN2013CH05539A (es) | 2013-12-02 | 2013-12-02 |
Publications (1)
Publication Number | Publication Date |
---|---|
IN2013CH05539A true IN2013CH05539A (es) | 2015-06-12 |
Family
ID=54199406
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
IN5539CH2013 IN2013CH05539A (es) | 2013-12-02 | 2013-12-02 |
Country Status (2)
Country | Link |
---|---|
US (1) | US9372746B2 (es) |
IN (1) | IN2013CH05539A (es) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10860400B2 (en) * | 2018-07-31 | 2020-12-08 | EMC IP Holding Company LLC | Intelligent monitoring and diagnostics for application support |
CN109592076B (zh) * | 2018-12-17 | 2022-04-22 | 南京航空航天大学 | 飞机操纵品质评估方法及操纵性能试验参数选定方法 |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040153703A1 (en) * | 2002-04-23 | 2004-08-05 | Secure Resolutions, Inc. | Fault tolerant distributed computing applications |
ITSV20020018A1 (it) | 2002-05-03 | 2003-11-03 | Alstom Transp Spa | Dispositivo di elaborazione o comando operante in sicurezza intrinseca |
DE10302456A1 (de) * | 2003-01-23 | 2004-07-29 | Robert Bosch Gmbh | Vorrichtung für sicherheitskritische Anwendungen und sichere Elektronik-Architektur |
JP4345334B2 (ja) | 2003-03-28 | 2009-10-14 | 日本電気株式会社 | 耐障害計算機システム、プログラム並列実行方法およびプログラム |
JP4457581B2 (ja) | 2003-05-28 | 2010-04-28 | 日本電気株式会社 | 耐障害システム、プログラム並列実行方法、耐障害システムの障害検出装置およびプログラム |
EP1672505A3 (en) | 2004-12-20 | 2012-07-04 | BWI Company Limited S.A. | Fail-silent node architecture |
US7707451B2 (en) * | 2005-06-28 | 2010-04-27 | Alcatel-Lucent Usa Inc. | Methods and devices for recovering from initialization failures |
US8117496B2 (en) * | 2009-06-18 | 2012-02-14 | International Business Machines Corporation | Detecting and recovering from silent data errors in application cloning systems |
-
2013
- 2013-12-02 IN IN5539CH2013 patent/IN2013CH05539A/en unknown
-
2014
- 2014-09-22 US US14/493,101 patent/US9372746B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
US9372746B2 (en) | 2016-06-21 |
US20150154498A1 (en) | 2015-06-04 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2014110167A3 (en) | Integrated machine learning for a data management product | |
AR109633A1 (es) | Sistemas para ajustar datos de entrada agronómicos utilizando detección remota y métodos y aparatos relacionados | |
WO2015195676A3 (en) | Computer-implemented tools and methods for extracting information about the structure of a large computer software system, exploring its structure, discovering problems in its design, and enabling refactoring | |
CA2986034C (en) | Parallel solution for fully-coupled fully-implicit wellbore modeling in reservoir simulation | |
MX2017007761A (es) | Generacion de sugerencias de navegacion basadas en datos de dispositivos en el internet de las cosas. | |
WO2015120243A8 (en) | Application execution control utilizing ensemble machine learning for discernment | |
IN2014DN10099A (es) | ||
MY184027A (en) | Automated financial data aggregation | |
MX353611B (es) | Sistemas y métodos para iniciar una prueba de verificación dentro de un medidor de flujo a través de una computadora de flujo. | |
TW201612745A (en) | Virtualized software build system | |
BR112015019731A2 (pt) | método para testar vários conjuntos protetores espacialmente distribuídos de uma rede alimentadora de corrente, bem como sistema de teste correspondente | |
WO2015077564A3 (en) | Weight generation in machine learning | |
IN2014DE01235A (es) | ||
SA516371856B1 (ar) | مراقبة العديد من سلاسل الأنابيب باستخدام أداة كهرومغناطيسية للكشف عن التآكل (em) | |
GB2533538A (en) | Method and apparatus for upgrading operating system of electronic device | |
WO2014175981A3 (en) | Barcode access to electronic resources for lifecycle tracking of complex system parts | |
GB2509647A (en) | Testing transaction applications | |
IN2013DE02920A (es) | ||
SG10201901587VA (en) | Application testing | |
PH12017500227A1 (en) | A system and method for security enhancement | |
GB2573970A (en) | System and method for detecting network topology | |
WO2013126073A3 (en) | Context-based content list generation | |
NO20171554A1 (en) | Graphical indexing for life cycle management of drilling system assets | |
IN2014CH00532A (es) | ||
MX2013002348A (es) | Monitoreo de aplicacion. |