Drechsler, RolfRolfDrechslerLüth, ChristophChristophLüthFey, GörschwinGörschwinFeyGüneysu, TimTimGüneysu2019-05-062019-05-062018-10-16International Verification and Security Workshop (IVSW 2018)http://hdl.handle.net/11420/2623As 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.enTowards self-explaining digital systems: A design methodology for the next generationConference Paper10.1109/IVSW.2018.8494900Other