Ffip: a Framework for Early Assessment of Functional Failures in Complex Systems

Ensuring the reliability of complex software intensive systems is becoming a critical requirement for all military and commercial aerospace applications, and becomes especially more challenging when implemented for autonomous and evolving deployments required of such applications. To ensure reliability, this research asserts that knowledge, data, and models of such complex systems must be integrated with their intended systems starting from the early design stages, hence enabling designers and engineers to plan for contingencies, redundancies, and potential changes early, before costly design decisions have been made. In this paper, a general system-level design methodology is introduced to perform simulation-based failure identification and propagation analysis of softwarehardware systems. In particular, the Functional Failure Identification and Propagation (FFIP) analysis framework is introduced as a novel approach for designing reliable software-intensive systems. A combination of function, structure, and behaviour modelling is proposed to simulate failure propagation paths and the resulting functional failures to determine mitigation options, integrating hierarchical system models with behavioural simulation and qualitative reasoning. The overall goal of this research is to develop a formal framework and simulation-based design tool for design and system engineering teams to evaluate and assess the potential of functional failures of software intensive systems throughout the lifecycle.

[1]  Benjamin Kuipers,et al.  Model-Based Monitoring of Dynamic Systems , 1989, IJCAI.

[2]  Irem Y. Tumer,et al.  The function-failure design method , 2005 .

[3]  Irem Y. Tumer,et al.  Deriving Function-Failure Similarity Information for Failure-Free Rotorcraft Component Design , 2002 .

[4]  Daniel A. McAdams,et al.  DERIVING A COMPONENT BASIS FOR COMPUTATIONAL FUNCTIONAL SYNTHESIS , 2005 .

[5]  Yoshikiyo Kato,et al.  Fault Detection by Mining Association Rules from House-keeping Data , 2001 .

[6]  Irem Y. Tumer,et al.  Prescribing and Implementing the Risk in Early Design (RED) Method , 2006 .

[7]  Krishna R. Pattipati,et al.  Multi-signal flow graphs: a novel approach for system testability analysis and fault diagnosis , 1994 .

[8]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[9]  E. Shortliffe.  Mycin: computer-based medical consultations , 1976 .

[10]  James R. Wertz,et al.  Space Mission Analysis and Design , 1992 .

[11]  Venkat Venkatasubramanian,et al.  Intelligent systems for HAZOP analysis of complex process plants , 2000 .

[12]  Hamid R. Berenji,et al.  Inductive learning for fault diagnosis , 2003, The 12th IEEE International Conference on Fuzzy Systems, 2003. FUZZ '03..

[13]  Irem Y. Tumer,et al.  REQUIREMENTS FOR A FAILURE MODE TAXONOMY FOR USE IN CONCEPTUAL DESIGN , 2003 .

[14]  Crispin Hales,et al.  Engineering design: a systematic approach , 1989 .

[15]  Irem Y. Tumer,et al.  Risk-Based Decision-Making for Managing Resources During the Design of Complex Space Exploration Systems , 2006 .

[16]  Natasha Smith,et al.  Probabilistic Methods for Aerospace System Conceptual Design , 2002 .

[17]  Irem Y. Tumer,et al.  Function-Based Design of a Spacecraft Power System Diagnostics Testbed , 2005 .

[18]  I. Turner,et al.  On Quantifying Cost-Benefit of ISHM in Aerospace Systems , 2007, 2007 IEEE Aerospace Conference.

[19]  Simon Szykman,et al.  A functional basis for engineering design: Reconciling and evolving previous efforts , 2002 .

[20]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[21]  Nageswara S. V. Rao.  On Parallel Algorithms for Single-Fault Diagnosis in Fault Propagation Graph Systems , 1996, IEEE Trans. Parallel Distributed Syst..

[22]  P. Pandurang Nayak,et al.  Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.

[23]  Gary Riley,et al.  Expert Systems: Principles and Programming , 2004 .

[24]  Robert Stone,et al.  Capturing Empirically Derived Design Knowledge for Creating Conceptual Design Configurations , 2005 .

[25]  Ivan J. Sacks.  Digraph Matrix Analysis , 1985, IEEE Transactions on Reliability.

[26]  Natasha Smith,et al.  System Risk Assessment and Allocation in Conceptual Design , 2003 .

[27]  Wolfgang Beitz,et al.  Engineering Design: A Systematic Approach , 1984 .

[28]  J. Black,et al.  What is research in engineering design , 1989 .

[29]  George E. Apostolakis,et al.  Probabilistic Risk Assessment (PRA) , 2008 .

[30]  Sherif Abdelwahed.  System Diagnosis using Hybrid Failure Propagation Graphs , 2004 .

[31]  Irem Y. Tumer,et al.  Mapping function to failure mode during component development , 2003 .

[32]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[33]  Ravi Kapadia.  SymCure: A Model-Based Approach for Fault Management with Causal Directed Graphs , 2003, IEA/AIE.

[34]  Irem Y. Tumer,et al.  A Graph-Based Fault Identification and Propagation Framework for Functional Design of Complex Systems , 2008 .

[35]  Mark A. Kramer,et al.  A rule‐based approach to fault diagnosis using the signed directed graph , 1987 .

[36]  James Miller,et al.  Failure environment analysis tool (FEAT) development status , 1991 .

[37]  Irem Y. Tumer,et al.  Risk-Based Decision-Making for Managing Resources during the Design of Complex Aerospace Systems , 2005 .

[38]  Stefano Chessa,et al.  Operative diagnosis of graph-based systems with multiple faults , 2001, IEEE Trans. Syst. Man Cybern. Part A.

[39]  W E Vesely,et al.  Fault Tree Handbook , 1987 .