Skip to main content
U.S. Department of Energy
Office of Scientific and Technical Information

An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage

Journal Article · · Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Abstract

Fault propagation analysis is a process used to determine the consequences of faults residing in a computer system. A typical computer system consists of diverse components (e.g., electronic and software components), thus, the faults contained in these components tend to possess diverse characteristics. How to describe and model such diverse faults, and further determine fault propagation through different components are challenging problems to be addressed in the fault propagation analysis. This paper proposes an ontology-based approach, which is an integrated method allowing for the generation, injection, and propagation through inference of diverse faults at an early stage of the design of a computer system. The results generated by the proposed framework can verify system robustness and identify safety and reliability risks with limited design level information. In this paper, we propose an ontological framework and its application to analyze an example safety-critical computer system. The analysis result shows that the proposed framework is capable of inferring fault propagation paths through software and hardware components and is effective in predicting the impact of faults.

Research Organization:
The Ohio State Univ., Columbus, OH (United States)
Sponsoring Organization:
USDOE Advanced Research Projects Agency - Energy (ARPA-E)
OSTI ID:
1843513
Alternate ID(s):
OSTI ID: 1981810
Journal Information:
Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Journal Name: Artificial Intelligence for Engineering Design, Analysis and Manufacturing Vol. 36; ISSN 0890-0604
Publisher:
Cambridge University Press (CUP)Copyright Statement
Country of Publication:
United Kingdom
Language:
English

References (34)

A functional basis for engineering design: Reconciling and evolving previous efforts journal March 2002
The impact of digitalization on the future of control and operations journal June 2018
Challenges and current developments for Sensing, Smart and Sustainable Enterprise Systems journal June 2016
Modular Architectural Representation and Analysis of Fault Propagation and Transformation journal December 2005
A Fault Fuzzy-ontology for Large Scale Fault-tolerant Wireless Sensor Networks journal January 2014
Failure Propagation Modeling in FMEAs for Reliability, Safety, and Cybersecurity using SysML journal January 2019
An integrated multidomain functional failure and propagation analysis approach for safe system design journal April 2013
Signed directed graph‐based hierarchical modelling and fault propagation analysis for large‐scale systems journal March 2013
Fault Propagation and Effects Analysis for Designing an Online Monitoring System for the Secondary Loop of the Nuclear Power Plant Portion of a Hybrid Energy System journal March 2018
Concurrent error detection using watchdog processors-a survey journal January 1988
Self-checking detection and diagnosis of transient, delay, and crosstalk faults affecting bus lines journal June 2000
Data-Driven Monitoring and Safety Control of Industrial Cyber-Physical Systems: Basics and Beyond journal January 2018
Analyzing fault effects in the 32-bit OpenRISC 1200 microprocessor
  • Mehdizadeh, Nima; Shokrolah-Shirazi, Mohammad; Miremadi, Seyed Ghassem
  • 2008 Third International Conference on Availability, Reliability and Security https://doi.org/10.1109/ARES.2008.55
conference March 2008
Fault propagation characteristics analysis for large-scale electronic system by hierarchical signed directed graph conference November 2015
A Taxonomy for the Analysis of Scientific Workflow Faults
  • Lackovic, Marco; Talia, Domenico; Tolosana-Calasanz, Rafael
  • 2010 IEEE 13th International Conference on Computational Science and Engineering (CSE), 2010 13th IEEE International Conference on Computational Science and Engineering https://doi.org/10.1109/CSE.2010.59
conference December 2010
Circuit-Level Modeling for Concurrent Testing of Operational Defects due to Gate Oxide Breakdown conference January 2005
Supporting Composite Smart Home Services with Semantic Fault Management conference May 2010
A Fault Taxonomy for Service-Oriented Architecture conference November 2007
Transient fault behavior in a microprocessor-A case study conference January 1988
Fault knowledge management in aircraft maintenance conference July 2009
Early phase fault propagation analysis of safety critical factory automation systems
  • Papakonstantinou, Nikolaos; Sierla, Seppo
  • 2012 10th IEEE International Conference on Industrial Informatics (INDIN), IEEE 10th International Conference on Industrial Informatics https://doi.org/10.1109/INDIN.2012.6300856
conference July 2012
Knowledge modeling of fault diagnosis for rotating machinery based on ontology conference July 2015
A research of architecture-based reliability with fault propagation for software-intensive systems conference January 2016
An Embedded Software Reliability Model with Consideration of Hardware Related Software Failures
  • Park, Jinhee; Kim, Hyeon-Jeong; Shin, Ju-Hwan
  • 2012 6th International Conference on Software Security and Reliability (SERE), 2012 IEEE Sixth International Conference on Software Security and Reliability https://doi.org/10.1109/SERE.2012.10
conference June 2012
Basic concepts and taxonomy of dependable and secure computing journal January 2004
Emulation of Software Faults: A Field Data Study and a Practical Approach journal November 2006
Functional memory faults: a formal notation and a taxonomy conference January 2000
Fault tree synthesis from UML models for reliability analysis at early design stages journal January 2011
Satisfiability modulo theories: introduction and applications journal September 2011
Deriving a unified fault taxonomy for event-based systems
  • Hummer, Waldemar; Inzinger, Christian; Leitner, Philipp
  • Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems - DEBS '12 https://doi.org/10.1145/2335484.2335504
conference January 2012
The protégé project: a look back and a look forward journal June 2015
Ontology-based Fault Diagnosis: A Decade in Review conference January 2019
An empirical study of operating systems errors conference January 2001
Hybrid dynamic data race detection journal October 2003

Similar Records

Multiple aspects maintenance ontology-based intelligent maintenance optimization framework for safety-critical systems
Journal Article · Wed Jan 17 19:00:00 EST 2024 · Artificial Intelligence for Engineering Design, Analysis and Manufacturing · OSTI ID:2281736