Conference proceeding
Model-Based Approach Towards Correctness Checking of Neuromorphic Computing Systems
Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing), pp 11-21
13 Nov 2024
Abstract
Neuromorphic hardware that emulates the neural structure of the human brain can implement machine learning models in an extremely energy-efficient manner. It is especially suitable for executing spiking neural networks (SNNs) which comprise spiking neurons interconnected via synapses. The underlying computation is based on spike trains in which the location and frequency of spikes that occur within the network guide the execution. This paper develops a fault detection and isolation (FDI) methodology to monitor the correctness of a neuromorphic program's execution using model-based redundancy in which a software-based monitor compares discrepancies between the behavior of neurons mapped to hardware and that predicted by a corresponding mathematical model. We identify properties of spike trains generated by neurons that can be used for fault detection and build machine learning models to forecast these properties. Predictions from these models, which describe the nominal behavior of neurons, when combined with real-time observations, form the basis for FDI. Experiments using CARLSim, a high-fidelity SNN simulator, show that the proposed approach achieves high fault coverage using models that can operate with low computational overhead in real time.
Metrics
2 Record Views
Details
- Title
- Model-Based Approach Towards Correctness Checking of Neuromorphic Computing Systems
- Creators
- Abhishek Mishra - Drexel UniversityAnup Das - Drexel UniversityNagarajan Kandasamy - Drexel University
- Publication Details
- Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing), pp 11-21
- Series
- IEEE Pacific Rim International Symposium on Dependable Computing
- Publisher
- IEEE; LOS ALAMITOS
- Number of pages
- 11
- Grant note
- National Science Foundation (10.13039/100000001)
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Electrical and Computer Engineering
- Web of Science ID
- WOS:001434853800002
- Scopus ID
- 2-s2.0-85217998291
- Other Identifier
- 991022027536904721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Computer Science, Theory & Methods
- Engineering, Electrical & Electronic