Published November 2007 | Version v1
Journal article

Using fuzzy self-organising maps for safety critical systems

  • 1. Department of Computer Science, High Integrity Systems Engineering Group, University of York, York, YO10 5DD (United Kingdom)

Description

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

Additional details

Identifiers

DOI
10.1016/j.ress.2006.10.005;
PII
S0951-8320(06)00212-2;

Publishing Information

Journal Title
Reliability Engineering and System Safety
Journal Volume
92
Journal Issue
11
Journal Page Range
p. 1563-1583
ISSN
0951-8320
CODEN
RESSEP

Conference

Title
23. international conference on computer safety, reliability and security
Acronym
SAFECOMP 2004
Dates
21-24 Sep 2004
Place
Potsdam (Germany)

INIS

Country of Publication
United Kingdom
Country of Input or Organization
International Atomic Energy Agency (IAEA)
INIS RN
38089622
Subject category
S42: ENGINEERING;
Resource subtype / Literary indicator
Conference
Descriptors DEI
APPROXIMATIONS; CERTIFICATION; CONSTRUCTION; CRITICALITY; FAILURES; FUNCTIONS; FUZZY LOGIC; HAZARDS; LEARNING; MITIGATION; NEURAL NETWORKS; NONLINEAR PROBLEMS; PERFORMANCE; SAFETY
Descriptors DEC
CALCULATION METHODS; MATHEMATICAL LOGIC

Optional Information

Copyright
Copyright (c) 2006 Elsevier Science B.V., Amsterdam, The Netherlands, All rights reserved.