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
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)

Abstract

A method system and computer program product are disclosed for identifying silent failures in an application, comprising of generating a finite state machine (FSM) model of the application based on an input data, extracting state specific invariants relevant to the generated FSM, performing a localized invariant violation check at each state of the generated FSM and upon detection of an invariant violation at any state of the FSM, logging the violation as a silent failure. REF FIG: 1
IN5539CH2013 2013-12-02 2013-12-02 IN2013CH05539A (en)

Priority Applications (2)

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

Publications (1)

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

Family

ID=54199406

Family Applications (1)

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

Country Status (2)

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

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 (en) * 2018-12-17 2022-04-22 南京航空航天大学 Airplane control quality evaluation method and control performance test parameter selection method

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 (en) 2002-05-03 2003-11-03 Alstom Transp Spa DEVICE FOR PROCESSING OR COMMAND OPERATING IN INTRINSICALLY SAFE
DE10302456A1 (en) * 2003-01-23 2004-07-29 Robert Bosch Gmbh Computer device for safety-critical applications has at least a processor unit and memory unit with both units situated on the same chip surface
JP4345334B2 (en) 2003-03-28 2009-10-14 日本電気株式会社 Fault tolerant computer system, program parallel execution method and program
JP4457581B2 (en) 2003-05-28 2010-04-28 日本電気株式会社 Fault-tolerant system, program parallel execution method, fault-detecting system for fault-tolerant system, and program
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

Also Published As

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

Similar Documents

Publication Publication Date Title
WO2014110167A3 (en) Integrated machine learning for a data management product
AR109633A1 (en) SYSTEMS TO ADJUST AGRONOMIC ENTRY DATA USING REMOTE DETECTION AND RELATED METHODS AND APPLIANCES
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 (en) Generation of browser suggestions based on internet of things device data.
AU2016219677A1 (en) Methods and apparatus to monitor media presentations
WO2015120243A8 (en) Application execution control utilizing ensemble machine learning for discernment
MY184027A (en) Automated financial data aggregation
MX353611B (en) Systems and methods to initiate a verification test within a flow meter via a flow computer.
TW201612745A (en) Virtualized software build system
BR112015019731A2 (en) method for testing various spatially distributed protective assemblies of a power supply network as well as a corresponding test system
WO2015077564A3 (en) Weight generation in machine learning
SA516371856B1 (en) Multi-String Monitoring using Electromagnetic (Em) Corrosion Detection tool
WO2014175981A3 (en) Barcode access to electronic resources for lifecycle tracking of complex system parts
IN2013DE02920A (en)
GB2509647A (en) Testing transaction applications
BR102015010606A8 (en) METHOD, AND, COMPUTER PROGRAM PRODUCT
GB2573970A (en) System and method for detecting network topology
PH12017500227A1 (en) A system and method for security enhancement
NO20171554A1 (en) Graphical indexing for life cycle management of drilling system assets
GB201206932D0 (en) Comparing event data sets
IN2014CH00532A (en)
MX346191B (en) Methods and systems to provide update information of a device description of a field instrument.
MX341218B (en) Application monitoring.
IN2013CH05539A (en)