Time-Triggered Protocol (TTP) is an industry-standard bus protocol widely-used in safety-critical avionics distributed embedded systems. Design space exploration for TTP-based distributed embedded system involves searching through a vast design space of all possible task-to-processor mappings and bus access configurations. In this paper, we consider the task model of periodic tasks on multiple processor nodes connected by the TTP bus communicating via asynchronous buffers based on non-blocking read/write semantics, and present two optimization frameworks based on Logic-Based Benders Decomposition (LBBD), by dividing the design problem into a master problem of optimizing task-to-processor mapping to minimize bus bandwidth utilization, and a sub-problem of optimizing the bus access configuration subject to deadline constraints on a set of end-to-end paths, and each problem is solved with a suitable optimization solver. Experimental results demonstrate the feasibility and scalability of the proposed techniques.

时间触发协议（TTP）是行业标准的总线协议，广泛用于对安全至关重要的航空电子分布式嵌入式系统中。基于TTP的分布式嵌入式系统的设计空间探索涉及在巨大的设计空间中搜索所有可能的任务到处理器的映射以及总线访问配置。在本文中，我们考虑了由TTP总线连接的多个处理器节点上的周期性任务的任务模型，这些节点通过基于非阻塞读/写语义的异步缓冲区进行通信，并提出了两个基于逻辑的Benders分解（LBBD）的优化框架。 ，通过将设计问题划分为优化任务到处理器映射以最小化总线带宽利用率的主要问题，以及在一组端到端路径上受期限限制的情况下优化总线访问配置的子问题，每个问题都可以使用合适的优化求解器来解决。实验结果证明了所提出技术的可行性和可扩展性。