Using fuzzy self-organising maps for safety critical systems
Creators
- 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.