Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- proceedingJuly 2024
ExEn '24: Proceedings of the 2024 Workshop on Explainability Engineering
Welcome to the International Workshop on Explainability Engineering (ExEn). This workshop is the successor of the International Workshop on Requirements Engineering for Explainable Systems (RE4ES), which was hosted at the IEEE International Requirements ...
- research-articleJanuary 2024
A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations
- Werner Damm,
- Martin Fränzle,
- Alyssa J. Kerscher,
- Forrest Laine,
- Klaus Bengler,
- Bianca Biebl,
- Willem Hagemann,
- Moritz Held,
- David Hess,
- Klas Ihme,
- Severin Kacianka,
- Sebastian Lehnhoff,
- Andreas Luedtke,
- Alexander Pretschner,
- Astrid Rakow,
- Jochem Rieger,
- Daniel Sonntag,
- Janos Sztipanovits,
- Maike Schwammberger,
- Mark Schweda,
- Alexander Trende,
- Anirudh Unni,
- Eric Veith
ACM Transactions on Cyber-Physical Systems (TCPS), Volume 8, Issue 1Article No.: 4, Pages 1–23https://doi.org/10.1145/3622881The design and analysis of multi-agent human cyber-physical systems in safety-critical or industry-critical domains calls for an adequate semantic foundation capable of exhaustively and rigorously describing all emergent effects in the joint dynamic ...
- research-articleJanuary 2024
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction
- Klaus Bengler,
- Werner Damm,
- Andreas Luedtke,
- Reiger Jochem,
- Benedikt Austel,
- Bianca Biebl,
- Martin Fränzle,
- Willem Hagemann,
- Moritz Held,
- David Hess,
- Klas Ihme,
- Severin Kacianka,
- Alyssa J. Kerscher,
- Laine Forrest,
- Sebastian Lehnhoff,
- Alexander Pretschner,
- Astrid Rakow,
- Daniel Sonntag,
- Janos Sztipanovits,
- Maike Schwammberger,
- Mark Schweda,
- Anirudh Unni,
- Eric Veith
ACM Transactions on Cyber-Physical Systems (TCPS), Volume 8, Issue 1Article No.: 3, Pages 1–27https://doi.org/10.1145/3622880As automation increases qualitatively and quantitatively in safety-critical human cyber-physical systems, it is becoming more and more challenging to increase the probability or ensure that human operators still perceive key artifacts and comprehend their ...
- research-articleJanuary 2024
A Reference Architecture of Human Cyber-Physical Systems – Part I: Fundamental Concepts
- Werner Damm,
- David Hess,
- Mark Schweda,
- Janos Sztipanovits,
- Klaus Bengler,
- Bianca Biebl,
- Martin Fränzle,
- Willem Hagemann,
- Moritz Held,
- Klas Ihme,
- Severin Kacianka,
- Alyssa J. Kerscher,
- Sebastian Lehnhoff,
- Andreas Luedtke,
- Alexander Pretschner,
- Astrid Rakow,
- Jochem Rieger,
- Daniel Sonntag,
- Maike Schwammberger,
- Benedikt Austel,
- Anirudh Unni,
- Eric Veith
ACM Transactions on Cyber-Physical Systems (TCPS), Volume 8, Issue 1Article No.: 2, Pages 1–32https://doi.org/10.1145/3622879We propose a reference architecture of safety-critical or industry-critical human cyber-physical systems (CPSs) capable of expressing essential classes of system-level interactions between CPS and humans relevant for the societal acceptance of such ...
- ArticleOctober 2024
From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations Can Save the World
AbstractExplainability Engineering gets evermore important in the era of self-learning and automated systems. We motivate the necessity for interdisciplinary research to engineer verifiably correct and good explanations: Systems engineering research must ...
- research-articleSeptember 2023
Explaining Cyberphysical System Behavior With Digital Twins
We present a model-driven software architecture that combines the wealth of data, information, and models intrinsic to digital twins with techniques for the self-explainability of software systems to support domain experts in configuring, deploying, ...
- ArticleOctober 2019
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
Formal Methods. FM 2019 International WorkshopsPages 249–264https://doi.org/10.1007/978-3-030-54994-7_18AbstractAutonomous crossing manoeuvres at intersections are especially challenging. In related work, a crossing controller for provably safe autonomous urban traffic manoeuvres was introduced. We extend this controller by a decentralised communication ...
- research-articleAugust 2021
Towards self-explainable cyber-physical systems
- Mathias Blumreiter,
- Joel Greenyer,
- Francisco Javier Chiyah Garcia,
- Verena Klös,
- Maike Schwammberger,
- Christoph Sommer,
- Andreas Vogelsang,
- Andreas Wortmann
MODELS '19 Companion: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems CompanionPages 543–548https://doi.org/10.1109/MODELS-C.2019.00084With the increasing complexity of Cyber-Physical Systems, their behavior and decisions become increasingly difficult to understand and comprehend for users and other stakeholders. Our vision is to build self-explainable systems that can, at run-time, ...
