Towards self-explaining digital systems: A design methodology for the next generation

Publikationstyp
Conference Paper
Date Issued
2018-10-16
Sprache
English
Author(s)
Drechsler, Rolf  
Lüth, Christoph  
Fey, Görschwin  orcid-logo
Güneysu, Tim  
Institut
Eingebettete Systeme E-13  
TORE-URI
http://hdl.handle.net/11420/2623
Start Page
1
End Page
6
Citation
International Verification and Security Workshop (IVSW 2018)
Contribution to Conference
3rd International Verification and Security Workshop, IVSW 2018  
Publisher DOI
10.1109/IVSW.2018.8494900
Scopus ID
2-s2.0-85057417220
As digital systems get ever more complex, their behaviour may at times appear unfathomable. Users will only be prepared to accept this if they are convinced that the system does indeed work correctly. Thus, we argue the need for self-explaining systems: systems that are able to explain their behaviour, and the reasons for it. In this paper, we propose first steps towards a design methodology for such systems, and argue that beyond user acceptance, self-explanation also has other applications such as self-verification and reconfiguration. We propose a conceptual framework for self-explaining systems, discuss how to achieve completeness, and consider implementation aspects.