Establishing Safety Criteria for Artificial Neural Networks

Artificial neural networks are employed in many areas of industry such as medicine and defence. There are many techniques that aim to improve the performance of neural networks for safety-critical systems. However, there is a complete absence of analytical certification methods for neural network paradigms. Consequently, their role in safety-critical applications, if any, is typically restricted to advisory systems. It is therefore desirable to enable neural networks for highly-dependable roles. This paper defines the safety criteria which if enforced, would contribute to justifying the safety of neural networks. The criteria are a set of safety requirements for the behaviour of neural networks. The paper also highlights the challenge of maintaining performance in terms of adaptability and generalisation whilst providing acceptable safety arguments.

[1]  Casimir C. Klimasauskas Neural nets tell why , 1991 .

[2]  Daniel N. Osherson,et al.  Modular learning , 1993 .

[3]  R. S. Venema,et al.  Aspects of an integrated neural prediction system , 1999 .

[4]  Berend Jan van der Zwaag,et al.  Process identification through modular neural networks and rule extraction , 2002 .

[5]  Paulo J,et al.  Industrial use of safety-related artificial neural networks , 2001 .

[6]  Noel E. Sharkey,et al.  Combining diverse neural nets , 1997, The Knowledge Engineering Review.

[7]  John A. McDermid,et al.  Software Safety Arguments: Towards a Systematic Categorisation of Evidence , 2002 .

[8]  Tim Kelly,et al.  Arguing Safety - A Systematic Approach to Managing Safety Cases , 1998 .

[9]  Joachim Diederich,et al.  Survey and critique of techniques for extracting rules from trained artificial neural networks , 1995, Knowl. Based Syst..

[10]  Wen Wu,et al.  Towards Developing Verifiable Neural Network Controller , 1996 .

[11]  Peter Neumann,et al.  Safeware: System Safety and Computers , 1995, SOEN.

[12]  Ian T. Nabney,et al.  Practical Assessment of Neural Network Applications , 1997, SAFECOMP.

[13]  Amanda J. C. Sharkey,et al.  Modularity, Combining and Artificial Neural Nets , 1997, Connect. Sci..

[14]  David M. Rodvold A software development process model for artificial neural networks in critical applications , 1999, IJCNN'99. International Joint Conference on Neural Networks. Proceedings (Cat. No.99CH36339).

[15]  Michael Kearns,et al.  A Bound on the Error of Cross Validation Using the Approximation and Estimation Rates, with Consequences for the Training-Test Split , 1995, Neural Computation.

[16]  Georg Dorffner,et al.  Formal neural network specification and its implications on standardization , 1999 .