OASIcs.DX.2024.5.pdf
- Filesize: 0.98 MB
- 15 pages
Document
Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities
Authors
Louise Travé-Massuyès 
,
-
Part of:
Volume:
35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)
Series: Open Access Series in Informatics (OASIcs)
Conference: International Conference on Principles of Diagnosis and Resilient Systems (DX) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-11-26
File
Document Identifiers
Author Details
Cite As Get BibTex
Louise Travé-Massuyès and Franz Wotawa. Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities. In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 5:1-5:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/OASIcs.DX.2024.5
Abstract
This paper examines two prominent Fault Detection and Isolation methodologies: the Signature Matrix approach, traditionally used in hardware systems, and the Spectrum-based approach, applied in software fault localization. Despite their distinct operational domains, both methods share the objective of precisely identifying and isolating faults. This study aims to compare these approaches and to highlight their similarities in principle. Through a comparative analysis, we assess how the structured pattern recognition of the Signature Matrix method and the statistical analysis capabilities of the Spectrum-based approach can be synergized to enhance diagnostic processes of cyber-physical systems that are composed of both hardware and software components. The investigation is motivated by the prospect of developing a hybrid Fault Detection and Isolation strategy that incorporates the robust detection mechanisms of hardware diagnostics with the techniques used in software fault localization. The findings are intended to advance the theoretical framework of Fault Detection and Isolation systems and suggest practical implementations across varied technological platforms, thereby improving the reliability and efficiency of fault detection and isolation in both hardware and software contexts.
Subject Classification
ACM Subject Classification
- Computing methodologies → Causal reasoning and diagnostics
- Software and its engineering → Software defect analysis
- Hardware → Error detection and error correction
Keywords
- Diagnosis
- Fault detection and identification
- Software debugging
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Michele Basseville, Igor V Nikiforov, et al. Detection of abrupt changes: theory and application, volume 104. prentice Hall Englewood Cliffs, 1993.
-
B Ould Bouamama, R Mrani Alaoui, P Taillibert, and M Staroswiecki. Diagnosis of a two-tank system. Intern Report of CHEM-project, USTL, Lille, France, 2001.
- M-O Cordier, Philippe Dague, François Lévy, Jacky Montmain, Marcel Staroswiecki, and Louise Travé-Massuyès. Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 34(5):2163-2177, 2004. URL: https://doi.org/10.1109/TSMCB.2004.835010.
- Carine Jauberthie, Nathalie Verdière, and Louise Travé-Massuyès. Fault detection and identification relying on set-membership identifiability. Annual Reviews in Control, 37(1):129-136, 2013. URL: https://doi.org/10.1016/J.ARCONTROL.2013.04.002.
-
J. A. Jones and M. J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In Proceedings ASE'05, pages 273-282. ACM Press, 2005.
- Mattias Krysander, Jan Åslund, and Mattias Nyberg. An efficient algorithm for finding minimal overconstrained subsystems for model-based diagnosis. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 38(1):197-206, 2007. URL: https://doi.org/10.1109/TSMCA.2007.909555.
-
Ronald John Patton and Jie Chen. Design methods for robust fault diagnosis. Control Syst. Robot. Autom, 16:84-111, 2009.
-
Vicenç Puig and Masoud Pourasghar. Fault diagnosis using set-membership approaches. Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches, pages 237-261, 2019.
-
Ivo Punčochář and Jan Škach. A survey of active fault diagnosis methods. IFAC-PapersOnLine, 51(24):1091-1098, 2018.
-
Joseba Quevedo, Helem Sánchez, Damiano Rotondo, Teresa Escobet, and Vicenç Puig. A two-tank benchmark for detection and isolation of cyber attacks. IFAC-PapersOnLine, 51(24):770-775, 2018.
- Raymond Reiter. A theory of diagnosis from first principles. Artificial intelligence, 32(1):57-95, 1987. URL: https://doi.org/10.1016/0004-3702(87)90062-2.
- Christofer Sundström, Erik Frisk, and Lars Nielsen. Selecting and utilizing sequential residual generators in fdi applied to hybrid vehicles. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44(2):172-185, 2013. URL: https://doi.org/10.1109/TSMC.2013.2248147.
- W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, and Franz Wotawa. A survey on software fault localization. IEEE Trans. Software Eng., 42(8):707-740, 2016. URL: https://doi.org/10.1109/TSE.2016.2521368.
-
Franz Wotawa. Surveying and generalizing methods for combining dynamic slicing with spectrum-based fault localization. In In Proceedings of the International Workshop on Principles of Diagnosis (DX), Loma Mar, CA, USA, September 2023.