Explainability in Automated Cross-Domain Model-Driven Brake System Development

Modern engineering systems often require collaboration across multiple domains, each using different models and tools. By implementing automated processes for keeping consistency, changes propagate across these models and tools, affecting the work of various stakeholders and teams. However, an explanation of these automatically propagated changes is often required. This paper presents a case study using heterogeneous models in the development and validation of a crossdomain automotive brake system. Our case study comprises a Brake Specification Model, a Computer-Aided Design Model, a Simulation Model as well as their corresponding metamodels, and a model of a real-world test bench for brake validation. We also present a set of change and explainability scenarios that occur during the development and validation process of a cyber-physical brake system. We use these scenarios to highlight the explainability requirements and challenges which should be addressed by any explainability solutions and approaches for cross-domain engineering and validation processes in the cyber-physical system context. By providing such models and metamodels, as well as the change and explainability scenarios that use them, our work will aid researchers in validating their approaches and in investigating those development challenges which arise from cross-domain consistent cyber-physical systems development.