Nothing Special   »   [go: up one dir, main page]

WO2007092524A3 - Systems, methods, and media for repairing the state of constrained data items in an application - Google Patents

Systems, methods, and media for repairing the state of constrained data items in an application Download PDF

Info

Publication number
WO2007092524A3
WO2007092524A3 PCT/US2007/003308 US2007003308W WO2007092524A3 WO 2007092524 A3 WO2007092524 A3 WO 2007092524A3 US 2007003308 W US2007003308 W US 2007003308W WO 2007092524 A3 WO2007092524 A3 WO 2007092524A3
Authority
WO
WIPO (PCT)
Prior art keywords
state
procedure
constrained data
repairing
methods
Prior art date
Application number
PCT/US2007/003308
Other languages
French (fr)
Other versions
WO2007092524A2 (en
Inventor
Angelos D Keromytis
Michael E Locasto
Original Assignee
Univ Columbia
Angelos D Keromytis
Michael E Locasto
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 Univ Columbia, Angelos D Keromytis, Michael E Locasto filed Critical Univ Columbia
Publication of WO2007092524A2 publication Critical patent/WO2007092524A2/en
Publication of WO2007092524A3 publication Critical patent/WO2007092524A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/362—Debugging of software
    • G06F11/366—Debugging of software using diagnostics

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Hardware Redundancy (AREA)

Abstract

Systems, methods, and media for repairing the state of constrained data items in an application are provided. In some embodiments, methods for repairing the state of at least one constrained data item in an application, include: executing a first procedure that alters the state of the at least one constrained data item, wherein the first procedure is executed in a supervision environment; determining whether the state of the at least one constrained data item is valid using a second procedure; if the state is not valid, attempting to repair the state using a third and procedure; determining whether the state is repaired using a fourth procedure, wherein the at least one constrained data item is associated with each of the first procedure, the second procedure, the third procedure, and the fourth procedure.
PCT/US2007/003308 2006-02-07 2007-02-07 Systems, methods, and media for repairing the state of constrained data items in an application WO2007092524A2 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US76599706P 2006-02-07 2006-02-07
US60/765,997 2006-02-07

Publications (2)

Publication Number Publication Date
WO2007092524A2 WO2007092524A2 (en) 2007-08-16
WO2007092524A3 true WO2007092524A3 (en) 2008-08-28

Family

ID=38345786

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2007/003308 WO2007092524A2 (en) 2006-02-07 2007-02-07 Systems, methods, and media for repairing the state of constrained data items in an application

Country Status (1)

Country Link
WO (1) WO2007092524A2 (en)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2008092162A2 (en) 2007-01-26 2008-07-31 The Trustees Of Columbia University In The City Of New York Systems, methods, and media for recovering an application from a fault or attack
US9684788B2 (en) * 2015-06-29 2017-06-20 International Business Machines Corporation Self-repair and distributed-repair of applications
US10761970B2 (en) 2017-10-20 2020-09-01 International Business Machines Corporation Computerized method and systems for performing deferred safety check operations

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20040153823A1 (en) * 2003-01-17 2004-08-05 Zubair Ansari System and method for active diagnosis and self healing of software systems
US20050086562A1 (en) * 2003-10-21 2005-04-21 Demsky Brian C. Specification based detection and repair of errors in data structures

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20040153823A1 (en) * 2003-01-17 2004-08-05 Zubair Ansari System and method for active diagnosis and self healing of software systems
US20050086562A1 (en) * 2003-10-21 2005-04-21 Demsky Brian C. Specification based detection and repair of errors in data structures

Also Published As

Publication number Publication date
WO2007092524A2 (en) 2007-08-16

Similar Documents

Publication Publication Date Title
WO2008064902A3 (en) Producer graph oriented programming framework with scenario support
WO2008021104A3 (en) Systems and methods for measuring user affinity in a social network environment
WO2007011529A3 (en) Training a learning system with arbitrary cost functions
WO2007131224A3 (en) Methods and apparatus to detect data dependencies in an instruction pipeline
WO2009072778A3 (en) Terminal and method for performing fuction therein
WO2008064658A3 (en) Method for testing a computer programme
WO2007124139A3 (en) Computer systems and methods for automatic generation of models for a dataset
WO2007120279A3 (en) Methods and systems for utilizing design data in combination with inspection data
WO2006130763A3 (en) Partial page scheme for memory technologies
WO2008070866A3 (en) Interleaving search results
WO2007100916A3 (en) Systems, methods, and media for outputting a dataset based upon anomaly detection
WO2008063490A3 (en) Collaboration system and method
WO2008155188A3 (en) Firewall control using remote system information
BRPI0821334A2 (en) usable method in a well, and usable system with a well.
WO2007107712A3 (en) Content provision
WO2007127920A3 (en) Consumer pollution impact profile system and method
WO2007143223A3 (en) System and method for entity based information categorization
WO2006133125A3 (en) Dynamic model generation methods and apparatus
WO2008008765A3 (en) Role-based access in a multi-customer computing environment
WO2007127425A3 (en) Methods and systems for providing cross-selling with online banking environments
WO2009062091A3 (en) Modifying broadcast media ad campaigns
WO2010088156A3 (en) Standard gestures
EP2198398A4 (en) Crm system and method having drilldowns, acls, shared folders, a tracker and a module builder
WO2011040950A3 (en) Power interrupt management
WO2010049391A3 (en) Performing a data write on a storage device

Legal Events

Date Code Title Description
NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 07763590

Country of ref document: EP

Kind code of ref document: A2