Self-Explaining Digital Systems – Some Technical Steps

Conference: MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
04/08/2019 - 04/08/2019 at Kaiserslautern, Deutschland

Proceedings: MBMV 2019

Pages: 8Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Fey, Goerschwin (Hamburg University of Technology, 21071 Hamburg, Germany)
Drechsler, Rolf (University of Bremen, 28359 Bremen, Germany & DFKI, 28359 Bremen, Germany)

Today’s increasingly complex adaptable and autonomous systems are hard to design and difficult to use. Partly this is due to problems in understanding why a system executes certain actions. We propose to extend digital systems such that they can explain their actions to users and designers. We formalize this as self-explanation and show how to implement and verify a self-explaining system. A robot controller serves as proof-of-concept for self-explanation.