Skip to main content Skip to main navigation

Publikation

Self-Explaining Digital Systems – Some Technical Steps

Görschwin Fey; Rolf Drechsler
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2019), April 8-9, Kaiserslautern, Germany, 2019.

Zusammenfassung

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