The DOI matches its Crossref record; 5 of the 5 references it cites were found in a registry or an index.
Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems
Open accessAbstract
When Deep Neural Networks (DNNs) are used in safety-critical systems, engineers should determine the safety risks associated with failures (i.e., erroneous outputs) observed during testing. For DNNs processing images, engineers visually inspect all failure-inducing images to determine common characteristics among them. Such characteristics correspond to hazard-triggering events (e.g., low illumination) that are essential inputs for safety analysis. Though informative, such activity is expensive and error prone. To support such safety analysis practices, we propose Simulator-based Explanations for DNN failurEs (SEDE), a technique that generates readable descriptions for commonalities in failure-inducing, real-world images and improves the DNN through effective retraining. SEDE leverages the availability of simulators, which are commonly used for cyber-physical systems. It relies on genetic algorithms to drive simulators toward the generation of images that are similar to failure-inducing, real-world images in the test set; it then employs rule learning algorithms to derive expressions that capture commonalities in terms of simulator parameter values. The derived expressions are then used to generate additional images to retrain and improve the DNN. With DNNs performing in-car sensing tasks, SEDE successfully characterized hazard-triggering events leading to a DNN accuracy drop. Also, SEDE enabled retraining leading to significant improvements in DNN accuracy, up to 18 percentage points.
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
Hazard and risk analysis: e.g., HARA; methods for DL are found e.g., in [74].
“Hazard and risk analysis: e.g., HARA; methods for DL are found e.g., in [74].”
From A requirements model for AI algorithms in functional safety-critical systems with an explainable self-enforcing network from a developer perspective (2024) · cites this paper as [74]
Citations
Cites
ImageNet classification with deep convolutional neural networks
Krizhevsky, A., Sutskever, I., & Hinton, G. E. (2017) · Communications of the ACM · doi:10.1145/3065386 · Cited by 112,155
A Survey of Convolutional Neural Networks: Analysis, Applications, and Prospects
Li, Z., Liu, F., Yang, W., Peng, S., & Zhou, J. (2022) · IEEE Transactions on Neural Networks and Learning Systems · doi:10.1109/tnnls.2021.3084827 · Cited by 5,273 · cited 1×
“4In a Convolutional Neural Network (CNN), a feature map (or activation map) is the matrix resulting from the application of a kernel to the input tensor [41].”
BackgroundAnchors: High-Precision Model-Agnostic Explanations
Ribeiro, M. T., Singh, S., & Guestrin, C. (2018) · Proceedings of the AAAI Conference on Artificial Intelligence · doi:10.1609/aaai.v32i1.11491 · Cited by 2,162 · cited 1×
“Anchors are if-then rules that constrain a subset of the input features so that changes to the unconstrained features do not inluence the output of the model to be explained [56].”
BackgroundExplaining nonlinear classification decisions with deep taylor decomposition
Montavon, G., Lapuschkin, S., Binder, A., Samek, W., & Müller, K.-R. (2017) · Pattern Recognition · doi:10.1016/j.patcog.2016.11.008 · Cited by 1,357
Fraser, G., & Arcuri, A. (2013) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2012.14 · Cited by 586
Flagged first, then by citations
Research works printed but not linked: 50
- 10.1145/3180155.3180160 · DOI
- Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, and Thomas Stifter. 2018. Testing vision-based control systems using learnable evolutionary algorithms. In Proceedings of the IEEE/ACM 40th International Conference on Software Engineering (ICSE’18). IEEE, 1016–1026. · DOI
- Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, and Thomas Stifter. 2016. Testing advanced driver assistance systems using multi-objective search and neural networks. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE’16). 63–74. · DOI
- 10.1109/IS48319.2020.9199968 · DOI
- 10.1109/SP.2017.49 · DOI · Paper page
- 10.1016/B978-1-55860-377-6.50023-2 · DOI
- 10.5555/3295222.3295440 · DOI
- 10.1109/4235.996017 · DOI · Paper page
- Steve Dias Da Cruz, Bertram Taetz, Thomas Stifter, and Didier Stricker. 2022. Autoencoder attractors for uncertainty estimation. In Proceedings of the IEEE International Conference on Pattern Recognition (ICPR’22).
- Steve Dias Da Cruz, Bertram Taetz, Thomas Stifter, and Didier Stricker. 2022. Autoencoder for synthetic to real generalization: From simple to more complex scenes. In Proceedings of the IEEE International Conference on Pattern Recognition (ICPR’22).
- Logan Engstrom, Brandon Tran, Dimitris Tsipras, Ludwig Schmidt, and Aleksander Madry. 2019. Exploring the landscape of spatial robustness. In Proceedings of the 36th International Conference on Machine Learning(Proceedings of Machine Learning Research, Vol. 97), Kamalika Chaudhuri and Ruslan Salakhutdinov (Eds.). PMLRG, Long Beach, CA, 1802–1811. http://proceedings.mlr.press/v97/engstrom19a.html.
- Hasan Ferit Eniser, Simos Gerasimou, and Alper Sen. 2019. DeepFault: Fault localization for deep neural networks. In Fundamental Approaches to Software Engineering, Reiner Hähnle and Wil van der Aalst (Eds.). Springer International Publishing, Cham, 171–191. · DOI
- 10.1109/TR.2021.3074750 · DOI
- 10.1007/s11263-012-0549-0 · DOI
- Eibe Frank and Ian H. Witten. 1998. Generating accurate rule sets without global optimization. In Proceedings of the 15th International Conference on Machine Learning, J. Shavlik (Ed.). Morgan Kaufmann, 144–151.
- Xiang Gao, Ripon K. Saha, Mukul R. Prasad, and Abhik Roychoudhury. 2020. Fuzz testing based data augmentation to improve robustness of deep neural networks. In Proceedings of the 42nd International Conference on Software Engineering (ICSE’20). Association for Computing Machinery, New York, NY, 10 pages.
- 10.1016/j.cag.2018.09.018 · DOI
- Ian J. Goodfellow, Jonathon Shlens, and Christian Szegedy. 2015. Explaining and harnessing adversarial examples. In Proceedings of the 3rd International Conference on Learning Representations (ICLR’15). 1–11.
- 10.1145/3510003.3510188 · DOI
- 10.1145/3460319.3464802 · DOI
- 10.1007/s10664-021-09982-4 · DOI
- 10.1109/ICST46399.2020.00019 · DOI
- 10.1109/ICIP.2018.8451064 · DOI
- International Organization for Standardization. 2020. ISO/PAS 21448:2019, Road Vehicles: Safety of the Intended Functionality.
- 10.1109/ICSMC.2009.5346628 · DOI
- 10.1109/CVPR42600.2020.01114 · DOI
- 10.1109/ICSE.2019.00108 · DOI
- 10.1109/CVPRW.2017.158 · DOI
- 10.5555/2823861 · DOI
- 10.1007/s10664-016-9437-5 · DOI
- 10.1145/2792984 · DOI
- 10.1145/3236024.3236082 · DOI
- Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu. 2018. Towards deep learning models resistant to adversarial attacks. In Proceedings of the 6th International Conference on Learning Representations (ICLR’18). 0–28.
- Christoph Molnar. 2011. Interpretable Machine Learning. LuLu.
- 10.1007/978-3-030-28954-6_10 · DOI
- 10.1109/IV51971.2022.9827170 · DOI
- 10.3390/s18020456 · DOI
- Alejandro Newell, Kaiyu Yang, and Jia Deng. 2016. Stacked hourglass networks for human pose estimation. In Proceedings of the European Conference on Computer Vision (ECCV’16), Bastian Leibe, Jiri Matas, Nicu Sebe, and Max Welling (Eds.). Springer International Publishing, Cham, 483–499.
- 10.1109/TSE.2017.2663435 · DOI
- Vitali Petsiuk, Abir Das, and Kate Saenko. 2018. RISE: Randomized input sampling for explanation of black-box models. In Proceedings of the British Machine Vision Conference (BMVC’18).
- 10.1109/ASE51524.2021.9678764 · DOI
- 10.1145/3368089.3409730 · DOI
- 10.1109/ICCV.2017.74 · DOI · Paper page
- Jost Tobias Springenberg, Alexey Dosovitskiy, Thomas Brox, and Martin Riedmiller. 2015. Striving for simplicity: The all convolutional net. In Proceedings of the International Conference on Learning Representations (ICLR’15).
- 10.1016/j.compstruc.2007.11.006 · DOI
- 10.1109/ICSE43902.2021.00038 · DOI
- 10.1145/3293882.3330579 · DOI
- Matthew D. Zeiler and Rob Fergus. 2014. Visualizing and understanding convolutional networks. In Proceedings of the Eurpoean Conference on Computer Vision (ECCV’14), David Fleet, Tomas Pajdla, Bernt Schiele, and Tinne Tuytelaars (Eds.). Springer International Publishing, Cham, 818–833.
- 10.1109/CVPR.2016.319 · DOI · Paper page
- 10.1145/3460319.3464811 · DOI
Cited by
Sorted by citations
Klüver, C., Greisbach, A., Kindermann, M., & Püttmann, B. (2024) · Security and Safety · doi:10.1051/sands/2024020 · Cited by 8
“• Hazard and risk analysis: e.g. , HARA; methods for DL are found e.g. , in [74].”
Metadata
- Authors
- Fahmy, H., Pastore, F., Briand, L., & Stifter, T.
- Affiliations
- University of Luxembourg (LU)
- University of Ottawa (CA)
- IEE (Luxembourg) (LU)
- Venue
- ACM Transactions on Software Engineering and Methodology
- Published
- 2023-05-27
- Volume
- 32
- Issue
- 4
- Pages
- 1-47
- ISSN
- 1049-331X (ISSN-L)
- 1557-7392
- OpenAlex
- W4307811455
- Cited by
- 17
- References
- 5
- Citations by year
- 2026: 5 · 2025: 5 · 2024: 4 · 2023: 2
- FWCI
- 5.99
- Type
- journal article
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- ACM Transactions on Software Engineering and Methodology (publishedVersion)
- arXiv (Cornell University) (submittedVersion)
- Open Repository and Bibliography (University of Luxembourg) (submittedVersion, other-oa)
- arXiv (Cornell University)
- Funders
- IEE Luxembourg, Luxembourg’s National Research Fund (BRIDGES2020/IS/14711346/FUNTASY)
- European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (694277)
- NSERC of Canada under the Discovery and CRC programs
- Topics
- Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
- Physical Sciences › Engineering › Safety, Risk, Reliability and Quality › Safety Systems Engineering in Autonomy
- Physical Sciences › Computer Science › Artificial Intelligence › Explainable Artificial Intelligence (XAI)
- Keywords
- deep neural network, safety-critical systems, genetic algorithm, rule induction, image generation, safety analysis, explainable AI, cyber-physical systems
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review