Modeling and Analysis of Safety in Early Design

Abstract In this paper we present a method of explicit inclusion of safety into a model-based design method for cyberphysical systems. This approach enables an analysis where component-level failures can be mapped to potential system-level hazards. Application of this work presents several significant advances to the fields of safety engineering and design. This paper present a method of representing the safety property of a system by the introduction of the concept called the “safety function.” Further, the function of achieving safety is mapped to the performance functions of the system. We present a process of concurrently developing a system concept from the safety and functional perspective. The end result of this process is a system architecture where components of the system are explicitly mapped to both the functions they perform and the role it plays in ensuring safe system operation. The benefit of this approach is having a system representation that allows for analysis of critical events and off- nominal component behavior to identify potential losses in function and safety constraint violations. The approach is demonstrated on a software controlled hardware system. Namely, a generic spacecraft reaction control system.

[1]  Simon Szykman,et al.  Enhancing Virtual Product Representations for Advanced Design Repository Systems , 2005, J. Comput. Inf. Sci. Eng..

[2]  Anne M. Keuneke,et al.  Device representation-the significance of functional knowledge , 1991, IEEE Expert.

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

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

[5]  Nicolas Dulac,et al.  Incorporating Safety in Early System Architecture Trade Studies , 2005 .

[6]  Nancy G. Leveson,et al.  Incorporating Safety Risk in Early System Architecture Trade Studies , 2009 .

[7]  Dean Allemang,et al.  Exploring the No-Function-In-Structure principle , 1989, J. Exp. Theor. Artif. Intell..

[8]  Tetsuo Tomiyama,et al.  Functional Reasoning in Design , 1997, IEEE Expert.

[9]  Irem Y. Tumer,et al.  Function-Based Systems Engineering (Fuse) , 2007 .

[10]  Clifton A. Ericson,et al.  Hazard Analysis Techniques for System Safety: Ericson/Hazard Analysis Techniques for System Safety , 2005 .

[11]  Karl T. Ulrich,et al.  Product Design and Development , 1995 .

[12]  Tetsuo Tomiyama,et al.  Supporting conceptual design based on the function-behavior-state modeler , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[13]  Clifton A. Ericson,et al.  Hazard Analysis Techniques for System Safety , 2005 .

[14]  David G. Ullman,et al.  The Mechanical Design Process , 1992 .

[15]  Rob H. Bracewell,et al.  Functional descriptions used in computer support for qualitative scheme generation—“Schemebuilder” , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[16]  Y.-M. Deng,et al.  Constraint-based functional design verification for conceptual design , 2000, Comput. Aided Des..

[17]  Yasushi Umeda,et al.  A CAD for Functional Design , 1993 .

[18]  Nancy G. Leveson,et al.  A new accident model for engineering safer systems , 2004 .

[19]  Tetsuo Tomiyama,et al.  Using functional maintenance to improve fault tolerance , 1994, IEEE Expert.

[20]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artificial Intelligence.

[21]  John S. Gero,et al.  A function–behavior–structure ontology of processes , 2007, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[22]  Daniel A. McAdams,et al.  A Function-Based Component Ontology for Systems Design , 2007 .

[23]  Hideaki Takeda,et al.  Physical concept ontology for the knowledge intensive engineering framework , 2004, Adv. Eng. Informatics.

[24]  中園 薫.  A Qualitative Physics Based on Confluences , 1986 .

[25]  Yasushi Umeda,et al.  FBS Modeling : Modeling Scheme of Function for Conceptual Design , 2003 .

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

[27]  Steven J Pereira,et al.  A System-Theoretic Hazard Analysis Methodology for a Non-advocate Safety Assessment of the Ballistic Missile Defense System , 2006 .

[28]  Amaresh Chakrabarti,et al.  Engineering design synthesis : understanding, approaches and tools , 2002 .

[29]  R. Firth.  Function , 1955, Yearbook of Anthropology.

[30]  Nathan Eagle,et al.  Engineering a Safer and Healthier World , 2014 .

[31]  John S. Gero,et al.  Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..