Automated Safety Integration Analysis of Complex System Based on Functional Model

Article Preview

Abstract:

The development of safety critical systems becomes even harder sine the integrity and complexity of system functions and architecture grows continuously, and this kind of process involves cooperative work between safety and system engineerings during the development of products. The article presents a new approach called automated safety integrity analysis for complex system relying on functional model, and the process of safety integrity is studied by linking functional design phase using SysML(System Model Language) and Altarica Data Flow language based on risk engineering, and the given method can be analyzed automatically and iteratively during the whole life in order to unify the process between the system design and safety assessment.At last, the approach is exemplified by fuel system of aircraft to demonstrate the applicability and versatility, which explores the engineering research for the analysis technology for safety of the complex system.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 655-657)

Pages:

1783-1786

Citation:

Online since:

January 2013

Authors:

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2013 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] SAE ARP 4754 A. Guidelines for Development of Civil Aircraft Systems. 2010, REV. A.

Google Scholar

[2] M. Bozzano,A. Villafiorita. Improving system reliability via model checking:the fasp/nusmv-sa safety analysis platform[C]. In Proceedings of SAFECOMP 2003: 49-62.

DOI: 10.1007/978-3-540-39878-3_5

Google Scholar

[3] M. Bozzano. An integrated methodology for design and safety analysis of complex system[C] . In Proceedings of ESREL 2003: 237-245, Balkema Publishers, June 15-18, (2003).

Google Scholar

[4] Jinqiu Hu, Laibin Zhang, Lin Ma. An integrated safety prognosis model for complex system based on dynamic Bayesian network and ant colony algorithm[J] . Expert System with Applications, 2011, 38(2): 1431-1446.

DOI: 10.1016/j.eswa.2010.07.050

Google Scholar

[5] C.J. Price, N.S. Taylor. Automated multiple failure FMEA[J] . Reliability Engineering and System Safety, 2002, 76(1): 1-10.

DOI: 10.1016/s0951-8320(01)00136-3

Google Scholar

[6] Pierre David, Vincent Idasiak. Reliability study of complex physical systems using SysML[J] . Reliability Engineering and System Safety, 2010, 95(5): 431-450.

DOI: 10.1016/j.ress.2009.11.015

Google Scholar

[7] P. Teoh, K. Case. Failure modes and effects analysis through knowledge modeling[J] . Journal Materials Pressing Technology, 2004, 153: 253-260.

DOI: 10.1016/j.jmatprotec.2004.04.298

Google Scholar

[8] Boiteau M, Dutuit Y, Rauzy A, Signoret J-P. The AltaRica data-flow languages in use: modeling of production availability of a multi-state system[J] . Reliability Engineering and System Safety, 2006, 91(8): 747-755.

DOI: 10.1016/j.ress.2004.12.004

Google Scholar

[9] SAE Standards: AS5506/3, Architecture Analysis and Design Language Annex Volume 3: Annex E: Error Model Annex.

DOI: 10.4271/as5506/1a

Google Scholar