Alle Publikationen

  • Erweiterte Suche öffnen

Treffer: 1
  • <<
  • 1

  • 2018

  • Drechsler, R.; Lüth, C.; Fey, G.; Güneysu, T. (2018) : Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation: 2018 IEEE 3rd International Verification and Security Workshop (IVSW): Costa Brava, Spain: IEEE, S. 1-6

    DOI: https://doi.org/10.1109/IVSW.2018.8494900 

    Abstract: As 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.

    Keywords: Design methodology, formal verification, ieee xplore, Künstliche Intelligenz, Manipulators, program verification, Runtime, safety, Security, self-explaining digital systems, Temperature sensors, User acceptance
  • <<
  • 1