Reproducing the Experiments of Automated Self-Explanation of Expected versus Perceived Behavior for Interacting Digital Systems

This repository contains the source code and experimental artifacts accompanying the paper: M. Alkhiyami, G. Martino, and G. Fey, Automated Self-Explanation of Expected versus Perceived Behavior for Interacting Digital Systems, Design, Automation and Test in Europe Conference (DATE), 2026. The artifacts implement the algorithm for automatically generating explanations of mismatches between expected and perceived behavior in interacting digital systems, as presented in the paper. The implementation follows the bounded model checking and SMT-based formulation described in Sections IV–V. Contents Source code implementing the explanation algorithm Models of interacting systems (Mealy machines and assumptions) Experimental setups for the wind park–turbine and traffic controller–autonomous vehicles case studies Scripts and configuration files used to reproduce the reported experiments and results PurposeThe artifacts are provided to support transparency, reproducibility, and further research on self-explaining interacting digital systems.