Using fuzzy self-organising maps for safety critical systems

被引:21
作者
Kurd, Zeshan [1 ]
Kelly, Tim P. [1 ]
机构
[1] Univ York, Dept Comp Sci, High Intergr Syst Engn Grp, York YO10 5DD, N Yorkshire, England
关键词
safety; critical; artificial neural network; neuro-fuzzy; fuzzy logic; constraints; non-linear function approximation; constrained learning; failure modes; safety argument; failure modes and effects analysis (FMEA);
D O I
10.1016/j.ress.2006.10.005
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. Previous work has defined a safety lifecycle for ANNs without detailing a specific neural model. Building on this previous work, the underpinning of the devised model is based upon an existing neuro-fuzzy system called the fuzzy self-organising map (FSOM). The FSOM is type of 'hybrid' ANN which allows behaviour to be described qualitatively and quantitatively using meaningful expressions. Safety of the FSOM is argued through adherence to safety requirements-derived from hazard analysis and expressed using safety constraints. The approach enables the construction of compelling (product-based) arguments for mitigation of potential failure modes associated with the FSOM. The constrained FSOM has been termed a 'safety critical artificial neural network' (SCANN). The SCANN can be used for non-linear function approximation and allows certified learning and generalisation for high criticality roles. A discussion of benefits for real-world applications is also presented. (c) 2006 Elsevier Ltd. All rights reserved.
引用
收藏
页码:1563 / 1583
页数:21
相关论文
共 24 条
[1]  
ANDREWS R, 1995, SURVEY CRITQUE TECHN
[2]  
BILGIC T, 1997, HDB FUZZY SETS SYSTE, V1
[3]  
BROWN M, 1994, NEURO FUZZY ADAPTIVE
[4]  
CHIPPERFIELD AJ, 2002, IEEE T IND EL, P49
[5]  
*CISHEC, 1977, GUID HAZ OP STUD CHE
[6]  
FOX J, 2000, IND USE SAFETY RELAT, V5, P296
[7]  
Haykin S., 1999, Neural networks: a comprehensive foundation, V2nd ed.
[8]  
HULL JD, 2002, VERIFICATION VALIDAT
[9]  
JACKSON TO, 1997, 970365 ERA
[10]   ANFIS - ADAPTIVE-NETWORK-BASED FUZZY INFERENCE SYSTEM [J].
JANG, JSR .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1993, 23 (03) :665-685