As the engineering of distributed embedded systems is getting more and more complex, due to increasingly sophisticated functionalities demanding more and more powerful hardware, model-based development of software-intensive embedded systems has become a de facto standard in recent years. Among other advantages, it enables design space exploration methods allowing for frontloading techniques which support a system architect already at early stages of development. In this paper, we want to present an approach which is capable of automatically generating automotive E/E architectures (electric/electronic architecture; in-car network of processing units and buses). Based on the concept of viewpoints, we will introduce dedicated technical meta-models, a language to formally describe a hardware architecture exploration problem and an automatic exploration approach using satisfiability modulo theories. We will furthermore introduce a dedicated methodology and show how an exploration integrates into a system development process. In the end, we will evaluate our approach by applying it to an industrial use case provided by Continental.

中文翻译：

---

硬件架构探索：自动探索分布式汽车硬件架构

随着分布式嵌入式系统的工程越来越复杂，由于功能的日益复杂要求硬件越来越强大，基于模型的软件密集型嵌入式系统的开发已成为近年来的事实上的标准。除其他优点外，它还支持设计空间探索方法，允许采用预先加载技术，这些技术已在开发的早期阶段就支持系统架构师。在本文中，我们想提出一种能够自动生成汽车E / E架构（电气/电子架构；处理单元和总线的车载网络）的方法。基于观点的概念，我们将介绍专用的技术元模型，一种使用可满足性模理论正式描述硬件体系结构探索问题和自动探索方法的语言。我们还将进一步介绍一种专用的方法，并展示如何将探索整合到系统开发过程中。最后，我们将通过将其应用于美国大陆航空提供的工业用例来评估我们的方法。