EARLY INTEGRATION OF SAFETY TO THE MECHATRONIC SYSTEM DESIGN PROCESS BY THE FUNCTIONAL FAILURE IDENTIFICATION AND PROPAGATION FRAMEWORK

Abstract The research goal of this paper is to introduce a risk analysis methodology that can be applied at the early concept design phase, whose purpose is to identify fault propagation paths that cross disciplinary boundaries, and determine the combined impact of several faults in software-based automation subsystems, electric subsystems and mechanical subsystems. Specifically, the Functional Failure Identification and Propagation (FFIP) analysis framework is proposed to perform a simulation-based analysis of functional failure propagation. The focus is on risk assessment, the earliest activities of the safety process, in which hazards are identified and safety requirements are derived. It is argued that current risk assessment methods are not sufficient for concurrent integration of the safety process to the design process of a complex mechatronic system. In order to facilitate the integration of risk assessment to such systems at the earliest design stages, the design is expressed with syntax and semantics that is able to describe the propagation of failures throughout the system and especially across the boundaries of the mechatronic domains. A boiling water nuclear reactor (limited to the reactor core and steam outlets) is used as a case study. The results demonstrate the capability to handle several fault propagation paths in one scenario for hazard identification at the early, functional, design stage. Specifically, it is shown that FFIP is able to identify fault propagation paths that cross disciplinary boundaries, and which in turn is able to determine the combined impact of several faults in software-based automation subsystems, electric subsystems and mechanical subsystems. The impact is expressed in degradation or loss of safety related functions.

[1]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[2]  Peter Struss,et al.  Mathematical aspects of qualitative reasoning , 1988, Artif. Intell. Eng..

[3]  Mitsuru Ikeda,et al.  A representation language for behavior and function: FBRL , 1996 .

[4]  G. Box,et al.  On the Experimental Attainment of Optimum Conditions , 1951 .

[5]  Kristin L. Wood,et al.  Development of a Functional Basis for Design , 2000 .

[6]  Massimiliano Mattei,et al.  Robust fault detection and isolation for proprioceptive sensors of robot manipulators , 2010 .

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

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

[9]  Bernd Bertsche,et al.  Development in Mechatronics — Enhancing reliability by means of a sustainable use of information , 2010, 2010 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[10]  Qi Gong,et al.  Safety analysis for complex system based on the finite state machine theory , 2011, The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety.

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

[12]  John S. Gero,et al.  Function–behavior–structure paths and their role in analogy-based design , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[13]  Yan Jin,et al.  An Analytical Approach to Functional Design , 2002, DAC 2002.

[14]  Irem Y. Tumer,et al.  Modeling the Propagation of Failures in Software Driven Hardware Systems to Enable Risk-Informed Design , 2008 .

[15]  Guillermo Heredia,et al.  Sensor and actuator fault detection in small autonomous helicopters , 2008 .

[16]  Bernd Bertsche,et al.  Application of ECSPN to RAMS modeling and analysis of hybrid drive systems , 2010, 2010 Proceedings - Annual Reliability and Maintainability Symposium (RAMS).

[17]  Kathleen O'Shaughnessy,et al.  Computational model for conceptual design based on extended function logic , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[18]  Michel Verhaegen,et al.  Development of a driver information and warning system with vehicle-hardware-in-the-loop simulations , 2009 .

[19]  Qi Gong,et al.  Reliability and safety assessment with AltaRica for complex aircraft systems , 2011, The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety.

[20]  Daniel A. McAdams,et al.  A Component Taxonomy as a Framework for Computational Design Synthesis , 2009, J. Comput. Inf. Sci. Eng..

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

[22]  Irem Y. Tumer,et al.  A functional failure reasoning methodology for evaluation of conceptual system architectures , 2010 .

[23]  David Rechenthin,et al.  Project safety as a sustainable competitive advantage. , 2004, Journal of safety research.

[24]  Rolf Isermann,et al.  Mechatronic systems—Innovative products with embedded control , 2005 .

