Self-Explaining Digital Systems – Some Technical Steps

Konferenz: MBMV 2019 - 22. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“
08.04.2019 - 08.04.2019 in Kaiserslautern, Deutschland

Tagungsband: MBMV 2019

Seiten: 8Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

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

Inhalt:
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.