Title:
SYSTEMS AND METHODS FOR OPTIMIZING CONTROL FLOW GRAPHS FOR FUNCTIONAL SAFETY USING FAULT TREE ANALYSIS
Document Type and Number:
WIPO Patent Application WO/2020/080517
Kind Code:
A1
Abstract:
System, methods, and other embodiments described herein relate to improving control flow in a program for safety-related functions. In one embodiment, a method includes identifying a safety-related function of the program. The safety-related function is associated with functionality performed by the program that effects whether an associated device operates according to a functional safety standard. The method includes integrating a fault tree for the safety-related function into associated portions of a control flow graph of the program. The control flow graph identifies at least procedural control flows within the program, and the fault tree indicates combinations of conditions in the program that produce faults by the program. The method includes providing the control flow graph as an electronic output to improve the control flow of the program.
Inventors:
IYER GOPALAKRISHNAN (US)
KASHANI AMEER (US)
KASHANI AMEER (US)
Application Number:
PCT/JP2019/041073
Publication Date:
April 23, 2020
Filing Date:
October 18, 2019
Export Citation:
Assignee:
DENSO CORP (JP)
International Classes:
G06F8/33; G06F11/00; G06F11/30; G06F11/36; G06F21/54; G06F21/57
Foreign References:
| US7577992B2 | 2009-08-18 | |||
| US7047523B1 | 2006-05-16 |
Other References:
CHA S S ET AL: "Safety verification in Murphy using fault tree analysis", PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. SINGAPORE, APRIL 11 - 15, 1988; [PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING], WASHINGTON, IEEE COMP. SOC. PRESS, US, 1 April 1988 (1988-04-01), pages 377 - 386, XP058120980, ISBN: 978-0-89791-258-7
ANON: "Simplifying ISO 26262 Compliance with GrammaTech Static Analysis Tools", 1 January 2011 (2011-01-01), XP055067871, Retrieved from the Internet [retrieved on 20130624]
ANON: "Simplifying ISO 26262 Compliance with GrammaTech Static Analysis Tools", 1 January 2011 (2011-01-01), XP055067871, Retrieved from the Internet
Attorney, Agent or Firm:
JIN Shunji (JP)
Download PDF: