Title:
SYSTEMS AND METHODS FOR PARALLEL EXECUTION AND COMPARISON OF RELATED PROCESSES FOR FAULT PROTECTION
Document Type and Number:
WIPO Patent Application WO/2020/080515
Kind Code:
A1
Abstract:
System, methods, and other embodiments described herein relate to improving detection of program faults. In one embodiment, a method includes executing, in parallel, an extended program and an instrumented program. The instrumented program is an instrumented version of a baseline program that implements runtime checks. The extended program is an extended version of the baseline program with intentional delays inserted into source code of the baseline program to match an execution time with the instrumented program. The method includes supervising execution states of the instrumented program to identify an occurrence of mismatched states between the extended program and the instrumented program. The method includes managing the mismatched states to mitigate effects of the program faults on the functioning of an associated device.
Inventors:
IYER GOPALAKRISHNAN (US)
KASHANI AMEER (US)
KASHANI AMEER (US)
Application Number:
PCT/JP2019/041071
Publication Date:
April 23, 2020
Filing Date:
October 18, 2019
Export Citation:
Assignee:
DENSO CORP (JP)
International Classes:
G06F11/36; G06F11/14; G06F11/30
Foreign References:
| US6161196A | 2000-12-12 | |||
| US20050091645A1 | 2005-04-28 |
Attorney, Agent or Firm:
JIN Shunji (JP)
Download PDF: