Title: Integrated system failure analysis software toolchain (IS-FAST)

Abstract

Systems and methods are provided for generating faults and analyzing fault propagation and its effects. Starting from the ontologies of components, functions, flows, and faults, systems and methods are provided that describe, generate and track faults in a computer system across multiple domains throughout design and/or development. In order to construct the system and fault models, a series of concepts is introduced in the form of ontologies and their dependencies. An investigation is performed into the faults, including their type, cause, life-cycle aspects, and effect. Principles and rules are created to generate various faults based on system configurations. After the modeling process, a simulation engine is described to execute actions and simulate the process of fault generation and propagation. As a result, fault paths that impact components and functions can be obtained.

Inventors:

Diao, Xiaoxu; Smidts, Carol; Mutha, Chetan

Issue Date:

2021-10-05

Research Org.:

Idaho National Laboratory (INL), Idaho Falls, ID (United States); The Ohio State Univ., Columbus, OH (United States)

Sponsoring Org.:

USDOE

OSTI Identifier:

1859919

Patent Number(s):

11138063

Application Number:

16/922,488

Assignee:

Ohio State Innovation Foundation (Columbus, OH)

Patent Classifications (CPCs):

G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING

Show more

G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING

G06F11/0709 - {in a distributed system consisting of a plurality of standalone computer nodes, e.g. clusters, client-server systems}
G06F11/0721 - {within a central processing unit [CPU]}
G06F11/0778 - {Dumping, i.e. gathering error/state information after a fault for later diagnosis}
G06F11/079 - {Root cause analysis, i.e. error or fault diagnosis
G06F11/0793 - {Remedial or corrective actions
G06F2119/02 - Reliability analysis or reliability optimisation
G06F30/20 - Design optimisation, verification or simulation
G06F30/3323 - using formal methods, e.g. equivalence checking or property checking

Show less

DOE Contract Number:  

AC07-05ID14517; AR0000976; FA-9550-08-1-0139

Resource Type:

Patent

Resource Relation:

Patent File Date: 07/07/2020

Country of Publication:

United States

Language:

English