[25]  E. Barszcz,et al.  Integrating system health management into the early design of aerospace systems using Functional Fault Analysis , 2008, 2008 International Conference on Prognostics and Health Management.

[26]  Ravi Shankar,et al.  Mechanisms for Requirements Driven Component Selection and Design Automation , 2010, IEEE Systems Journal.

[27]  W.E. Anderson,et al.  Risk analysis methodology applied to industrial machine development , 2004, Conference, 2004 IEEE Industrial and Commercial Power Systems Technical.

[28]  Nina F. Thornhill,et al.  A practical method for identifying the propagation path of plant-wide disturbances , 2008 .

[29]  Irem Y. Tumer,et al.  Flow State Logic (FSL) for Analysis of Failure Propagation in Early Design , 2009 .

[30]  Irem Y. Tumer,et al.  Health Management Allocation During Conceptual System Design , 2009, J. Comput. Inf. Sci. Eng..

[31]  Timothy W. Simpson,et al.  Metamodels for Computer-based Engineering Design: Survey and recommendations , 2001, Engineering with Computers.

[32]  Virginie Wiels,et al.  Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples , 2010, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering.

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

[34]  Saeid Habibi,et al.  Failure monitoring in a high performance hydrostatic actuation system using the extended Kalman filter , 2006 .

[35]  Matthew I. Campbell,et al.  An evaluation scheme for assessing the worth of automatically generated design alternatives , 2009 .

[36]  Hui Cheng,et al.  Fault Diagnosis of the Paper Machine Short Circulation Process using Novel Dynamic Causal Digraph Reasoning , 2008 .

[37]  Xiaoping Du,et al.  Reliability Analysis for Multidisciplinary Systems with Random and Interval Variables , 2010 .

[38]  Homayoon Dezfuli,et al.  Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners (Second Edition) , 2011 .

[39]  John E. Mottershead,et al.  A review of robust optimal design and its application in dynamics , 2005 .

[40]  En Sup Yoon,et al.  Automation of the safety analysis of batch processes based on multi-modeling approach , 2003 .

[41]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[42]  Kleanthis Thramboulidis,et al.  Model-integrated mechatronics - toward a new paradigm in the development of manufacturing systems , 2005, IEEE Transactions on Industrial Informatics.

[43]  G. Gary Wang,et al.  Review of Metamodeling Techniques in Support of Engineering Design Optimization , 2007 .

[44]  T.H. Lee,et al.  Design and implementation of a hardware-in-the-loop simulation system for small-scale UAV helicopters , 2008, 2008 IEEE International Conference on Automation and Logistics.

[45]  Ram D. Sriram,et al.  The NIST Design Repository Project , 1999 .

[46]  Janis Terpenny,et al.  Graphical Modeling Environment and Supporting Framework for Function-Based Conceptual Design , 2004, DAC 2004.

[47]  Sebastian Engell,et al.  Analyzing safety properties of hybrid processing systems: A case study on an industrial evaporator , 2008 .

[48]  R. Valette,et al.  Landing system verification based on petri nets and a hybrid approach , 2006, IEEE Transactions on Aerospace and Electronic Systems.

[49]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[50]  Irem Y. Tumer,et al.  Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems , 2011, IEEE Transactions on Computers.

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

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

[53]  M. N. Nikolaev,et al.  Propagation of neutrons in uranium dioxide II. Doppler effect in U238 , 1968 .

[54]  Mark Hawley,et al.  NeXOS – The design, development and evaluation of a rehabilitation system for the lower limbs , 2009 .

[55]  Kevin Huang,et al.  Fault tolerant real time control system for steer-by-wire electro-hydraulic systems , 2007 .

[56]  Mogens Blanke,et al.  Consistent design of dependable control systems , 1996 .

[57]  Kristin L. Wood,et al.  Using quantitative functional models to develop product architectures , 2000 .

[58]  Irem Y. Tumer,et al.  Failure Analysis in Subsystem Design for Space Missions , 2004 .