IN2013CH05539A - - Google Patents

Download PDF

Info

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
Application number
Other languages
English (en)
Inventor
Ganesan Rajeshwari
Goel Geetika
Original Assignee
Infosys Ltd
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 Infosys Ltd filed Critical Infosys Ltd
Priority to IN5539CH2013 priority Critical patent/IN2013CH05539A/en
Priority to US14/493,101 priority patent/US9372746B2/en
Publication of IN2013CH05539A publication Critical patent/IN2013CH05539A/en

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)
IN5539CH2013 2013-12-02 2013-12-02 IN2013CH05539A (fr)

Priority Applications (2)

Application Number Priority Date Filing Date Title
IN5539CH2013 IN2013CH05539A (fr) 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 (fr) 2013-12-02 2013-12-02

Publications (1)

Publication Number Publication Date
IN2013CH05539A true IN2013CH05539A (fr) 2015-06-12

Family

ID=54199406

Family Applications (1)

Application Number Title Priority Date Filing Date
IN5539CH2013 IN2013CH05539A (fr) 2013-12-02 2013-12-02

Country Status (2)

Country Link
US (1) US9372746B2 (fr)
IN (1) IN2013CH05539A (fr)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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 (fr) 2004-12-20 2012-07-04 BWI Company Limited S.A. Architecture de noeud silencieux sur panne
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

Also Published As

Publication number Publication date
US9372746B2 (en) 2016-06-21
US20150154498A1 (en) 2015-06-04

Similar Documents

Publication Publication Date Title
WO2014110167A3 (fr) Apprentissage automatique intégré pour produit de gestion de données
AR109633A1 (es) Sistemas para ajustar datos de entrada agronómicos utilizando detección remota y métodos y aparatos relacionados
WO2015195676A3 (fr) Outils et procédés mis en œuvre par ordinateur permettant d'extraire des informations concernant la structure d'un grand système logiciel informatique, d'explorer sa structure, d'identifier des problèmes dans sa conception et d'effectuer une refactorisation
CA2986034C (fr) Solution parallele de modelisation de puits de forage entierement implicite et entierement couplee dans une simulation de reservoir
MX2017007761A (es) Generacion de sugerencias de navegacion basadas en datos de dispositivos en el internet de las cosas.
WO2015120243A8 (fr) Commande d'exécution d'applications employant un apprentissage automatique d'ensemble pour le discernement
IN2014DN10099A (fr)
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 (fr) Génération de facteurs de pondération pour apprentissage automatique
IN2014DE01235A (fr)
SA516371856B1 (ar) مراقبة العديد من سلاسل الأنابيب باستخدام أداة كهرومغناطيسية للكشف عن التآكل (em)
GB2533538A (en) Method and apparatus for upgrading operating system of electronic device
WO2014175981A3 (fr) Accès par code barres à des ressources électroniques pour suivi du cycle de vie de pièces de système complexe
GB2509647A (en) Testing transaction applications
IN2013DE02920A (fr)
SG10201901587VA (en) Application testing
PH12017500227A1 (en) A system and method for security enhancement
GB2573970A (en) System and method for detecting network topology
WO2013126073A3 (fr) Génération de liste de contenu en fonction du contexte
NO20171554A1 (en) Graphical indexing for life cycle management of drilling system assets
IN2014CH00532A (fr)
MX2013002348A (es) Monitoreo de aplicacion.